[fricas-devel] Re: nasty little bug in pattern matching

2009-10-10 Thread Bill Page
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

[fricas-devel] Re: nasty little bug in pattern matching

2009-10-09 Thread Waldek Hebisch
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

[fricas-devel] Re: nasty little bug in pattern matching

2009-10-09 Thread Bill Page
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

[fricas-devel] Re: nasty little bug in pattern matching

2009-09-15 Thread Waldek Hebisch
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) +++

[fricas-devel] Re: nasty little bug in pattern matching

2009-09-14 Thread Waldek Hebisch
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

[fricas-devel] Re: nasty little bug in pattern matching

2009-09-12 Thread Waldek Hebisch
[ 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

[fricas-devel] Re: nasty little bug in pattern matching

2009-09-12 Thread Bill Page
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

[fricas-devel] Re: nasty little bug in pattern matching

2009-09-12 Thread Bill Page
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