[Axiom-mail] Re: Coersion error

[Arnold Doray]

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