I wrote:
>
> Bill Page wrote:
> >
> > But 'Expression(R:Comparable)' so I modified 'FreeModuleCategory' as
> > follows:
<snip>
> > to provide a default 'smaller?' operation inherited by the XPOLY domains.
> >
>
> That looks like good change.
>
> > Testing revealed the 'constandOperator' problem. Then by changing:
> >
> > --- op.spad.pamphlet (revision 666)
> > +++ op.spad.pamphlet (working copy)
> > @@ -271,7 +271,7 @@
> > derivative(op, [(l1: List(A)): A +-> f first l1]$List(List A -> A))
> > error "Operator is not unary"
> >
> > - if A has OrderedSet then
> > + if A has Comparable then
> >
> > I found the problem went away. We need at least Comparable in order to
> > define 'ltconst?', 'opconst' and 'constOp'.
> >
>
> Yes, at least without deeper changes we need Comparable to define
> constOp, and constOp is needed in some versions of Expression.
> So I think we should do the change you propose.
>
Bill, I am not sure if I was clear enough. I think that we should
commit your patch from Septeber 12 with extra applyQuote chunk.
The OrderedSet to Comparable change in op.spad.pamphlet should go
in a separate patch together with patch to FreeModuleCategory.
Can you do this?
--
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
-~----------~----~----~----~------~----~------~--~---
