On Fri, Oct 9, 2009 at 8:55 PM, Waldek Hebisch wrote:
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
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
Waldek,
On Fri, Oct 9, 2009 at 8:55 PM, you wrote:
Bill Page wrote:
... 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
Bill Page wrote:
Waldek,
I am sorry that my explanation was so brief.
In your patch:
Modified: trunk/src/algebra/op.spad.pamphlet
===
--- trunk/src/algebra/op.spad.pamphlet 2009-05-16 00:07:58 UTC (rev 614)
+++
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
[ Charset ISO-8859-1 unsupported, converting... ]
The following code:
--
K:=SparseMultivariatePolynomial(Fraction Integer,Symbol)
E:=Expression K
a:=a::Symbol::K; b:=b::Symbol::K; c:=c::Symbol::K;
P:=P::Symbol::E; Q:=Q::Symbol::E; R:=R::Symbol::E;
idot:=display(operator('dot,2), (x:List
Thanks, Waldek.
I missed that one. It might explain a few other problems I have seen.
I am rebuilding and testing now.
Regards,
Bill Page.
On Sat, Sep 12, 2009 at 9:01 AM, Waldek Hebisch wrote:
Triggers the bug:
Error detected within library code:
Unknown operator
Here is a
Waldek,
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