[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Re: [Axiom-mail] Re: Coersion error

From: Tim Daly
Subject: [Axiom-developer] Re: [Axiom-mail] Re: Coersion error
Date: Tue, 16 Jun 2009 17:40:51 -0400
User-agent: Thunderbird (Windows/20090302)

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.


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]