diff options
author | dos-reis <gdr@axiomatics.org> | 2007-10-19 17:41:36 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-10-19 17:41:36 +0000 |
commit | 2ac7efb87c75f202ee89d53bf5a480402d11322f (patch) | |
tree | ec9897f9b583c79a4268897926f3d4e2d4826133 | |
parent | d34a01104fa6d8156a29d0e5d810e12823cba02d (diff) | |
download | open-axiom-2ac7efb87c75f202ee89d53bf5a480402d11322f.tar.gz |
remove more pamphlets
-rw-r--r-- | src/interp/br-prof.boot (renamed from src/interp/br-prof.boot.pamphlet) | 25 | ||||
-rw-r--r-- | src/interp/compress.boot (renamed from src/interp/compress.boot.pamphlet) | 24 | ||||
-rw-r--r-- | src/interp/i-output.boot (renamed from src/interp/i-output.boot.pamphlet) | 54 | ||||
-rw-r--r-- | src/interp/interop.boot (renamed from src/interp/interop.boot.pamphlet) | 39 |
4 files changed, 16 insertions, 126 deletions
diff --git a/src/interp/br-prof.boot.pamphlet b/src/interp/br-prof.boot index cc83fd57..d0c15452 100644 --- a/src/interp/br-prof.boot.pamphlet +++ b/src/interp/br-prof.boot @@ -1,18 +1,7 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp br-prof.boot} -\author{The Axiom Team} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\section{License} -<<license>>= -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -- All rights reserved. +-- Copyright (C) 2007, Gabriel Dos Reis. +-- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without -- modification, are permitted provided that the following conditions are @@ -42,10 +31,6 @@ -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ - -<<*>>= -<<license>> )package "BOOT" @@ -282,9 +267,3 @@ getInfoAlist conname == -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} diff --git a/src/interp/compress.boot.pamphlet b/src/interp/compress.boot index ddf74136..136aa896 100644 --- a/src/interp/compress.boot.pamphlet +++ b/src/interp/compress.boot @@ -1,18 +1,7 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp compress.boot} -\author{The Axiom Team} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\section{License} -<<license>>= -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -- All rights reserved. +-- Copyright (C) 2007, Gabriel Dos Reis. +-- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without -- modification, are permitted provided that the following conditions are @@ -42,9 +31,6 @@ -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ -<<*>>= -<<license>> )package "BOOT" @@ -81,9 +67,3 @@ minimalise x == x -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} diff --git a/src/interp/i-output.boot.pamphlet b/src/interp/i-output.boot index b21fe469..055ddbc5 100644 --- a/src/interp/i-output.boot.pamphlet +++ b/src/interp/i-output.boot @@ -1,42 +1,7 @@ -\documentclass{article} -\usepackage{axiom} - -\title{\File{src/interp/i-output.boot} Pamphlet} -\author{The Axiom Team} - -\begin{document} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject - -\section{GCL\_log10\_bug} - -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 -\end{verbatim} -and should be restored when the GCL bug is fixed. -<<GCLlog10bug>>= - u < MOST_-POSITIVE_-LONG_-FLOAT => 1+negative+FLOOR ((LOG10 u) + 0.0000001) -@ -\section{License} -<<license>>= -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -- All rights reserved. +-- Copyright (C) 2007, Gabriel Dos Reis. +-- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without -- modification, are permitted provided that the following conditions are @@ -66,9 +31,6 @@ and should be restored when the GCL bug is fixed. -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ -<<*>>= -<<license>> import '"sys-macros" )package "BOOT" @@ -909,7 +871,7 @@ WIDTH u == negative := 0 -- Try and be fairly exact for smallish integers: u = 0 => 1 -<<GCLlog10bug>> + u < MOST_-POSITIVE_-LONG_-FLOAT => 1+negative+FLOOR ((LOG10 u) + 0.0000001) -- Rough guess: integer-length returns log2 rounded up, so divide it by -- roughly log2(10). This should return an over-estimate, but for objects -- this big does it matter? @@ -1113,7 +1075,7 @@ quoteSuper [.,a] == superspan a quoteWidth [.,a] == 1 + WIDTH a SubstWhileDesizing(u,m) == - -- arg. m is always nil (historical: EU directive to increase argument lists 1991/XGII) + -- arg. m is always nil (historical: EU directive to increase argument lists 1991/XGII) --Replaces all occurrences of matrix m by name in u --Taking out any outdated size information as it goes ATOM u => u @@ -1150,7 +1112,7 @@ SubstWhileDesizingList(u,m) == [SubstWhileDesizing(a,m)] tail:=res for i in b repeat - if ATOM i then RPLACD(tail,[i]) else RPLACD(tail,[SubstWhileDesizing(i,m)]) + if ATOM i then RPLACD(tail,[i]) else RPLACD(tail,[SubstWhileDesizing(i,m)]) tail:=CDR tail res u @@ -2475,9 +2437,3 @@ maPrin u == form if ^$collectOutput then PRETTYPRINT(u,$algebraOutputStream) nil -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} diff --git a/src/interp/interop.boot.pamphlet b/src/interp/interop.boot index 3e44127c..99543049 100644 --- a/src/interp/interop.boot.pamphlet +++ b/src/interp/interop.boot @@ -1,22 +1,7 @@ -\documentclass{article} -\usepackage{axiom} - -\title{\File{src/interp/interop.boot} Pamphlet} -\author{The Axiom Team} - -\begin{document} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject - -\section{License} - -<<license>>= -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -- All rights reserved. +-- Copyright (C) 2007, Gabriel Dos Reis. +-- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without -- modification, are permitted provided that the following conditions are @@ -46,9 +31,6 @@ -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ -<<*>>= -<<license>> )package "BOOT" @@ -97,7 +79,7 @@ DNameToSExpr1 dname == DNameToSExpr dname == CAR dname = DNameOtherID => - CDR dname + CDR dname sx := DNameToSExpr1 dname CONSP sx => sx LIST sx @@ -113,7 +95,7 @@ SExprToDName(sexpr, cosigVal) == [DNameApplyID, [DNameStringID,: StringToCompStr '"->"], [DNameTupleID, : CDR args], - [DNameTupleID, CAR args]] + [DNameTupleID, CAR args]] name0 := [DNameStringID, : StringToCompStr SYMBOL_-NAME CAR sexpr] CAR sexpr = 'Union or CAR sexpr = 'Record => [DNameApplyID, name0, @@ -170,7 +152,7 @@ $lazyOldAxiomDomainDispatch := VECTOR('lazyOldAxiomDomain, [function lazyOldAxiomDomainDevaluate], [nil], - [function lazyOldAxiomDomainLookupExport], + [function lazyOldAxiomDomainLookupExport], [function lazyOldAxiomDomainHashCode], [function lazyOldAxiomAddChild]) @@ -352,8 +334,8 @@ $oldAxiomDomainDispatch := VECTOR('oldAxiomDomain, [function oldAxiomDomainDevaluate], [nil], - [function oldAxiomDomainLookupExport], - [function oldAxiomDomainHashCode], + [function oldAxiomDomainLookupExport], + [function oldAxiomDomainHashCode], [function oldAxiomAddChild]) basicLookupCheckDefaults(op,sig,domain,dollar) == @@ -623,10 +605,3 @@ HasCategory(domain,catform') == -- FBOUNDP(cnam) => "next" -- SETF(SYMBOL_-FUNCTION cnam,mkAutoLoad(fn, cnam)) -@ - -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} |