Hello!

I have just found this incorrect behaviour of is  (Maple 12):

restart;

Hello!

The command coulditbe works incorrectly with abs:

restart;

coulditbe(t,infinity);

                                 true
 It is OK.

Hello,

I get an error message when I evaluate this line:

piecewise(And(And(abs(a)<infinity,a<>0),And(abs(b)<infinity,b<>0)),1,0);

Error, (in PDEtools/sort_as_in) sort: 2nd argument must be a function that always returns true or false

I don't know what the problem is with this line. I have Maple 12.

Have you got any idea?

I thought before that &where is not  a keyword, but I don't understand the difference here (I found &where in the solutions of pdes):

restart;
f1:=a &where b;
op(2,f1);

it gives me {b}

f2:=a &something b;
op(2,f2);
 

gives me simply b

I don't find any information on &where in the help.

This problem arised in a math forum.

I would like to check wether the consecutive digits of a given positive integer (n) are in the first 100000 digits of Pi.

For example the given integer (n) = 1592653 and this is in 3,1415926535897.... so the result is true.

I also would like to use this pattern matching for checking the type of a variable in a procedure:

myproc:=proc(n::mytype)
...end proc;

The procedure accepts n if n fullfils the condition above.