Does anyone know if there is a way to create/display nested piecewise functions in maple? I want a piecewise function where the conditions are themselves piecewise functions. Is that even possible?

Hello,

I'm trying to create a piecewise function with vectors instead of constants. So far I have

vf := 3*vx[1] < [6, 1] and vx[1] < [-2, 5], [3, 4]+3*vx[1], 2*vx[1] < [8, -4] and -vx[1] < [2, -5], [1, 9]+2*vx[1], -3*vx[1] < [-6, -1] and -2*vx[1] < [-8, 4], [9, 5]

This won't convert to a piecewise function. However, if the vectors are in the form (1,2) instead of [1,2] (ie. with parentheses instead of braces), it works. Is there any way to convert them at this stage or earlier, when I have then as individual functions (for example: 3*vx[1] < [6, 1])?

Thanks for the help,

Am

I am trying to determine when one inequality implies another inequality and I am finding that assume and assuming aren't working consistently for me. I've put the code for my test run below. It seems to work the first time through when I assume mylist[1], but when I assume mylist[2] it always returns false. If I explicitly test is(x>-4) it returns true as it should but if I ask it to determine is(mylist[5]) (which is x>-4 once mylist is overwritten) it returns false? Is there a reason for this? I'm eventually going to need to put it all into a loop that works for any list--is there a way that will guarantee that it will work consistently?