Re: Coersion error
Arnold Doray <[email protected]> Tue, 16 Jun 2009 22:40:42 +0800
| Newsgroups | gmane.comp.mathematics.axiom.user |
|---|---|
| Organization | Terra Weather Pte. Ltd. |
| Message-ID | <[email protected]> |
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)) >