Dear all,

when trying to implement the order relation on set partitions,
I found it impossible to use "<=".
Somehow the interpreter always converts "x<=y" into "not(y<x)",
even if "<=" is implemented explicitly.
This is incorrect for a non-linear order.
What is the recommended way to handle non-linear orders?
Not to use "<" at all?

regards,
Franz

-- 
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.

Reply via email to