This page gives a few comments about the expression domain The Roughly speaking, you forget about all the type stuff. That's not totally true, but for a new user it is probably the best way to do the first steps just with (untyped) expressions. You can only appreciate all those different types if you do more advanced things in panAxiom. Types especially become important if one wants to implement a bigger library. One big difference for example is: In fricas e: Expression Integer := sin(x)^2 -1 + cos(x)^2
Type: Expression(Integer)fricas zero? e
Type: Booleanfricas simplify e
Type: Expression(Integer)For more specialized domains like 'DMP([a,b]?, Integer)', the function zero? always returns what you expect. |