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