Bill Page wrote:
> 
> Here is my patch against op.spad.pamphlet. Besides 'applyQuote' chunk
> it also contains another small change relating to the earlier change
> in FriCAS that separated the concept of 'OrderedSet' from the concept
> of an internal system defined ordering implemented by the category
> 'Comparable'. The problem showed up when I wanted to use some
> functions from op in the case of an 'Expression(R)' where R has
> Comparable but not OrderedSet., e.g. 'Expression Boolean'
>

Could you say which functions you tried to use and what problems
you have met?  I must admit that in general I would prefer to
limit use of ordering (either form 'OrderedSet' or from
'Comparable').  The change you propose effectively transfers
ordering form 'Comparable' to ordering of constant operators.
I wonder why do you need such ordering?


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

Reply via email to