Re: [Axiom-mail] Re: Coersion error

Tim Daly <[email protected]> Tue, 16 Jun 2009 17:40:51 -0400
Newsgroups gmane.comp.mathematics.axiom.devel,gmane.comp.mathematics.axiom.user
Message-ID <[email protected]>
Your initial report showed the problem from Open-Axiom
which is not the Axiom project. What command line did you use
to start Open-Axiom?

Your problem is also in Axiom so it is listed as a valid bug report.
It has been assigned bug number 7198.

Tim

Arnold Doray wrote:
> This problem persists in "original" Axiom compiled from the latest
> "Gold" source. My apologies for the confusion -AD
>
>
> On Tue, 2009-06-16 at 16:20 +0800, Arnold Doray wrote:
>   
>> I'm trying to create a set of orthogonal polynomials using the
>> Gram-Schmidt process, but I hit a problem:
>>
>> dot(f,g) == integrate(f*g*x^2,x=-1..1)
>> proj(f,g) == dot(f,g)*f/dot(f,f)
>>
>> p0 := 1
>> p1 := x - proj(p0,x)
>> p2 := x^2 - proj(p0,x^2) - proj(p1,x^2)
>>
>> p0 and p1 evaluate correctly, but p2 hits this error:
>>
>> ; (DEFUN |*2;dot;5;frame1394| ...) is being compiled.
>> ;; The variable |*2;dot;5;frame1394;MV| is undefined.
>> ;; The compiler will assume this variable is a global.
>>    Internal Error
>>    The function coerce with signature OrderedCompletion Integer ->
>>       Expression OrderedCompletion Integer is missing from domain
>>       Expression(OrderedCompletion (Integer))
>>
>>     
>
>
>
>
> _______________________________________________
> Axiom-mail mailing list
> [email protected]
> http://lists.nongnu.org/mailman/listinfo/axiom-mail
>
>