[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: debugging
From: |
Camm Maguire |
Subject: |
Re: [Axiom-developer] Re: debugging |
Date: |
13 Jul 2007 14:20:49 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
I discovered that make clean was leaving NRLIB directories and source
present in src/algebra. So I started afresh:
svn co https://axiom.svn.sourceforge.net/svnroot/axiom/branches/wh-sandbox
...
svn update -r 636
D src/input/bugs2007.input.pamphlet
U src/input/Makefile.pamphlet
U src/input/Makefile.in
U src/interp/daase.lisp.pamphlet
U src/interp/Makefile.pamphlet
U src/interp/Makefile.in
U src/interp/i-output.boot.pamphlet
U src/interp/unlisp.lisp.pamphlet
U src/lisp/axiom-lisp.lisp.pamphlet
U src/lisp/Makefile.in
U src/lisp/Makefile.pamphlet
U ChangeLog.wh
Updated to revision 636.
cat ../../whd|patch -p0
patching file src/interp/spaderror.lisp.pamphlet
patching file src/interp/interp-proclaims.lisp
patching file src/interp/Makefile.pamphlet
patching file src/interp/Makefile.in
patching file src/interp/bookvol5.pamphlet
patching file src/interp/nruncomp.boot.pamphlet
patching file src/lisp/axiom-lisp.lisp.pamphlet
patching file src/lisp/Makefile.in
patching file src/lisp/Makefile.pamphlet
./configure --with-lisp=$(pwd)/../../foo2/unixport/saved_ansi_gcl
make
...
finalizing NRLIB UPOLYC-
Processing UnivariatePolynomialCategory& for Browser database:
--------(vectorise ((Vector R) % (NonNegativeInteger)))---------
--------(makeSUP ((SparseUnivariatePolynomial R) %))---------
--------(unmakeSUP (% (SparseUnivariatePolynomial R)))---------
--------(multiplyExponents (% % (NonNegativeInteger)))---------
--------(divideExponents ((Union % failed) % (NonNegativeInteger)))---------
--------(monicDivide ((Record (: quotient %) (: remainder %)) % %))---------
--------(karatsubaDivide ((Record (: quotient %) (: remainder %)) %
(NonNegativeInteger)))---------
--------(shiftRight (% % (NonNegativeInteger)))---------
--------(shiftLeft (% % (NonNegativeInteger)))---------
--------(pseudoRemainder (% % %))---------
--------(differentiate (% % (Mapping R R) %))---------
--------(discriminant (R %))---------
--------(resultant (R % %))---------
--------(elt ((Fraction %) (Fraction %) (Fraction %)))---------
--------(order ((NonNegativeInteger) % %))---------
--------(subResultantGcd (% % %))---------
--------(composite ((Union % failed) % %))---------
--------(composite ((Union (Fraction %) failed) (Fraction %) %))---------
--------(pseudoQuotient (% % %))---------
--------(pseudoDivide ((Record (: coef R) (: quotient %) (: remainder %)) %
%))---------
--------(separate ((Record (: primePart %) (: commonPart %)) % %))---------
--------(additiveValuation (attribute))---------
--------(elt (R (Fraction %) R))---------
--------(integrate (% %))---------
--------constructor---------
(still going)
In foo2, I have gcl ansi cvs head built with --enable-debug to try to
catch any segfault.
Is it possible we're not getting a clean start on your previously
reported safety 1 bug re: OBJNULL?
Take care,
Waldek Hebisch <address@hidden> writes:
> > Greetings! Again, I get
> >
> > --->-->PlaneAlgebraicCurvePlot(constructor): Unexpected HT command:
> > \indented
> > "\\indented{1}{Plot a NON-SINGULAR plane algebraic curve
> > \\spad{p}(\\spad{x},{}\\spad{y}) = 0.} Author: Clifton \\spad{J}.
> > Williamson Date Created: Fall 1988 Date Last Updated: 27 April 1990
> > Keywords: algebraic curve,{} non-singular,{} plot Examples: References:"
> >
> > Error:
> > Signalled by COMPILER::COMPILE-FILE1.
> > INTERNAL-SIMPLE-READER-ERROR: Stream error on stream #<input stream
> > "ACPLOT.NRLIB/ACPLOT.lsp">: The default dispatch macro signalled an error.
> >
> > Broken at COMPILER::COMPILE-FILE1. Type :H for Help.
> > 1 (Continue) Retry compiling file "ACPLOT.NRLIB/ACPLOT.lsp".
> > 2 Retry compiling file "ACPLOT.NRLIB/ACPLOT.lsp".
> > 3 Return to top level.
> > BOOT>>
> > cat ACPLOT.NRLIB/ACPLOT.lsp
> >
> > (/VERSIONCHECK 2)
> >
> > (DEFUN |ACPLOT;NFtoSF| (|x| $)
> > (PROG ()
> > (RETURN
> > (+ '#1=#((|DoubleFloat|)
> > (#<compiled-function |lookupComplete|> #1#
> > #(~= 231 |zero?| 237 |wholePart| 242 |unitNormal| 247
> > ...
> >
> > Is this the same issue as you are reporting (or related)?
> >
>
> At safety 3 this function compiles just fine. At safty 1 I get an
> error earlier, in DFLOAT.lsp I see:
>
> (DEFUN |DFLOAT;base;Pi;7| ($)
> (PROG () (RETURN (FLOAT-RADIX '#<OBJNULL>))))
>
>
> Now, #<OBJNULL> is IMHO very strong indication of memory corruption
> (I see no legal way to produce it). OTOH the vector (value of '#1')
> you see is clearly wrong in this place, but it looks like normal
> Axiom domain vector. So ATM it not clear if both failures are related.
> --
> Waldek Hebisch
> address@hidden
>
>
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/07
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/07
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/08
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/08
- Re: [Axiom-developer] Re: debugging, Ralf Hemmecke, 2007/07/08
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/08
- [Axiom-developer] emit-fn, Camm Maguire, 2007/07/09
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/12
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/13
- Re: [Axiom-developer] Re: debugging,
Camm Maguire <=
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/13
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/13
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/13
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/13
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/14
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/15
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/17
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/18
- Re: [Axiom-developer] Re: debugging, Gabriel Dos Reis, 2007/07/18
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/18