Ralf Hemmecke wrote:
>
> 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.
Well, I wrote about OutputForm: I use 'of1 ~= of2' I want '~='
to appear in the output, not the transformed version.
> > 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.
>
AFAIK \/ and /\ are left alone. 'not', 'or' and 'and' are
transformed. Removing those transformations is more tricky,
bacause other parts of compiler depend on them.
--
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.
