[Top][All Lists]
[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
- [Axiom-developer] code release, root, 2004/12/27
- Re: [Axiom-developer] code release, Martin Rubey, 2004/12/27
- Re: [Axiom-developer] code release, root, 2004/12/27
- Re: [Axiom-developer] code release: Bug#5977, William Sit, 2004/12/27
- Re: [Axiom-developer] code release: Bug#5977,
Martin Rubey <=
- [Axiom-developer] Savannah patches, Bill Page, 2004/12/28
- [Axiom-developer] Re: Savannah patches, root, 2004/12/28
- [Axiom-developer] axiom--windows--1--patch-8/src/input, Bill Page, 2004/12/28
- [Axiom-developer] Re: axiom--windows--1--patch-8/src/input, root, 2004/12/28
- [Axiom-developer] RE: axiom--windows--1--patch-8/src/input, Bill Page, 2004/12/28
- [Axiom-developer] Re: axiom--windows--1--patch-8/src/input, root, 2004/12/28
- [Axiom-developer] RE: Savannah patches, Bill Page, 2004/12/29
- [Axiom-developer] Re: Savannah patches, root, 2004/12/29
- [Axiom-developer] RE: Savannah patches, Bill Page, 2004/12/29
- [Axiom-developer] Re: Savannah patches, root, 2004/12/29