axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] code release: Bug#5977


From: Martin Rubey
Subject: Re: [Axiom-developer] code release: Bug#5977
Date: Mon, 27 Dec 2004 16:41:22 +0100

I looked at this a little bit further:

it might be that there is an error in mainVariable$SMP, but more likely, the
bug is earlier in the history. mainVariable$SMP is called from coerce$POLY,
interestingly without checking that the result of mainVariable might be
"failed". I added some debugging infos:

      mainVariable p ==
         output("mainVariable1$SMP")$OutputPackage
         p case R => 
           output("mainVariable2$SMP")$OutputPackage
           output(p::R::OutputForm)$OutputPackage
           "failed"
         output("mainVariable3$SMP")$OutputPackage
         res := p.v
         output("mainVariable4$SMP")$OutputPackage
         print(res)$Lisp
         p.v

Then we get

(65) -> 1::DMP([x],INT)::POLY INT

   coerce$POLY
   mainVariable1$SMP
   mainVariable3$SMP
   mainVariable4$SMP
 
   >> System error:
   Caught fatal error [memory may be damaged]

protected-symbol-warn called with (NIL)


(66) -> 1::DMP([x],FRAC INT)::POLY FRAC INT

   coerce$POLY
   mainVariable1$SMP
   mainVariable3$SMP
   mainVariable4$SMP
 LISP output:
1
   coerce4$POLY
   1
   coerce5$POLY
   coerce6$POLY
   (66)  0
                                            Type: Polynomial Fraction Integer
(67) ->  1::DMP([x],INT)::POLY FRAC INT
   Loading /home/rubey/axiom/mnt/linux/algebra/POLY2.o for package 
      PolynomialFunctions2 
   Loading /home/rubey/axiom/mnt/linux/algebra/INDE.o for domain 
      IndexedExponents 
   mainVariable1$SMP
   mainVariable3$SMP
   mainVariable4$SMP
 LISP output:
x
   mainVariable1$SMP
   mainVariable2$SMP
   1

   coerce$POLY
   (67)  1
                                            Type: Polynomial Fraction Integer

Note the output of (66)!

Is there a way to find out what exactly the variable p in mainVariable
contains?

Martin





reply via email to

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