Waldek,
I think, I understand that you disabled the transformation
'x>= y' into 'not(y< x)'.
Actually disabling transformation of
'x ~= y' into 'not(x=y)'
is certainly also OK, although it seems a bit strange that someone every
would want to have ~= with a different semantics than above.
Anyway, In fact, since one can overload all those functions with rather
strange semantics, I'd rather like that when I write < or >= or
whatever, it should exactly be compiled to call that function. A parser
should not have knowledge about about any symbol transformation.
Parser still performs transforms of logical
operators.
Sounds somehow frightening. Even Morgan's law should not be build into
the parser. If I define \/ and /\ in some domain I migth not have
defined ~ (not) or in my domain Morgan's law does deliberately not hold.
If a parser modifies this, its dangerous.
Thank you for removing such transformations. I totally support that.
Ralf
--
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.
