axiom-developer
[Top][All Lists]
Advanced

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

[Axiom-developer] KNOWN.BUGS.pamphet (July 23, 2003)


From: Tim Daly
Subject: [Axiom-developer] KNOWN.BUGS.pamphet (July 23, 2003)
Date: Wed, 23 Jul 2003 09:26:24 -0400

*,

I collected the known bugs into the attached KNOWN.BUGS.pamphlet file.
To see the report type:

noweave -delay KNOWN.BUGS.pamphlet >KNOWN.BUGS.tex
latex KNOWN.BUGS.tex
  -- (or which amounts to the same thing)
document KNOWN.BUGS    

To get an input file of the failures type:

notangle -ROPENINPUTFILE KNOWN.BUGS.pamphlet >KNOWN.BUGS.input

This is the first step in trying to organize the bug tracking
in some more rational form. I used to maintain a file (see
src/input/bugs.input.pamphlet) that was used to regression-test
known bugs. This is the latest version of that.

If I missed a bug or something needs changing let me know.

Tim
address@hidden
address@hidden

===================== KNOWN.BUGS.pamphlet ===================

\documentclass{article}
\usepackage{src/scripts/axiom}
\begin{document}
\title{\$SPAD KNOWN.BUGS}
\author{Nicolas Bourbaki}
\maketitle
\begin{abstract}
\end{abstract}
\eject
\tableofcontents
\eject
\section{Bug Reports}
Bug reporting tags should be shown here. These are simply a symbol
proceeded by two dashes and followed by a colon and starting in 
column 1. This section will allow software to process this file.

This file has several output chunks. The default output chunk will
include all of the bug reports. The OPEN output chunk will give a
list of the open bugs. The CLOSED output chunk will give a list
of the closed bugs. The OPENINPUTFILE output chunk will create a
standard .input file that demonstrates OPEN bugs for use in debugging.
The CLOSEDINPUTFILE output chunk will create a standard .input file
of closed bugs for use in regression testing.
<<bug000000>>=
-----------------------------------------------------------------------
--BugNumber: 
--Version: 
--Opened: 
--OpenedBy: 
--Closed: 
--ClosedBy: 
--Component:
--Description:
--ErrorMsg:
--Example:
@
\subsection{Bug 000001}
<<bug000001>>=
-----------------------------------------------------------------------
--BugNumber: 000001 
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: Spad Compiler
--Description: Certain spad files fail to compile
--ErrorMsg: Value stack overflow
--Example:
)clear all
)cd /spad/int/algebra
)co xpoly )con XPR
@
\subsection{Bug 000002}
<<bug000002>>=
-----------------------------------------------------------------------
--BugNumber: 000002
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: interpreter
--Description: polynomials are parsed improperly
--Explanation:
--ErrorMsg: 1 is not of type POSITIVE-FIXNUM
--Example: 
)clear all
-- nag added code to rewrite polynomials so less functions are called
-- it appears that this function does not work.
x+x*x
@
\subsection{Bug 000003}
<<bug000003>>=
-----------------------------------------------------------------------
--BugNumber: 000003
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: interpreter
--Description: dynamic functions won't execute
--Explanation:
--ErrorMsg: MANEXP is invalid as a function
--Example: 
)clear all
draw(x, x=-1..1)
@
\subsection{Bug 000004}
<<bug000004>>=
-----------------------------------------------------------------------
--BugNumber: 000004
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: interpreter
--Description: default extensions on )read is broken
--Explanation:
--ErrorMsg: The file bugs.input is needed but does not exist
--Example: 
)clear
-- this is where all input files live
-- the cd command sets the default input path
)cd /home/axiomgnu/new/src/input
-- bugs should be extended to bugs.input but it is not
)read bugs
@
\subsection{Bug 000005}
<<bug000005>>=
-----------------------------------------------------------------------
--BugNumber: 000005
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: build process
--Description: depsys re-build fails
--Explanation:
--ErrorMsg: Error: Cannot get relocated section contents
--Example: 
-- assume that Axiom already exists
-- > cd /spad
-- > make
-- ...
-- Loading /home/axiomgnu/new/lsp/gcl-2.4.1/cmpnew/collectfn.o
-- parse_key_new is undefined
--
-- could be a bug due to using a gcl-2.5.2 build but changing
-- GCLVERSION to gcl-2.4.1
@
\subsection{Bug 000006}
<<bug000006>>=
-----------------------------------------------------------------------
--BugNumber: 000006
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: build process
--Explanation:
--Description: duplicate functions exists. optimizer complains during rebuild
--ErrorMsg: Warn foo redefined in #pX.fn. Originally in #pY.fn
--Example: 
-- assuming Axiom has already been built. 
-- >rm /spad/obj/linux/bin/interpsys
-- >cd /spad
-- >make
@
\subsection{Bug 000007}
<<bug000007>>=
-----------------------------------------------------------------------
--BugNumber: 000007
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: interpreter
--Description: protect* functions should be #:NAG only
--Explanation:
--ErrorMsg: 
--Example: 
@
\subsection{Bug 000008}
<<bug000008>>=
-----------------------------------------------------------------------
--BugNumber: 000008
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: algebra
--Description: one? function calls need to be restored
--Explanation:
--ErrorMsg: 
--Example: 
@
\subsection{Bug 000009}
<<bug000009>>=
-----------------------------------------------------------------------
--BugNumber: 000009
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: build process
--Description: export DAASE=/home/axiomgnu/new/share
--Explanation: the DAASE global variable needs to exist during build
--             and it needs to point to the default copy of the various
--             .daase files which describe the algebra
--ErrorMsg: Error: Cannot open the file 
--          /home/axiomgnu/new/share/algebra/algebra/compress.daase.
--Example: 
@
\subsection{Bug 000010}
<<bug000010>>=
-----------------------------------------------------------------------
--BugNumber: 000010
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: interpreter
--Description: export DAASE=/home/axiomgnu/new/share
--Explanation: This needs to default to mnt/sys in interpreter
--ErrorMsg: Error: Cannot open the file 
--          /home/axiomgnu/new/share/algebra/algebra/compress.daase.
--Example: 
@
\subsection{Bug 000011}
<<bug000011>>=
-----------------------------------------------------------------------
--BugNumber: 000011
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: algebra
--Description: duplicate definition of a function in PSETCAT
--Explanation: 
--ErrorMsg: Warning: PSETCAT-;exactQuo has a duplicate definition in this file
--Example: 
@
\subsection{Bug 000012}
\begin{verbatim}
   LODO1 abbreviates domain LinearOrdinaryDifferentialOperator1 
****** comp fails at level 1 with expression: ******
((DEF (|LinearOrdinaryDifferentialOperator1| A)
      (NIL (|DifferentialRing|)) (NIL NIL)
      (|LinearOrdinaryDifferentialOperator| A
          (|elt| A |differentiate|))))
****** level 1  ******
$x:= (DEF (LinearOrdinaryDifferentialOperator1 A) (NIL (DifferentialRing)) (NIL 
NIL) (LinearOrdinaryDifferentialOperator A (elt A differentiate)))
$m:= $EmptyMode
$f:=
((((|$DomainsInScope| # #))))
 
   >> Apparent user error:
   bad == form 
   (DEF (LinearOrdinaryDifferentialOperator1 A) ( ) ( ) 
(LinearOrdinaryDifferentialOperator A (elt A differentiate)))

protected-symbol-warn called with (NIL)
\end{verbatim}
<<bug000012>>=
-----------------------------------------------------------------------
--BugNumber: 000012
--Version: Monday June 9, 2003 at 01:30:39 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: algebra
--Description: LODO1 fails to bootstrap
--Explanation: 
--ErrorMsg: ****** comp fails at level 1 with expression: ******
--Example: 
@
\subsection{Bug 000013}
\begin{verbatim}
****** comp fails at level 2 with expression: ******
\end{verbatim}
[[(|LinearOrdinaryDifferentialOperator| A | << |]]
[[    (|elt| A |differentiate|) | >> |)]]
\begin{verbatim}
****** level 2  ******
$x:= (elt A differentiate)
$m:= $EmptyMode
$f:=
((((|differentiate| # # #) (~= # # #) (= # # #) (|coerce| # # #) ...)))
 
   >> Apparent user error:
   Operation  differentiate missing from domain: A

protected-symbol-warn called with (NIL)
\end{verbatim}
<<bug000013>>=
-----------------------------------------------------------------------
--BugNumber: 000013
--Version: Monday June 9, 2003 at 01:30:39 
--Opened: 20030608 
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: algebra
--Description: LODO2 fails to bootstrap
--Explanation: 
--ErrorMsg: ****** comp fails at level 2 with expression: ******
--Example: 
@
\subsection{Bug 000014}
The last command in coercels.input converts the result to a set.
With gcl, the result contains duplicate elements. Problem does not
occur with cmu cl.
<<bug000014>>=
-----------------------------------------------------------------------
--BugNumber: 000014
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030701
--OpenedBy: Juergen Weiss, Bill Page
--Closed: 00000000
--ClosedBy: 
--Component: algebra
--Description: duplicate set element
--Explanation:
--ErrorMsg: 
--Example: 
alternatingGroup 4
% :: List Permutation Integer
li := %
pgr := MonoidRing(Polynomial PrimeField 5, Permutation Integer)
p : pgr := first  li
q : pgr := first  li
basis  := [p,q,p*p,p*q, q*p,q*q, p*q*q, p*q*p, q*p*q,q*q*p,q*p*q*q,q*q*p*q]
% :: Set          MonoidRing(Polynomial PrimeField 5,Permutation Integer)
-- a simple example
-- this fails in GCL but works in CMUCL
m:pgr :=1
n:pgr :=1
set[m,n]
--Example 2
one? m
@
\subsection{Bug 000015}
Axiom used to take a -rm argument which pushes a call to the lisp function
(|inputFile2RecordFile| '"foo.input"). This no longer works. The command
[[axiom -rm foo.input]] should succeed.
<<bug000015>>=
-----------------------------------------------------------------------
--BugNumber: 000015
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030701
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: interpreter
--Description: 
--Explanation:
--ErrorMsg: throw: tag not found |writifyTag|
--Example: 
@
\subsection{Bug 000016}
Axiom used to take a -rv argument which pushes a call to the lisp function
(|verifyRecordFile| '"foo.rec"). This no longer works. The command
[[axiom -rv foo.rec]] should succeed.
<<bug000016>>=
-----------------------------------------------------------------------
--BugNumber: 000016
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030701
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: interpreter
--Description: 
--Explanation:
--ErrorMsg: 
--Example: 
@
\subsection{Bug 000017}
Axiom needs to be linked with the OpenMath library. The library needs
a common lisp API written for GCL.
<<bug000017>>=
-----------------------------------------------------------------------
--BugNumber: 000017
--Version: Thursday June 5, 2003 at 14:52:04 
--Opened: 20030701
--OpenedBy: Tim Daly
--Closed: 00000000
--ClosedBy: 
--Component: interpreter
--Description: 
--Explanation:
--ErrorMsg: OM-STRINGTOSTRINGPTR is invalid as a function
--Example: 
OMwrite sin(x)
@
\subsection{Bug 000018}
In some versions of GCL the LOG10 function returns improperly rounded values.
The symptom is:
\begin{verbatim}
(24) -> [1000]
   (24)  [100]
\end{verbatim}
The common lisp failure can be shown with:
\begin{verbatim}
(25) -> )lisp (log10 1000)
Value = 2.9999999999999996
\end{verbatim}
This previous boot code was:
\begin{verbatim}
    u < MOST_-POSITIVE_-LONG_-FLOAT => 1+negative+FLOOR LOG10 u
and should be restored when the GCL bug is fixed.
    u < MOST_-POSITIVE_-LONG_-FLOAT => 1+negative+FLOOR ((LOG10 u) + 0.0000001)
\end{verbatim}
<<bug000018>>=
-----------------------------------------------------------------------
--BugNumber: 000018
--Version: Friday July 18, 2003 at 13:33:22 
--Opened: 20030718
--OpenedBy: Joergen Weiss
--Closed: 00000000
--ClosedBy: 
--Component: interpreter
--Description: 
--Explanation: log10 in GCL returns a bad value for log10(1000)
--ErrorMsg: 
--Example: 
)lisp (log10 1000)
@
\section{CLOSED bugs}
The CLOSED output chunk will give a list of the closed bugs.
<<CLOSED>>=
@
\section{CLOSED .input file}
The CLOSEDINPUTFILE output chunk will create a standard .input file
of closed bugs for use in regression testing.
<<CLOSEDINPUTFILE>>=
@
\section{OPEN bugs}
The OPEN output chunk will give a list of the open bugs.
<<OPEN>>=
<<bug000000>>
<<bug000001>>
<<bug000002>>
<<bug000003>>
<<bug000004>>
<<bug000005>>
<<bug000006>>
<<bug000007>>
<<bug000008>>
<<bug000009>>
<<bug000010>>
<<bug000011>>
<<bug000012>>
<<bug000013>>
<<bug000015>>
<<bug000016>>
<<bug000017>>
<<bug000018>>
@
\section{OPEN .input file}
The OPENINPUTFILE output chunk will create a
standard .input file that demonstrates OPEN bugs for use in debugging.
<<OPENINPUTFILE>>=
)set message autoload off
)set break resume
<<bug000001>>
<<bug000002>>
<<bug000003>>
<<bug000004>>
<<bug000017>>
<<bug000018>>
@
\section{The default report}
The default output chunk will include all of the bug reports.
<<*>>=
<<bug000000>>
<<bug000001>>
<<bug000002>>
<<bug000003>>
<<bug000004>>
<<bug000005>>
<<bug000006>>
<<bug000007>>
<<bug000008>>
<<bug000009>>
<<bug000010>>
<<bug000011>>
<<bug000012>>
<<bug000013>>
<<bug000014>>
<<bug000015>>
<<bug000016>>
<<bug000017>>
<<bug000018>>
@
\eject
\begin{thebibliography}{99}
\bibitem{1} nothing
\end{thebibliography}
\end{document}




reply via email to

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