As was discussed in the past Spad (and interpreter) parser used
to perform transformations of relational operators like
'x >= y' into 'not(y < x)'. Some of those transformations
are invalid for partial orders. All are invalid for 'OutputForm'.
In revision 1131 I have disabled such transformations. Simply
disables the transformation would break few things -- I have
commited fixes for all breakage that I noticed.
There may be a little slowdown, because now '~=' or '>=' are
called as real functions, while previously parser transformed
them to inline (faster) code.
Note: I disabled transforming relational operators, that is
'~=', '>', '<=', '>=' ('=' and '<' where always kept intact
by the parser). Parser still performs transforms of logical
operators.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
