diff options
author | dos-reis <gdr@axiomatics.org> | 2009-10-15 06:42:17 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-10-15 06:42:17 +0000 |
commit | ba8c0daf0ca45c08bd5025f9dd67892132a16110 (patch) | |
tree | 71b029dab47db0afa333d584446fd25cac2c5c2d | |
parent | 67a514d354eabbb78771e95e39d3de95c49966cd (diff) | |
download | open-axiom-ba8c0daf0ca45c08bd5025f9dd67892132a16110.tar.gz |
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
378 files changed, 382 insertions, 378 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index dbba0800..20f386c8 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2009-10-15 Gabriel Dos Reis <gdr@cse.tamu.edu> + + * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy. + 2009-10-14 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/string.spad.pamphlet (hash$IndexedString): Simplify. diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index ee5db924..342c5fe0 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -1,6 +1,6 @@ %% Oh Emacs, this is a -*- Makefile -*-, so give me tabs. \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \title{\$SPAD/src/algebra Makefile} \author{Timothy Daly \and Gabriel Dos~Reis} diff --git a/src/algebra/acplot.spad.pamphlet b/src/algebra/acplot.spad.pamphlet index 522de8b4..cf69d391 100644 --- a/src/algebra/acplot.spad.pamphlet +++ b/src/algebra/acplot.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra acplot.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index d8d3b059..d7cb421b 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra aggcat.spad} \author{Michael Monagan, Manuel Bronstein, Richard Jenks, Stephen Watt} diff --git a/src/algebra/aggcat2.spad.pamphlet b/src/algebra/aggcat2.spad.pamphlet index adb212ad..0bfd05b6 100644 --- a/src/algebra/aggcat2.spad.pamphlet +++ b/src/algebra/aggcat2.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra aggcat2.spad} \author{Robert S. Sutor} diff --git a/src/algebra/algcat.spad.pamphlet b/src/algebra/algcat.spad.pamphlet index 982f6f0a..27fdf00a 100644 --- a/src/algebra/algcat.spad.pamphlet +++ b/src/algebra/algcat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra algcat.spad} \author{Barry Trager, Claude Quitte, Manuel Bronstein} diff --git a/src/algebra/algext.spad.pamphlet b/src/algebra/algext.spad.pamphlet index b51f56ea..bf73af55 100644 --- a/src/algebra/algext.spad.pamphlet +++ b/src/algebra/algext.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra algext.spad} \author{Barry Trager, Manuel Bronstein, Clifton Williamson} diff --git a/src/algebra/algfact.spad.pamphlet b/src/algebra/algfact.spad.pamphlet index 3ac0462e..d95058e6 100644 --- a/src/algebra/algfact.spad.pamphlet +++ b/src/algebra/algfact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra algfact.spad} \author{Patrizia Gianni, Manuel Bronstein} diff --git a/src/algebra/algfunc.spad.pamphlet b/src/algebra/algfunc.spad.pamphlet index 0466dbb4..b32e1f56 100644 --- a/src/algebra/algfunc.spad.pamphlet +++ b/src/algebra/algfunc.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra algfunc.spad} \author{Manuel Bronstein} diff --git a/src/algebra/allfact.spad.pamphlet b/src/algebra/allfact.spad.pamphlet index 3289cbc6..c0b520d5 100644 --- a/src/algebra/allfact.spad.pamphlet +++ b/src/algebra/allfact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra allfact.spad} \author{Patrizia Gianni} diff --git a/src/algebra/alql.spad.pamphlet b/src/algebra/alql.spad.pamphlet index 4b704286..8625c4ca 100644 --- a/src/algebra/alql.spad.pamphlet +++ b/src/algebra/alql.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra alql.spad} \author{The Axiom Team} diff --git a/src/algebra/annacat.spad.pamphlet b/src/algebra/annacat.spad.pamphlet index cf22598c..1c92b907 100644 --- a/src/algebra/annacat.spad.pamphlet +++ b/src/algebra/annacat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra annacat.spad} \author{Brian Dupee} diff --git a/src/algebra/any.spad.pamphlet b/src/algebra/any.spad.pamphlet index 247a3c82..52d579b4 100644 --- a/src/algebra/any.spad.pamphlet +++ b/src/algebra/any.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra any.spad} \author{Robert S. Sutor \and Gabriel Dos~Reis} diff --git a/src/algebra/array1.spad.pamphlet b/src/algebra/array1.spad.pamphlet index df4c2205..d159b942 100644 --- a/src/algebra/array1.spad.pamphlet +++ b/src/algebra/array1.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra array1.spad} \author{Gabriel Dos Reis, Michael Monagan, Stephen Watt} diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet index 8daa7b77..eceb691a 100644 --- a/src/algebra/array2.spad.pamphlet +++ b/src/algebra/array2.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra array2.spad} \author{The Axiom Team} diff --git a/src/algebra/asp.spad.pamphlet b/src/algebra/asp.spad.pamphlet index e2706808..93b26746 100644 --- a/src/algebra/asp.spad.pamphlet +++ b/src/algebra/asp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra asp.spad} \author{Mike Dewar, Grant Keady, Godfrey Nolan} diff --git a/src/algebra/attreg.spad.pamphlet b/src/algebra/attreg.spad.pamphlet index 221d387a..97ecc7a2 100644 --- a/src/algebra/attreg.spad.pamphlet +++ b/src/algebra/attreg.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra attreg.spad} \author{The Axiom Team} diff --git a/src/algebra/axtimer.as.pamphlet b/src/algebra/axtimer.as.pamphlet index b05a3aab..76fefd66 100644 --- a/src/algebra/axtimer.as.pamphlet +++ b/src/algebra/axtimer.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra axtimer.as} \author{The Axiom Team} diff --git a/src/algebra/bags.spad.pamphlet b/src/algebra/bags.spad.pamphlet index c00704a4..69f6d509 100644 --- a/src/algebra/bags.spad.pamphlet +++ b/src/algebra/bags.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra bags.spad} \author{Michael Monagan, Stephen Watt} diff --git a/src/algebra/bezout.spad.pamphlet b/src/algebra/bezout.spad.pamphlet index 31bde193..e672dcc2 100644 --- a/src/algebra/bezout.spad.pamphlet +++ b/src/algebra/bezout.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra bezout.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 12b6ad33..2ac487e1 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \title{src/algebra boolean.spad} \author{Stephen M. Watt, Michael Monagan, Gabriel Dos~Reis} diff --git a/src/algebra/brill.spad.pamphlet b/src/algebra/brill.spad.pamphlet index 6f37c30a..d8b62741 100644 --- a/src/algebra/brill.spad.pamphlet +++ b/src/algebra/brill.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra brill.spad} \author{Frederic Lehobey, James H. Davenport} diff --git a/src/algebra/c02.spad.pamphlet b/src/algebra/c02.spad.pamphlet index f51481a0..87e2adc1 100644 --- a/src/algebra/c02.spad.pamphlet +++ b/src/algebra/c02.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra c02.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/c05.spad.pamphlet b/src/algebra/c05.spad.pamphlet index 61e2337c..70a9a4f9 100644 --- a/src/algebra/c05.spad.pamphlet +++ b/src/algebra/c05.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra c05.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/c06.spad.pamphlet b/src/algebra/c06.spad.pamphlet index be504dde..939d5294 100644 --- a/src/algebra/c06.spad.pamphlet +++ b/src/algebra/c06.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra c06.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/card.spad.pamphlet b/src/algebra/card.spad.pamphlet index 4ab212af..1bd14450 100644 --- a/src/algebra/card.spad.pamphlet +++ b/src/algebra/card.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra card.spad} \author{Stephen M. Watt} diff --git a/src/algebra/carten.spad.pamphlet b/src/algebra/carten.spad.pamphlet index 37383bfb..2484508c 100644 --- a/src/algebra/carten.spad.pamphlet +++ b/src/algebra/carten.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra carten.spad} \author{Stephen M. Watt} diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 602e3eb6..f48017ac 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \title{\$SPAD/src/algebra catdef.spad} \author{James Davenport, Lalo Gonzalez-Vega, Gabriel Dos~Reis} diff --git a/src/algebra/cden.spad.pamphlet b/src/algebra/cden.spad.pamphlet index 55d3e924..0e7240cc 100644 --- a/src/algebra/cden.spad.pamphlet +++ b/src/algebra/cden.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra cden.spad} \author{Manuel Bronstein} diff --git a/src/algebra/clifford.spad.pamphlet b/src/algebra/clifford.spad.pamphlet index bbc0f75c..20fa8514 100644 --- a/src/algebra/clifford.spad.pamphlet +++ b/src/algebra/clifford.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \usepackage{amssymb} \input{diagrams.tex} \begin{document} diff --git a/src/algebra/clip.spad.pamphlet b/src/algebra/clip.spad.pamphlet index d74d0d78..9e735766 100644 --- a/src/algebra/clip.spad.pamphlet +++ b/src/algebra/clip.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra clip.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/cmplxrt.spad.pamphlet b/src/algebra/cmplxrt.spad.pamphlet index 5cd1072e..f2a13fd7 100644 --- a/src/algebra/cmplxrt.spad.pamphlet +++ b/src/algebra/cmplxrt.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra cmplxrt.spad} \author{Patrizia Gianni} diff --git a/src/algebra/coerce.spad.pamphlet b/src/algebra/coerce.spad.pamphlet index bc066cda..6d1402bb 100644 --- a/src/algebra/coerce.spad.pamphlet +++ b/src/algebra/coerce.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \title{\$SPAD/src/algebra coerce.spad} \author{Richard Jenks, Manuel Bronstein, Gabriel Dos Reis} diff --git a/src/algebra/color.spad.pamphlet b/src/algebra/color.spad.pamphlet index b1a4963f..4899d450 100644 --- a/src/algebra/color.spad.pamphlet +++ b/src/algebra/color.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \title{src/algebra color.spad} diff --git a/src/algebra/combfunc.spad.pamphlet b/src/algebra/combfunc.spad.pamphlet index a6c357a0..f1dc9583 100644 --- a/src/algebra/combfunc.spad.pamphlet +++ b/src/algebra/combfunc.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra combfunc.spad} \author{Manuel Bronstein, Martin Rubey} diff --git a/src/algebra/combinat.spad.pamphlet b/src/algebra/combinat.spad.pamphlet index 67993613..990930bb 100644 --- a/src/algebra/combinat.spad.pamphlet +++ b/src/algebra/combinat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra combinat.spad} \author{Martin Brock, Robert Sutor, Michael Monagan} diff --git a/src/algebra/complet.spad.pamphlet b/src/algebra/complet.spad.pamphlet index ed071820..edc9837e 100644 --- a/src/algebra/complet.spad.pamphlet +++ b/src/algebra/complet.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra complet.spad} \author{Manuel Bronstein} diff --git a/src/algebra/constant.spad.pamphlet b/src/algebra/constant.spad.pamphlet index 0e28c371..be5e9f90 100644 --- a/src/algebra/constant.spad.pamphlet +++ b/src/algebra/constant.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra constant.spad} \author{Manuel Bronstein, James Davenport} diff --git a/src/algebra/cont.spad.pamphlet b/src/algebra/cont.spad.pamphlet index 68e535df..9444f58f 100644 --- a/src/algebra/cont.spad.pamphlet +++ b/src/algebra/cont.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra cont.spad} \author{Brian Dupee} diff --git a/src/algebra/contfrac.spad.pamphlet b/src/algebra/contfrac.spad.pamphlet index 89237728..e7291148 100644 --- a/src/algebra/contfrac.spad.pamphlet +++ b/src/algebra/contfrac.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra contfrac.spad} \author{Stephen M. Watt, Clifton J. Williamson} diff --git a/src/algebra/coordsys.spad.pamphlet b/src/algebra/coordsys.spad.pamphlet index 1dc91964..2423c047 100644 --- a/src/algebra/coordsys.spad.pamphlet +++ b/src/algebra/coordsys.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra coordsys.spad} \author{Jim Wen, Clifton J. Williamson} diff --git a/src/algebra/cra.spad.pamphlet b/src/algebra/cra.spad.pamphlet index 8b50ae68..fd67f709 100644 --- a/src/algebra/cra.spad.pamphlet +++ b/src/algebra/cra.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra cra.spad} \author{The Axiom Team} diff --git a/src/algebra/crfp.spad.pamphlet b/src/algebra/crfp.spad.pamphlet index 3d26fbbd..d2844503 100644 --- a/src/algebra/crfp.spad.pamphlet +++ b/src/algebra/crfp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra crfp.spad} \author{Johannes Grabmeier} diff --git a/src/algebra/curve.spad.pamphlet b/src/algebra/curve.spad.pamphlet index 3671bf2b..a5eceb29 100644 --- a/src/algebra/curve.spad.pamphlet +++ b/src/algebra/curve.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra curve.spad} \author{Manuel Bronstein} diff --git a/src/algebra/cycles.spad.pamphlet b/src/algebra/cycles.spad.pamphlet index 25b44b96..ca9ce44d 100644 --- a/src/algebra/cycles.spad.pamphlet +++ b/src/algebra/cycles.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra cycles.spad} \author{William Burge} diff --git a/src/algebra/cyclotom.spad.pamphlet b/src/algebra/cyclotom.spad.pamphlet index 1d8c77df..aa7fba78 100644 --- a/src/algebra/cyclotom.spad.pamphlet +++ b/src/algebra/cyclotom.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra cyclotom.spad} \author{The Axiom Team} diff --git a/src/algebra/d01.spad.pamphlet b/src/algebra/d01.spad.pamphlet index d3770e1b..0226aba8 100644 --- a/src/algebra/d01.spad.pamphlet +++ b/src/algebra/d01.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d01.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/d01Package.spad.pamphlet b/src/algebra/d01Package.spad.pamphlet index 7ee374d2..131e00be 100644 --- a/src/algebra/d01Package.spad.pamphlet +++ b/src/algebra/d01Package.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d01Package.spad} \author{Brian Dupee} diff --git a/src/algebra/d01agents.spad.pamphlet b/src/algebra/d01agents.spad.pamphlet index 0df6f727..96304507 100644 --- a/src/algebra/d01agents.spad.pamphlet +++ b/src/algebra/d01agents.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d01agents.spad} \author{Brian Dupee} diff --git a/src/algebra/d01routine.spad.pamphlet b/src/algebra/d01routine.spad.pamphlet index 9733ea0a..ee7b45fa 100644 --- a/src/algebra/d01routine.spad.pamphlet +++ b/src/algebra/d01routine.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d01routine.spad} \author{Brian Dupee} diff --git a/src/algebra/d01transform.spad.pamphlet b/src/algebra/d01transform.spad.pamphlet index 6866ac9b..f1949db4 100644 --- a/src/algebra/d01transform.spad.pamphlet +++ b/src/algebra/d01transform.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d01transform.spad} \author{Brian Dupee} diff --git a/src/algebra/d01weights.spad.pamphlet b/src/algebra/d01weights.spad.pamphlet index 0679c46e..dc0f1b2b 100644 --- a/src/algebra/d01weights.spad.pamphlet +++ b/src/algebra/d01weights.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d01weights.spad} \author{Brian Dupee} diff --git a/src/algebra/d02.spad.pamphlet b/src/algebra/d02.spad.pamphlet index 2b4e3d2b..79b845f2 100644 --- a/src/algebra/d02.spad.pamphlet +++ b/src/algebra/d02.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d02.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/d02Package.spad.pamphlet b/src/algebra/d02Package.spad.pamphlet index 35d581e9..d346bab9 100644 --- a/src/algebra/d02Package.spad.pamphlet +++ b/src/algebra/d02Package.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d02Package.spad} \author{Brian Dupee} diff --git a/src/algebra/d02agents.spad.pamphlet b/src/algebra/d02agents.spad.pamphlet index d3e18ec4..5d5c498c 100644 --- a/src/algebra/d02agents.spad.pamphlet +++ b/src/algebra/d02agents.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d02agents.spad} \author{Brian Dupee} diff --git a/src/algebra/d02routine.spad.pamphlet b/src/algebra/d02routine.spad.pamphlet index 106f29bc..0f30183d 100644 --- a/src/algebra/d02routine.spad.pamphlet +++ b/src/algebra/d02routine.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d02routine.spad} \author{Brian Dupee} diff --git a/src/algebra/d03.spad.pamphlet b/src/algebra/d03.spad.pamphlet index 9f4e0cb8..58e36538 100644 --- a/src/algebra/d03.spad.pamphlet +++ b/src/algebra/d03.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d03.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/d03Package.spad.pamphlet b/src/algebra/d03Package.spad.pamphlet index 7a0a146f..3cb2a692 100644 --- a/src/algebra/d03Package.spad.pamphlet +++ b/src/algebra/d03Package.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d03Package.spad} \author{Brian Dupee} diff --git a/src/algebra/d03agents.spad.pamphlet b/src/algebra/d03agents.spad.pamphlet index 59ec9dfc..8019832e 100644 --- a/src/algebra/d03agents.spad.pamphlet +++ b/src/algebra/d03agents.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d03agents.spad} \author{Brian Dupee} diff --git a/src/algebra/d03routine.spad.pamphlet b/src/algebra/d03routine.spad.pamphlet index cd7a10c8..bc090fb3 100644 --- a/src/algebra/d03routine.spad.pamphlet +++ b/src/algebra/d03routine.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra d03routine.spad} \author{Brian Dupee} diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet index 7ad3e7bb..54fabe49 100644 --- a/src/algebra/data.spad.pamphlet +++ b/src/algebra/data.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \author{Gabriel Dos~Reis} diff --git a/src/algebra/ddfact.spad.pamphlet b/src/algebra/ddfact.spad.pamphlet index df0d0a05..46ef51c6 100644 --- a/src/algebra/ddfact.spad.pamphlet +++ b/src/algebra/ddfact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ddfact.spad} \author{Patrizia Gianni, Barry Trager} diff --git a/src/algebra/defaults.spad.pamphlet b/src/algebra/defaults.spad.pamphlet index 9f9bf356..8de63814 100644 --- a/src/algebra/defaults.spad.pamphlet +++ b/src/algebra/defaults.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra defaults.spad} \author{Michael Monagan} diff --git a/src/algebra/defintef.spad.pamphlet b/src/algebra/defintef.spad.pamphlet index 42a7ca0b..c7091f29 100644 --- a/src/algebra/defintef.spad.pamphlet +++ b/src/algebra/defintef.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra defintef.spad} \author{Manuel Bronstein} diff --git a/src/algebra/defintrf.spad.pamphlet b/src/algebra/defintrf.spad.pamphlet index 4d85a668..1b870a17 100644 --- a/src/algebra/defintrf.spad.pamphlet +++ b/src/algebra/defintrf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra defintrf.spad} \author{Manuel Bronstein} diff --git a/src/algebra/degred.spad.pamphlet b/src/algebra/degred.spad.pamphlet index 6bd8d3f6..001482f2 100644 --- a/src/algebra/degred.spad.pamphlet +++ b/src/algebra/degred.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra degred.spad} \author{The Axiom Team} diff --git a/src/algebra/derham.spad.pamphlet b/src/algebra/derham.spad.pamphlet index a04576b2..fe2a2e36 100644 --- a/src/algebra/derham.spad.pamphlet +++ b/src/algebra/derham.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra derham.spad} \author{Larry A. Lambe} diff --git a/src/algebra/dhmatrix.spad.pamphlet b/src/algebra/dhmatrix.spad.pamphlet index 9e847c42..3ed24352 100644 --- a/src/algebra/dhmatrix.spad.pamphlet +++ b/src/algebra/dhmatrix.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra dhmatrix.spad} \author{Richard Paul and Timothy Daly} diff --git a/src/algebra/divisor.spad.pamphlet b/src/algebra/divisor.spad.pamphlet index 3a177ed4..98bc97e6 100644 --- a/src/algebra/divisor.spad.pamphlet +++ b/src/algebra/divisor.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra divisor.spad} \author{Manuel Bronstein} diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index 37b7d4b6..0ee4b5bb 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \author{Gabriel Dos~Reis} diff --git a/src/algebra/dpolcat.spad.pamphlet b/src/algebra/dpolcat.spad.pamphlet index 2ee6eb4f..c5da0b47 100644 --- a/src/algebra/dpolcat.spad.pamphlet +++ b/src/algebra/dpolcat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra dpolcat.spad} \author{William Sit} diff --git a/src/algebra/draw.spad.pamphlet b/src/algebra/draw.spad.pamphlet index 52f12b71..89ca6a1d 100644 --- a/src/algebra/draw.spad.pamphlet +++ b/src/algebra/draw.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra draw.spad} \author{Clifton J. Williamson, Scott Morrison, Jon Steinbach, Mike Dewar} diff --git a/src/algebra/drawopt.spad.pamphlet b/src/algebra/drawopt.spad.pamphlet index 21acd672..c24e8fae 100644 --- a/src/algebra/drawopt.spad.pamphlet +++ b/src/algebra/drawopt.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra drawopt.spad} \author{Stephen M. Watt, Jim Wen} diff --git a/src/algebra/drawpak.spad.pamphlet b/src/algebra/drawpak.spad.pamphlet index 6166fa75..1b71cd40 100644 --- a/src/algebra/drawpak.spad.pamphlet +++ b/src/algebra/drawpak.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra drawpak.spad} \author{The Axiom Team} diff --git a/src/algebra/e01.spad.pamphlet b/src/algebra/e01.spad.pamphlet index 9ad62c8c..8cea0282 100644 --- a/src/algebra/e01.spad.pamphlet +++ b/src/algebra/e01.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra e01.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/e02.spad.pamphlet b/src/algebra/e02.spad.pamphlet index e09dfcae..3a06e977 100644 --- a/src/algebra/e02.spad.pamphlet +++ b/src/algebra/e02.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra e02.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/e04.spad.pamphlet b/src/algebra/e04.spad.pamphlet index e0f482f8..bae05dee 100644 --- a/src/algebra/e04.spad.pamphlet +++ b/src/algebra/e04.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra e04.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/e04Package.spad.pamphlet b/src/algebra/e04Package.spad.pamphlet index 28da22de..005b8b91 100644 --- a/src/algebra/e04Package.spad.pamphlet +++ b/src/algebra/e04Package.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra e04Package.spad} \author{Brian Dupee} diff --git a/src/algebra/e04agents.spad.pamphlet b/src/algebra/e04agents.spad.pamphlet index af55f373..238fba19 100644 --- a/src/algebra/e04agents.spad.pamphlet +++ b/src/algebra/e04agents.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra e04agents.spad} \author{Brian Dupee} diff --git a/src/algebra/e04routine.spad.pamphlet b/src/algebra/e04routine.spad.pamphlet index b0f4e6f6..59fc81c3 100644 --- a/src/algebra/e04routine.spad.pamphlet +++ b/src/algebra/e04routine.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra e04routine.spad} \author{Brian Dupee} diff --git a/src/algebra/efstruc.spad.pamphlet b/src/algebra/efstruc.spad.pamphlet index 7d56b94c..7d8f8258 100644 --- a/src/algebra/efstruc.spad.pamphlet +++ b/src/algebra/efstruc.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra efstruc.spad} \author{Manuel Bronstein} diff --git a/src/algebra/efuls.spad.pamphlet b/src/algebra/efuls.spad.pamphlet index 7db8e269..e149806f 100644 --- a/src/algebra/efuls.spad.pamphlet +++ b/src/algebra/efuls.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra efuls.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/efupxs.spad.pamphlet b/src/algebra/efupxs.spad.pamphlet index 21be2b9f..296c2777 100644 --- a/src/algebra/efupxs.spad.pamphlet +++ b/src/algebra/efupxs.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra efupxs.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/eigen.spad.pamphlet b/src/algebra/eigen.spad.pamphlet index e9ab3b7a..9cab7430 100644 --- a/src/algebra/eigen.spad.pamphlet +++ b/src/algebra/eigen.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra eigen.spad} \author{Patrizia Gianni, Barry Trager} diff --git a/src/algebra/elemntry.spad.pamphlet b/src/algebra/elemntry.spad.pamphlet index 1b645e04..32d3eb21 100644 --- a/src/algebra/elemntry.spad.pamphlet +++ b/src/algebra/elemntry.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra elemntry.spad} \author{Manuel Bronstein} diff --git a/src/algebra/elfuts.spad.pamphlet b/src/algebra/elfuts.spad.pamphlet index 07366493..89b64578 100644 --- a/src/algebra/elfuts.spad.pamphlet +++ b/src/algebra/elfuts.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra elfuts.spad} \author{Bill Burge, Clifton J. Williamson} diff --git a/src/algebra/equation1.spad.pamphlet b/src/algebra/equation1.spad.pamphlet index 92c0e02d..9944e386 100644 --- a/src/algebra/equation1.spad.pamphlet +++ b/src/algebra/equation1.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra equation1.spad} \author{The Axiom Team} diff --git a/src/algebra/equation2.spad.pamphlet b/src/algebra/equation2.spad.pamphlet index 9faf2bbc..7b810399 100644 --- a/src/algebra/equation2.spad.pamphlet +++ b/src/algebra/equation2.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra equation2.spad} \author{Stephen M. Watt, Johannes Grabmeier} diff --git a/src/algebra/error.spad.pamphlet b/src/algebra/error.spad.pamphlet index 4f3c828f..7b26d3da 100644 --- a/src/algebra/error.spad.pamphlet +++ b/src/algebra/error.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra error.spad} \author{Robert S. Sutor} diff --git a/src/algebra/expexpan.spad.pamphlet b/src/algebra/expexpan.spad.pamphlet index acfc7f09..0166357c 100644 --- a/src/algebra/expexpan.spad.pamphlet +++ b/src/algebra/expexpan.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra expexpan.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index 5247a755..40b98a2f 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra exposed.lsp} \author{Timothy Daly} diff --git a/src/algebra/expr.spad.pamphlet b/src/algebra/expr.spad.pamphlet index 859a46aa..e1245a70 100644 --- a/src/algebra/expr.spad.pamphlet +++ b/src/algebra/expr.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra expr.spad} \author{Manuel Bronstein, Barry Trager} diff --git a/src/algebra/expr2ups.spad.pamphlet b/src/algebra/expr2ups.spad.pamphlet index 830ca944..7bcd0fd7 100644 --- a/src/algebra/expr2ups.spad.pamphlet +++ b/src/algebra/expr2ups.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra expr2ups.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/exprode.spad.pamphlet b/src/algebra/exprode.spad.pamphlet index f6000408..b45ff31f 100644 --- a/src/algebra/exprode.spad.pamphlet +++ b/src/algebra/exprode.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra exprode.spad} \author{Manuel Bronstein} diff --git a/src/algebra/f01.spad.pamphlet b/src/algebra/f01.spad.pamphlet index edbbc356..c2146298 100644 --- a/src/algebra/f01.spad.pamphlet +++ b/src/algebra/f01.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra f01.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/f02.spad.pamphlet b/src/algebra/f02.spad.pamphlet index e5db779d..81f1df5e 100644 --- a/src/algebra/f02.spad.pamphlet +++ b/src/algebra/f02.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra f02.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/f04.spad.pamphlet b/src/algebra/f04.spad.pamphlet index 8be3d92f..8220f040 100644 --- a/src/algebra/f04.spad.pamphlet +++ b/src/algebra/f04.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra f04.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/f07.spad.pamphlet b/src/algebra/f07.spad.pamphlet index bc8f4ae0..b8f03e94 100644 --- a/src/algebra/f07.spad.pamphlet +++ b/src/algebra/f07.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra f07.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/facutil.spad.pamphlet b/src/algebra/facutil.spad.pamphlet index 2b7de8de..69b49a3c 100644 --- a/src/algebra/facutil.spad.pamphlet +++ b/src/algebra/facutil.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra facutil.spad} \author{Barry Trager} diff --git a/src/algebra/ffcat.spad.pamphlet b/src/algebra/ffcat.spad.pamphlet index de353123..bba20f3e 100644 --- a/src/algebra/ffcat.spad.pamphlet +++ b/src/algebra/ffcat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ffcat.spad} \author{Johannes Grabmeier, Alfred Scheerhorn, Barry Trager, James Davenport} diff --git a/src/algebra/ffcg.spad.pamphlet b/src/algebra/ffcg.spad.pamphlet index b1ff6b98..db74ff3e 100644 --- a/src/algebra/ffcg.spad.pamphlet +++ b/src/algebra/ffcg.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ffcg.spad} \author{Johannes Grabmeier, Alfred Scheerhorn} diff --git a/src/algebra/fff.spad.pamphlet b/src/algebra/fff.spad.pamphlet index d2cc0f7a..86694855 100644 --- a/src/algebra/fff.spad.pamphlet +++ b/src/algebra/fff.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fff.spad} \author{Johannes Grabmeier, Alfred Scheerhorn} diff --git a/src/algebra/ffhom.spad.pamphlet b/src/algebra/ffhom.spad.pamphlet index 30e8302b..8006e13e 100644 --- a/src/algebra/ffhom.spad.pamphlet +++ b/src/algebra/ffhom.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ffhom.spad} \author{Johannes Grabmeier, Alfred Scheerhorn} diff --git a/src/algebra/ffnb.spad.pamphlet b/src/algebra/ffnb.spad.pamphlet index 758e4d9a..fdf96d46 100644 --- a/src/algebra/ffnb.spad.pamphlet +++ b/src/algebra/ffnb.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ffnb.spad} \author{Johannes Grabmeier, Alfred Scheerhorn} diff --git a/src/algebra/ffp.spad.pamphlet b/src/algebra/ffp.spad.pamphlet index 8455ad76..b6adc806 100644 --- a/src/algebra/ffp.spad.pamphlet +++ b/src/algebra/ffp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ffp.spad} \author{Johannes Grabmeier, Alfred Scheerhorn, Robert Sutor, Oswald Gschnitzer} diff --git a/src/algebra/ffpoly.spad.pamphlet b/src/algebra/ffpoly.spad.pamphlet index 5fd9cd38..db79d30e 100644 --- a/src/algebra/ffpoly.spad.pamphlet +++ b/src/algebra/ffpoly.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ffpoly.spad} \author{Alexandre Bouyer, Johannes Grabmeier, Alfred Scheerhorn, Robert Sutor, Barry Trager} diff --git a/src/algebra/ffpoly2.spad.pamphlet b/src/algebra/ffpoly2.spad.pamphlet index 0c76a98c..2e2796c5 100644 --- a/src/algebra/ffpoly2.spad.pamphlet +++ b/src/algebra/ffpoly2.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ffpoly2.spad} \author{Johannes Grabmeier, Alfred Scheerhorn} diff --git a/src/algebra/ffrac.as.pamphlet b/src/algebra/ffrac.as.pamphlet index 8eccc8a9..d038a101 100644 --- a/src/algebra/ffrac.as.pamphlet +++ b/src/algebra/ffrac.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ffrac.as} \author{Michael Richardson} diff --git a/src/algebra/ffx.spad.pamphlet b/src/algebra/ffx.spad.pamphlet index 06546d6b..100c5213 100644 --- a/src/algebra/ffx.spad.pamphlet +++ b/src/algebra/ffx.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ffx.spad} \author{Robert Sutor} diff --git a/src/algebra/files.spad.pamphlet b/src/algebra/files.spad.pamphlet index 18eb2a77..cb85893b 100644 --- a/src/algebra/files.spad.pamphlet +++ b/src/algebra/files.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra files.spad} diff --git a/src/algebra/float.spad.pamphlet b/src/algebra/float.spad.pamphlet index 2f666a93..1f0bc0bd 100644 --- a/src/algebra/float.spad.pamphlet +++ b/src/algebra/float.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra float.spad} \author{Michael Monagan} diff --git a/src/algebra/fmod.spad.pamphlet b/src/algebra/fmod.spad.pamphlet index 62b978fb..bcbbd597 100644 --- a/src/algebra/fmod.spad.pamphlet +++ b/src/algebra/fmod.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fmod.spad} \author{The Axiom Team} diff --git a/src/algebra/fname.spad.pamphlet b/src/algebra/fname.spad.pamphlet index 22c7e45a..174a2eab 100644 --- a/src/algebra/fname.spad.pamphlet +++ b/src/algebra/fname.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra fname.spad} diff --git a/src/algebra/fnla.spad.pamphlet b/src/algebra/fnla.spad.pamphlet index 3be85585..0a99b15d 100644 --- a/src/algebra/fnla.spad.pamphlet +++ b/src/algebra/fnla.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fnla.spad} \author{Larry Lambe} diff --git a/src/algebra/formula.spad.pamphlet b/src/algebra/formula.spad.pamphlet index a46bf05d..416cf9c7 100644 --- a/src/algebra/formula.spad.pamphlet +++ b/src/algebra/formula.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra formula.spad} \author{Robert S. Sutor} diff --git a/src/algebra/fortcat.spad.pamphlet b/src/algebra/fortcat.spad.pamphlet index 16daa51d..84c2fd5c 100644 --- a/src/algebra/fortcat.spad.pamphlet +++ b/src/algebra/fortcat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fortcat.spad} \author{Mike Dewar} diff --git a/src/algebra/fortmac.spad.pamphlet b/src/algebra/fortmac.spad.pamphlet index bc5d62b8..bbad8853 100644 --- a/src/algebra/fortmac.spad.pamphlet +++ b/src/algebra/fortmac.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fortmac.spad} \author{Mike Dewar} diff --git a/src/algebra/fortpak.spad.pamphlet b/src/algebra/fortpak.spad.pamphlet index da7bd7f9..28d032de 100644 --- a/src/algebra/fortpak.spad.pamphlet +++ b/src/algebra/fortpak.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fortpak.spad} \author{Grant Keady, Godfrey Nolan, Mike Dewar, Themos Tsikas} diff --git a/src/algebra/fortran.spad.pamphlet b/src/algebra/fortran.spad.pamphlet index a35ce6dd..ed5ef00b 100644 --- a/src/algebra/fortran.spad.pamphlet +++ b/src/algebra/fortran.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra fortran.spad} \author{Didier Pinchon, Mike Dewar, William Naylor} diff --git a/src/algebra/forttyp.spad.pamphlet b/src/algebra/forttyp.spad.pamphlet index 99d1a1c6..6d1e1175 100644 --- a/src/algebra/forttyp.spad.pamphlet +++ b/src/algebra/forttyp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra forttyp.spad} \author{Mike Dewar} diff --git a/src/algebra/fourier.spad.pamphlet b/src/algebra/fourier.spad.pamphlet index 798723c5..70d7ff85 100644 --- a/src/algebra/fourier.spad.pamphlet +++ b/src/algebra/fourier.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fourier.spad} \author{James Davenport} diff --git a/src/algebra/fparfrac.spad.pamphlet b/src/algebra/fparfrac.spad.pamphlet index dee5330b..ed7bce9d 100644 --- a/src/algebra/fparfrac.spad.pamphlet +++ b/src/algebra/fparfrac.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fparfrac.spad} \author{Manuel Bronstein} diff --git a/src/algebra/fr.spad.pamphlet b/src/algebra/fr.spad.pamphlet index 578054d4..de6755c7 100644 --- a/src/algebra/fr.spad.pamphlet +++ b/src/algebra/fr.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fr.spad} \author{Robert S. Sutor, Johnannes Grabmeier} diff --git a/src/algebra/fraction.spad.pamphlet b/src/algebra/fraction.spad.pamphlet index 64f656e6..8d37bb4f 100644 --- a/src/algebra/fraction.spad.pamphlet +++ b/src/algebra/fraction.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fraction.spad} \author{Dave Barton, Barry Trager, James Davenport} diff --git a/src/algebra/free.spad.pamphlet b/src/algebra/free.spad.pamphlet index abfb0e65..827e8386 100644 --- a/src/algebra/free.spad.pamphlet +++ b/src/algebra/free.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra free.spad} \author{Manuel Bronstein, Stephen M. Watt} diff --git a/src/algebra/fs2expxp.spad.pamphlet b/src/algebra/fs2expxp.spad.pamphlet index 3678639c..15fa5661 100644 --- a/src/algebra/fs2expxp.spad.pamphlet +++ b/src/algebra/fs2expxp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fs2expxp.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/fs2ups.spad.pamphlet b/src/algebra/fs2ups.spad.pamphlet index 280666f1..5189d4d2 100644 --- a/src/algebra/fs2ups.spad.pamphlet +++ b/src/algebra/fs2ups.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fs2ups.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet index 281ee846..30c6fccd 100644 --- a/src/algebra/fspace.spad.pamphlet +++ b/src/algebra/fspace.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra fspace.spad} \author{Manuel Bronstein} diff --git a/src/algebra/funcpkgs.spad.pamphlet b/src/algebra/funcpkgs.spad.pamphlet index 9b852d35..b3956fa8 100644 --- a/src/algebra/funcpkgs.spad.pamphlet +++ b/src/algebra/funcpkgs.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra funcpkgs.spad} \author{Manuel Bronstein} diff --git a/src/algebra/functions.spad.pamphlet b/src/algebra/functions.spad.pamphlet index f48391f2..63b0e5ea 100644 --- a/src/algebra/functions.spad.pamphlet +++ b/src/algebra/functions.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra functions.spad} \author{Brian Dupee} diff --git a/src/algebra/galfact.spad.pamphlet b/src/algebra/galfact.spad.pamphlet index 92ad2d65..e596fc3a 100644 --- a/src/algebra/galfact.spad.pamphlet +++ b/src/algebra/galfact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra galfact.spad} \author{Frederic Lehobey} diff --git a/src/algebra/galfactu.spad.pamphlet b/src/algebra/galfactu.spad.pamphlet index f7dacfe9..672e5444 100644 --- a/src/algebra/galfactu.spad.pamphlet +++ b/src/algebra/galfactu.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra galfactu.spad} \author{Frederic Lehobey} diff --git a/src/algebra/galpolyu.spad.pamphlet b/src/algebra/galpolyu.spad.pamphlet index 7e870fb0..c089ce37 100644 --- a/src/algebra/galpolyu.spad.pamphlet +++ b/src/algebra/galpolyu.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra galpolyu.spad} \author{Frederic Lehobey} diff --git a/src/algebra/galutil.spad.pamphlet b/src/algebra/galutil.spad.pamphlet index fd126dbe..cbe20360 100644 --- a/src/algebra/galutil.spad.pamphlet +++ b/src/algebra/galutil.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra galutil.spad} \author{Frederic Lehobey} diff --git a/src/algebra/gaussfac.spad.pamphlet b/src/algebra/gaussfac.spad.pamphlet index 25c6a2ab..8f922d92 100644 --- a/src/algebra/gaussfac.spad.pamphlet +++ b/src/algebra/gaussfac.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gaussfac.spad} \author{Patrizia Gianni} diff --git a/src/algebra/gaussian.spad.pamphlet b/src/algebra/gaussian.spad.pamphlet index 721e3b31..49035681 100644 --- a/src/algebra/gaussian.spad.pamphlet +++ b/src/algebra/gaussian.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gaussian.spad} \author{Barry Trager, James Davenport} diff --git a/src/algebra/gb.spad.pamphlet b/src/algebra/gb.spad.pamphlet index 895480fd..42235303 100644 --- a/src/algebra/gb.spad.pamphlet +++ b/src/algebra/gb.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gb.spad} \author{Rudiger Gebauer, Barry Trager} diff --git a/src/algebra/gbeuclid.spad.pamphlet b/src/algebra/gbeuclid.spad.pamphlet index 47857e87..95e7bb51 100644 --- a/src/algebra/gbeuclid.spad.pamphlet +++ b/src/algebra/gbeuclid.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gbeuclid.spad} \author{Rudiger Gebauer, Michael Moeller} diff --git a/src/algebra/gbintern.spad.pamphlet b/src/algebra/gbintern.spad.pamphlet index 830c34ea..a150f100 100644 --- a/src/algebra/gbintern.spad.pamphlet +++ b/src/algebra/gbintern.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gbintern.spad} \author{The Axiom Team} diff --git a/src/algebra/gdirprod.spad.pamphlet b/src/algebra/gdirprod.spad.pamphlet index f0041f84..b87669cd 100644 --- a/src/algebra/gdirprod.spad.pamphlet +++ b/src/algebra/gdirprod.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gdirprod.spad} \author{Barry Trager} diff --git a/src/algebra/gdpoly.spad.pamphlet b/src/algebra/gdpoly.spad.pamphlet index c2a4f4da..59004a5b 100644 --- a/src/algebra/gdpoly.spad.pamphlet +++ b/src/algebra/gdpoly.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gdpoly.spad} \author{Barry Trager} diff --git a/src/algebra/geneez.spad.pamphlet b/src/algebra/geneez.spad.pamphlet index 5568763b..453ae3bd 100644 --- a/src/algebra/geneez.spad.pamphlet +++ b/src/algebra/geneez.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra geneez.spad} \author{Patrizia Gianni} diff --git a/src/algebra/generic.spad.pamphlet b/src/algebra/generic.spad.pamphlet index 01c7e3fc..7bfc0c49 100644 --- a/src/algebra/generic.spad.pamphlet +++ b/src/algebra/generic.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra generic.spad} \author{Johannes Grabmeier, Robert Wisbauer} diff --git a/src/algebra/genufact.spad.pamphlet b/src/algebra/genufact.spad.pamphlet index 94ae4328..2707ceaa 100644 --- a/src/algebra/genufact.spad.pamphlet +++ b/src/algebra/genufact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra genufact.spad} \author{The Axiom Team} diff --git a/src/algebra/genups.spad.pamphlet b/src/algebra/genups.spad.pamphlet index 96d45342..bf01f74b 100644 --- a/src/algebra/genups.spad.pamphlet +++ b/src/algebra/genups.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra genups.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/ghensel.spad.pamphlet b/src/algebra/ghensel.spad.pamphlet index cf8ddb42..b5a1c513 100644 --- a/src/algebra/ghensel.spad.pamphlet +++ b/src/algebra/ghensel.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ghensel.spad} \author{Patrizia Gianni} diff --git a/src/algebra/gpgcd.spad.pamphlet b/src/algebra/gpgcd.spad.pamphlet index 11ad1670..c247b8cc 100644 --- a/src/algebra/gpgcd.spad.pamphlet +++ b/src/algebra/gpgcd.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gpgcd.spad} \author{The Axiom Team} diff --git a/src/algebra/gpol.spad.pamphlet b/src/algebra/gpol.spad.pamphlet index 4ef5c712..16529fea 100644 --- a/src/algebra/gpol.spad.pamphlet +++ b/src/algebra/gpol.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gpol.spad} \author{Manuel Bronstein} diff --git a/src/algebra/grdef.spad.pamphlet b/src/algebra/grdef.spad.pamphlet index bbb3d049..a979a70c 100644 --- a/src/algebra/grdef.spad.pamphlet +++ b/src/algebra/grdef.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra grdef.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/groebf.spad.pamphlet b/src/algebra/groebf.spad.pamphlet index fe1a43e4..f4b7c397 100644 --- a/src/algebra/groebf.spad.pamphlet +++ b/src/algebra/groebf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra groebf.spad} \author{H. Michael Moeller, Johannes Grabmeier} diff --git a/src/algebra/groebsol.spad.pamphlet b/src/algebra/groebsol.spad.pamphlet index 33ebeff5..2fb8161e 100644 --- a/src/algebra/groebsol.spad.pamphlet +++ b/src/algebra/groebsol.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra groebsol.spad} \author{Patrizia Gianni} diff --git a/src/algebra/gseries.spad.pamphlet b/src/algebra/gseries.spad.pamphlet index cc152a3a..d6ea733c 100644 --- a/src/algebra/gseries.spad.pamphlet +++ b/src/algebra/gseries.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra gseries.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/herm.as.pamphlet b/src/algebra/herm.as.pamphlet index 81915bae..fb44b00f 100644 --- a/src/algebra/herm.as.pamphlet +++ b/src/algebra/herm.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra herm.as} \author{Michael Richardson} diff --git a/src/algebra/ideal.spad.pamphlet b/src/algebra/ideal.spad.pamphlet index 565beacc..311be81b 100644 --- a/src/algebra/ideal.spad.pamphlet +++ b/src/algebra/ideal.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ideal.spad} \author{Patrizia Gianni} diff --git a/src/algebra/idecomp.spad.pamphlet b/src/algebra/idecomp.spad.pamphlet index acc47a5f..cec341b3 100644 --- a/src/algebra/idecomp.spad.pamphlet +++ b/src/algebra/idecomp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra idecomp.spad} \author{Patrizia Gianni} diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet index d5c7eade..4e6dea37 100644 --- a/src/algebra/indexedp.spad.pamphlet +++ b/src/algebra/indexedp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra indexedp.spad} \author{James Davenport} diff --git a/src/algebra/infprod.spad.pamphlet b/src/algebra/infprod.spad.pamphlet index ac34c2ea..20697d85 100644 --- a/src/algebra/infprod.spad.pamphlet +++ b/src/algebra/infprod.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra infprod.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/intaf.spad.pamphlet b/src/algebra/intaf.spad.pamphlet index 26ba8ad4..7793b724 100644 --- a/src/algebra/intaf.spad.pamphlet +++ b/src/algebra/intaf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra intaf.spad} \author{Manuel Bronstein} diff --git a/src/algebra/intalg.spad.pamphlet b/src/algebra/intalg.spad.pamphlet index 22c18476..e3101aaa 100644 --- a/src/algebra/intalg.spad.pamphlet +++ b/src/algebra/intalg.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra intalg.spad} \author{Manuel Bronstein} diff --git a/src/algebra/intaux.spad.pamphlet b/src/algebra/intaux.spad.pamphlet index 2025a954..875fbcb8 100644 --- a/src/algebra/intaux.spad.pamphlet +++ b/src/algebra/intaux.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra intaux.spad} \author{Barry Trager, Manuel Bronstein} diff --git a/src/algebra/intclos.spad.pamphlet b/src/algebra/intclos.spad.pamphlet index b8190fc9..5b8cd22b 100644 --- a/src/algebra/intclos.spad.pamphlet +++ b/src/algebra/intclos.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra intclos.spad} \author{Victor Miller, Barry Trager, Clifton Williamson} diff --git a/src/algebra/intef.spad.pamphlet b/src/algebra/intef.spad.pamphlet index 1adbcdf3..cfda3fdc 100644 --- a/src/algebra/intef.spad.pamphlet +++ b/src/algebra/intef.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra intef.spad} \author{Manuel Bronstein} diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index a1dd4478..a9a869af 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra integer.spad} \author{James Davenport} diff --git a/src/algebra/integrat.spad.pamphlet b/src/algebra/integrat.spad.pamphlet index e09eb80d..529625c4 100644 --- a/src/algebra/integrat.spad.pamphlet +++ b/src/algebra/integrat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra integrat.spad} \author{Manuel Bronstein} diff --git a/src/algebra/interval.as.pamphlet b/src/algebra/interval.as.pamphlet index 5ef14120..123f1d97 100644 --- a/src/algebra/interval.as.pamphlet +++ b/src/algebra/interval.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra interval.as} \author{Mike Dewar} diff --git a/src/algebra/interval.spad.pamphlet b/src/algebra/interval.spad.pamphlet index db070f59..3bd79aad 100644 --- a/src/algebra/interval.spad.pamphlet +++ b/src/algebra/interval.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra interval.spad} \author{Mike Dewar} diff --git a/src/algebra/intfact.spad.pamphlet b/src/algebra/intfact.spad.pamphlet index f12bf58f..00c54b24 100644 --- a/src/algebra/intfact.spad.pamphlet +++ b/src/algebra/intfact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra intfact.spad} \author{Michael Monagan} diff --git a/src/algebra/intpm.spad.pamphlet b/src/algebra/intpm.spad.pamphlet index 1c3bdad3..de9c8b35 100644 --- a/src/algebra/intpm.spad.pamphlet +++ b/src/algebra/intpm.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra intpm.spad} \author{Manuel Bronstein} diff --git a/src/algebra/intrf.spad.pamphlet b/src/algebra/intrf.spad.pamphlet index 030fc34c..5e25fd50 100644 --- a/src/algebra/intrf.spad.pamphlet +++ b/src/algebra/intrf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra intrf.spad} \author{Barry Trager, Renaud Rioboo, Manuel Bronstein} diff --git a/src/algebra/invnode.as.pamphlet b/src/algebra/invnode.as.pamphlet index d0517539..3d0958c2 100644 --- a/src/algebra/invnode.as.pamphlet +++ b/src/algebra/invnode.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra invnode.as} \author{The Axiom Team} diff --git a/src/algebra/invrender.as.pamphlet b/src/algebra/invrender.as.pamphlet index a107b9b1..924d1a39 100644 --- a/src/algebra/invrender.as.pamphlet +++ b/src/algebra/invrender.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra invrender.as} \author{The Axiom Team} diff --git a/src/algebra/invtypes.as.pamphlet b/src/algebra/invtypes.as.pamphlet index 5ada870a..002a544d 100644 --- a/src/algebra/invtypes.as.pamphlet +++ b/src/algebra/invtypes.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra invtypes.as} \author{The Axiom Team} diff --git a/src/algebra/invutils.as.pamphlet b/src/algebra/invutils.as.pamphlet index e3751336..c20261da 100644 --- a/src/algebra/invutils.as.pamphlet +++ b/src/algebra/invutils.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra invutils.as} \author{The Axiom Team} diff --git a/src/algebra/irexpand.spad.pamphlet b/src/algebra/irexpand.spad.pamphlet index e2d1daac..6e819c13 100644 --- a/src/algebra/irexpand.spad.pamphlet +++ b/src/algebra/irexpand.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra irexpand.spad} \author{Manuel Bronstein} diff --git a/src/algebra/irsn.spad.pamphlet b/src/algebra/irsn.spad.pamphlet index 369e7fc8..4cde0675 100644 --- a/src/algebra/irsn.spad.pamphlet +++ b/src/algebra/irsn.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra irsn.spad} \author{Johannes Grabmeier, Thorsten Werther} diff --git a/src/algebra/ituple.spad.pamphlet b/src/algebra/ituple.spad.pamphlet index 190ae035..2babee58 100644 --- a/src/algebra/ituple.spad.pamphlet +++ b/src/algebra/ituple.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra ituple.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/iviews.as.pamphlet b/src/algebra/iviews.as.pamphlet index 37a09af4..2937713e 100644 --- a/src/algebra/iviews.as.pamphlet +++ b/src/algebra/iviews.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra iviews.as} \author{The Axiom Team} diff --git a/src/algebra/java.spad.pamphlet b/src/algebra/java.spad.pamphlet index c5a6667b..fae7c311 100644 --- a/src/algebra/java.spad.pamphlet +++ b/src/algebra/java.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \author{Gabriel Dos~Reis} diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index a97fdd7a..bcd07b86 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra kl.spad} \author{Manuel Bronstein} diff --git a/src/algebra/kovacic.spad.pamphlet b/src/algebra/kovacic.spad.pamphlet index 9a330d2d..193ca1d6 100644 --- a/src/algebra/kovacic.spad.pamphlet +++ b/src/algebra/kovacic.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra kovacic.spad} \author{Manuel Bronstein} diff --git a/src/algebra/laplace.spad.pamphlet b/src/algebra/laplace.spad.pamphlet index 05d97079..e961658a 100644 --- a/src/algebra/laplace.spad.pamphlet +++ b/src/algebra/laplace.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra laplace.spad} \author{Manuel Bronstein, Barry Trager} diff --git a/src/algebra/laurent.spad.pamphlet b/src/algebra/laurent.spad.pamphlet index 51cafff1..a8f9337b 100644 --- a/src/algebra/laurent.spad.pamphlet +++ b/src/algebra/laurent.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra laurent.spad} \author{Clifton J. Williamson, Bill Burge} diff --git a/src/algebra/leadcdet.spad.pamphlet b/src/algebra/leadcdet.spad.pamphlet index 21a1048f..47ac9d85 100644 --- a/src/algebra/leadcdet.spad.pamphlet +++ b/src/algebra/leadcdet.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra leadcdet.spad} \author{Patrizia Gianni} diff --git a/src/algebra/lie.spad.pamphlet b/src/algebra/lie.spad.pamphlet index c5822d71..3d78a057 100644 --- a/src/algebra/lie.spad.pamphlet +++ b/src/algebra/lie.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra lie.spad} \author{Johannes Grabmeier} diff --git a/src/algebra/limitps.spad.pamphlet b/src/algebra/limitps.spad.pamphlet index 102a7e3e..280960db 100644 --- a/src/algebra/limitps.spad.pamphlet +++ b/src/algebra/limitps.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra limitps.spad} \author{Clifton J. Williamson, Manuel Bronstein} diff --git a/src/algebra/lindep.spad.pamphlet b/src/algebra/lindep.spad.pamphlet index f8028421..64c06067 100644 --- a/src/algebra/lindep.spad.pamphlet +++ b/src/algebra/lindep.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra lindep.spad} \author{Manuel Bronstein} diff --git a/src/algebra/lingrob.spad.pamphlet b/src/algebra/lingrob.spad.pamphlet index 1ac325df..2cb3aca7 100644 --- a/src/algebra/lingrob.spad.pamphlet +++ b/src/algebra/lingrob.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra lingrob.spad} \author{The Axiom Team} diff --git a/src/algebra/liouv.spad.pamphlet b/src/algebra/liouv.spad.pamphlet index efd960e3..730e7002 100644 --- a/src/algebra/liouv.spad.pamphlet +++ b/src/algebra/liouv.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra liouv.spad} \author{Manuel Bronstein} diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet index cc945bf8..f3dbef0c 100644 --- a/src/algebra/list.spad.pamphlet +++ b/src/algebra/list.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra list.spad} \author{Michael Monagon, Manuel Bronstein} diff --git a/src/algebra/listgcd.spad.pamphlet b/src/algebra/listgcd.spad.pamphlet index a654bf61..7640aa21 100644 --- a/src/algebra/listgcd.spad.pamphlet +++ b/src/algebra/listgcd.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra listgcd.spad} \author{Patrizia Gianni} diff --git a/src/algebra/lmdict.spad.pamphlet b/src/algebra/lmdict.spad.pamphlet index edadf2f2..deede84c 100644 --- a/src/algebra/lmdict.spad.pamphlet +++ b/src/algebra/lmdict.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra lmdict.spad} \author{Michael Monagan, Frederic Lehobey} diff --git a/src/algebra/lodo.spad.pamphlet b/src/algebra/lodo.spad.pamphlet index c5bdff2f..ae8e6651 100644 --- a/src/algebra/lodo.spad.pamphlet +++ b/src/algebra/lodo.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra lodo.spad} \author{Manuel Bronstein, Stephen M. Watt} diff --git a/src/algebra/lodof.spad.pamphlet b/src/algebra/lodof.spad.pamphlet index 50e98b91..8d3b8b38 100644 --- a/src/algebra/lodof.spad.pamphlet +++ b/src/algebra/lodof.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra lodof.spad} \author{Manuel Bronstein, Fritz Schwarz} diff --git a/src/algebra/lodop.spad.pamphlet b/src/algebra/lodop.spad.pamphlet index 6f23a155..3ebad1d2 100644 --- a/src/algebra/lodop.spad.pamphlet +++ b/src/algebra/lodop.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra lodop.spad} \author{Stephen M. Watt, Jean Della Dora} diff --git a/src/algebra/manip.spad.pamphlet b/src/algebra/manip.spad.pamphlet index b41674da..dc0adfef 100644 --- a/src/algebra/manip.spad.pamphlet +++ b/src/algebra/manip.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra manip.spad} \author{Manuel Bronstein, Robert Sutor} diff --git a/src/algebra/mappkg.spad.pamphlet b/src/algebra/mappkg.spad.pamphlet index 17f1dab3..18814966 100644 --- a/src/algebra/mappkg.spad.pamphlet +++ b/src/algebra/mappkg.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra mappkg.spad} \author{Stephen M. Watt, William Burge} diff --git a/src/algebra/matcat.spad.pamphlet b/src/algebra/matcat.spad.pamphlet index 4b53af07..d84feb2b 100644 --- a/src/algebra/matcat.spad.pamphlet +++ b/src/algebra/matcat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra matcat.spad} \author{Johannes Grabmeier, Oswald Gschnitzer, Clifton J. Williamson} diff --git a/src/algebra/matfuns.spad.pamphlet b/src/algebra/matfuns.spad.pamphlet index b191d8ff..f8768acb 100644 --- a/src/algebra/matfuns.spad.pamphlet +++ b/src/algebra/matfuns.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra matfuns.spad} \author{Clifton J. Williamson, Patrizia Gianni} diff --git a/src/algebra/mathml.spad.pamphlet b/src/algebra/mathml.spad.pamphlet index cde994f9..c00c55a9 100644 --- a/src/algebra/mathml.spad.pamphlet +++ b/src/algebra/mathml.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra mathml.spad} \author{Arthur C. Ralfs} diff --git a/src/algebra/matrix.spad.pamphlet b/src/algebra/matrix.spad.pamphlet index a40de7a0..2dbe4cc8 100644 --- a/src/algebra/matrix.spad.pamphlet +++ b/src/algebra/matrix.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra matrix.spad} \author{Johannes Grabmeier, Oswald Gschnitzer, Clifton J. Williamson} diff --git a/src/algebra/matstor.spad.pamphlet b/src/algebra/matstor.spad.pamphlet index 59ac489e..927fb72c 100644 --- a/src/algebra/matstor.spad.pamphlet +++ b/src/algebra/matstor.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra matstor.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/mesh.spad.pamphlet b/src/algebra/mesh.spad.pamphlet index 8cc1c8e0..50314116 100644 --- a/src/algebra/mesh.spad.pamphlet +++ b/src/algebra/mesh.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra mesh.spad} \author{James Wen, Jon Steinbach} diff --git a/src/algebra/mfinfact.spad.pamphlet b/src/algebra/mfinfact.spad.pamphlet index 5bf284ef..5292b222 100644 --- a/src/algebra/mfinfact.spad.pamphlet +++ b/src/algebra/mfinfact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra mfinfact.spad} \author{Patrizia Gianni} diff --git a/src/algebra/misc.spad.pamphlet b/src/algebra/misc.spad.pamphlet index 6b2d907f..2b404e61 100644 --- a/src/algebra/misc.spad.pamphlet +++ b/src/algebra/misc.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra misc.spad} \author{The Axiom Team} diff --git a/src/algebra/mkfunc.spad.pamphlet b/src/algebra/mkfunc.spad.pamphlet index 30f219d6..1c3cfc04 100644 --- a/src/algebra/mkfunc.spad.pamphlet +++ b/src/algebra/mkfunc.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \title{src/algebra mkfunc.spad} \author{Manuel Bronstein} diff --git a/src/algebra/mkrecord.spad.pamphlet b/src/algebra/mkrecord.spad.pamphlet index ac6bf4b1..ea6e3795 100644 --- a/src/algebra/mkrecord.spad.pamphlet +++ b/src/algebra/mkrecord.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra mkrecord.spad} \author{The Axiom Team} diff --git a/src/algebra/mlift.spad.jhd.pamphlet b/src/algebra/mlift.spad.jhd.pamphlet index ea1a70ed..ffd67f4b 100644 --- a/src/algebra/mlift.spad.jhd.pamphlet +++ b/src/algebra/mlift.spad.jhd.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra mlift.spad.jhd} \author{Patrizia Gianni} diff --git a/src/algebra/mlift.spad.pamphlet b/src/algebra/mlift.spad.pamphlet index 8ccdf72a..1b37e51d 100644 --- a/src/algebra/mlift.spad.pamphlet +++ b/src/algebra/mlift.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra mlift.spad} \author{Patrizia Gianni} diff --git a/src/algebra/moddfact.spad.pamphlet b/src/algebra/moddfact.spad.pamphlet index e402185f..20793c67 100644 --- a/src/algebra/moddfact.spad.pamphlet +++ b/src/algebra/moddfact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra moddfact.spad} \author{Barry Trager, James Davenport} diff --git a/src/algebra/modgcd.spad.pamphlet b/src/algebra/modgcd.spad.pamphlet index 4edd4475..a30dd0cc 100644 --- a/src/algebra/modgcd.spad.pamphlet +++ b/src/algebra/modgcd.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra modgcd.spad} \author{James Davenport, Patrizia Gianni} diff --git a/src/algebra/modmon.spad.pamphlet b/src/algebra/modmon.spad.pamphlet index 3b678cd8..84c10d58 100644 --- a/src/algebra/modmon.spad.pamphlet +++ b/src/algebra/modmon.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra modmon.spad} \author{The Axiom Team} diff --git a/src/algebra/modmonom.spad.pamphlet b/src/algebra/modmonom.spad.pamphlet index 43117395..cbab61e7 100644 --- a/src/algebra/modmonom.spad.pamphlet +++ b/src/algebra/modmonom.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra modmonom.spad} \author{The Axiom Team} diff --git a/src/algebra/modring.spad.pamphlet b/src/algebra/modring.spad.pamphlet index d347318d..a7308223 100644 --- a/src/algebra/modring.spad.pamphlet +++ b/src/algebra/modring.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra modring.spad} \author{Patrizia Gianni, Barry Trager} diff --git a/src/algebra/moebius.spad.pamphlet b/src/algebra/moebius.spad.pamphlet index d0681a82..14e2e4d5 100644 --- a/src/algebra/moebius.spad.pamphlet +++ b/src/algebra/moebius.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra moebius.spad} diff --git a/src/algebra/mring.spad.pamphlet b/src/algebra/mring.spad.pamphlet index 679cdae4..46e50c7d 100644 --- a/src/algebra/mring.spad.pamphlet +++ b/src/algebra/mring.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra mring.spad} \author{Stephen M. Watt, Johannes Grabmeier, Mike Dewar} diff --git a/src/algebra/mset.spad.pamphlet b/src/algebra/mset.spad.pamphlet index 419c2bfd..22e633de 100644 --- a/src/algebra/mset.spad.pamphlet +++ b/src/algebra/mset.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra mset.spad} \author{Stephen M. Watt, William H. Burge, Richard D. Jenks, Frederic Lehobey} diff --git a/src/algebra/mts.spad.pamphlet b/src/algebra/mts.spad.pamphlet index 4d46aab7..00b1b68b 100644 --- a/src/algebra/mts.spad.pamphlet +++ b/src/algebra/mts.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra mts.spad} \author{William Burge, Stephen Watt, Clifton Williamson} diff --git a/src/algebra/multfact.spad.pamphlet b/src/algebra/multfact.spad.pamphlet index 8e5cf942..376da187 100644 --- a/src/algebra/multfact.spad.pamphlet +++ b/src/algebra/multfact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra multfact.spad} \author{Patrizia Gianni} diff --git a/src/algebra/multpoly.spad.pamphlet b/src/algebra/multpoly.spad.pamphlet index f3f5f2a3..d7cb75c5 100644 --- a/src/algebra/multpoly.spad.pamphlet +++ b/src/algebra/multpoly.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra multpoly.spad} \author{Dave Barton, Barry Trager, James Davenport} diff --git a/src/algebra/multsqfr.spad.pamphlet b/src/algebra/multsqfr.spad.pamphlet index 292b6735..be6949f3 100644 --- a/src/algebra/multsqfr.spad.pamphlet +++ b/src/algebra/multsqfr.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra multsqfr.spad} \author{Patrizia Gianni} diff --git a/src/algebra/naalg.spad.pamphlet b/src/algebra/naalg.spad.pamphlet index 52a2e17b..0ea33bb8 100644 --- a/src/algebra/naalg.spad.pamphlet +++ b/src/algebra/naalg.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra naalg.spad} \author{Johannes Grabmeier, Robert Wisbauer} diff --git a/src/algebra/naalgc.spad.pamphlet b/src/algebra/naalgc.spad.pamphlet index 8992dcaa..3cee9c8a 100644 --- a/src/algebra/naalgc.spad.pamphlet +++ b/src/algebra/naalgc.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra naalgc.spad} \author{Johannes Grabmeier, Robert Wisbauer} diff --git a/src/algebra/ndftip.as.pamphlet b/src/algebra/ndftip.as.pamphlet index 3c9c0ea5..4c186a67 100644 --- a/src/algebra/ndftip.as.pamphlet +++ b/src/algebra/ndftip.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ndftip.as} \author{Michael Richardson} diff --git a/src/algebra/nepip.as.pamphlet b/src/algebra/nepip.as.pamphlet index 4d361776..4bfb2b5a 100644 --- a/src/algebra/nepip.as.pamphlet +++ b/src/algebra/nepip.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra nepip.as} \author{Michael Richardson} diff --git a/src/algebra/net.spad.pamphlet b/src/algebra/net.spad.pamphlet index c1a3620a..6e9b3139 100644 --- a/src/algebra/net.spad.pamphlet +++ b/src/algebra/net.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \author{Gabriel Dos~Reis} diff --git a/src/algebra/newdata.spad.pamphlet b/src/algebra/newdata.spad.pamphlet index aacaddb7..ca9783e8 100644 --- a/src/algebra/newdata.spad.pamphlet +++ b/src/algebra/newdata.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra newdata.spad} \author{Themos Tsikas, Marc Moreno Maza} diff --git a/src/algebra/newpoint.spad.pamphlet b/src/algebra/newpoint.spad.pamphlet index c742543d..f4b1d8bb 100644 --- a/src/algebra/newpoint.spad.pamphlet +++ b/src/algebra/newpoint.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra newpoint.spad} \author{The Axiom Team} diff --git a/src/algebra/newpoly.spad.pamphlet b/src/algebra/newpoly.spad.pamphlet index 8fee6315..23cd07b7 100644 --- a/src/algebra/newpoly.spad.pamphlet +++ b/src/algebra/newpoly.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra newpoly.spad} \author{Marc Moreno Maza} diff --git a/src/algebra/nlinsol.spad.pamphlet b/src/algebra/nlinsol.spad.pamphlet index 21147fb8..0806b888 100644 --- a/src/algebra/nlinsol.spad.pamphlet +++ b/src/algebra/nlinsol.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra nlinsol.spad} \author{Manuel Bronstein} diff --git a/src/algebra/nlode.spad.pamphlet b/src/algebra/nlode.spad.pamphlet index 8458fdd2..4e4a7c25 100644 --- a/src/algebra/nlode.spad.pamphlet +++ b/src/algebra/nlode.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra nlode.spad} \author{Manuel Bronstein} diff --git a/src/algebra/noptip.as.pamphlet b/src/algebra/noptip.as.pamphlet index 150087bb..10e20ce3 100644 --- a/src/algebra/noptip.as.pamphlet +++ b/src/algebra/noptip.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra noptip.as} \author{Michael Richardson} diff --git a/src/algebra/npcoef.spad.pamphlet b/src/algebra/npcoef.spad.pamphlet index 6607905c..7278870e 100644 --- a/src/algebra/npcoef.spad.pamphlet +++ b/src/algebra/npcoef.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra npcoef.spad} \author{Patrizia Gianni} diff --git a/src/algebra/nqip.as.pamphlet b/src/algebra/nqip.as.pamphlet index e3e8d968..a7092fd5 100644 --- a/src/algebra/nqip.as.pamphlet +++ b/src/algebra/nqip.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra nqip.as} \author{Michael Richardson} diff --git a/src/algebra/nrc.as.pamphlet b/src/algebra/nrc.as.pamphlet index d317958c..70dd6222 100644 --- a/src/algebra/nrc.as.pamphlet +++ b/src/algebra/nrc.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra nrc.as} \author{Michael Richardson} diff --git a/src/algebra/nregset.spad.pamphlet b/src/algebra/nregset.spad.pamphlet index 9405dfbd..b7b66371 100644 --- a/src/algebra/nregset.spad.pamphlet +++ b/src/algebra/nregset.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra nregset.spad} \author{Marc Moreno Maza} diff --git a/src/algebra/nsfip.as.pamphlet b/src/algebra/nsfip.as.pamphlet index d6bbba93..a0ceb8cd 100644 --- a/src/algebra/nsfip.as.pamphlet +++ b/src/algebra/nsfip.as.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra nsfip.as} \author{Michael Richardson} diff --git a/src/algebra/nsregset.spad.pamphlet b/src/algebra/nsregset.spad.pamphlet index 13d90b21..21052cc8 100644 --- a/src/algebra/nsregset.spad.pamphlet +++ b/src/algebra/nsregset.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra nsregset.spad} \author{Marc Moreno Maza} diff --git a/src/algebra/numeigen.spad.pamphlet b/src/algebra/numeigen.spad.pamphlet index 3f314958..a2e692f3 100644 --- a/src/algebra/numeigen.spad.pamphlet +++ b/src/algebra/numeigen.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra numeigen.spad} \author{Patrizia Gianni} diff --git a/src/algebra/numeric.spad.pamphlet b/src/algebra/numeric.spad.pamphlet index cb575e80..84f3bc7d 100644 --- a/src/algebra/numeric.spad.pamphlet +++ b/src/algebra/numeric.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra numeric.spad} \author{Manuel Bronstein, Mike Dewar} diff --git a/src/algebra/numode.spad.pamphlet b/src/algebra/numode.spad.pamphlet index 4de1cf27..e2cdf52f 100644 --- a/src/algebra/numode.spad.pamphlet +++ b/src/algebra/numode.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra numode.spad} \author{Yurij Baransky} diff --git a/src/algebra/numquad.spad.pamphlet b/src/algebra/numquad.spad.pamphlet index 79987429..82c82440 100644 --- a/src/algebra/numquad.spad.pamphlet +++ b/src/algebra/numquad.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra numquad.spad} \author{Yurij Baransky} diff --git a/src/algebra/numsolve.spad.pamphlet b/src/algebra/numsolve.spad.pamphlet index edb7898c..ae969619 100644 --- a/src/algebra/numsolve.spad.pamphlet +++ b/src/algebra/numsolve.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra numsolve.spad} \author{Patrizia Gianni} diff --git a/src/algebra/numtheor.spad.pamphlet b/src/algebra/numtheor.spad.pamphlet index 4bce04db..e3ed3b72 100644 --- a/src/algebra/numtheor.spad.pamphlet +++ b/src/algebra/numtheor.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra numtheor.spad} \author{Martin Brock, Timothy Daly, Michael Monagan, Robert Sutor, diff --git a/src/algebra/oct.spad.pamphlet b/src/algebra/oct.spad.pamphlet index 35805e37..c3314d86 100644 --- a/src/algebra/oct.spad.pamphlet +++ b/src/algebra/oct.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra oct.spad} \author{Robert Wisbauer, Johannes Grabmeier} diff --git a/src/algebra/odealg.spad.pamphlet b/src/algebra/odealg.spad.pamphlet index 03901c7c..653dece6 100644 --- a/src/algebra/odealg.spad.pamphlet +++ b/src/algebra/odealg.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra odealg.spad} \author{Manuel Bronstein} diff --git a/src/algebra/odeef.spad.pamphlet b/src/algebra/odeef.spad.pamphlet index 37f26e8e..534a2b7d 100644 --- a/src/algebra/odeef.spad.pamphlet +++ b/src/algebra/odeef.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra odeef.spad} \author{Manuel Bronstein} diff --git a/src/algebra/oderf.spad.pamphlet b/src/algebra/oderf.spad.pamphlet index 140c41a8..87288645 100644 --- a/src/algebra/oderf.spad.pamphlet +++ b/src/algebra/oderf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra oderf.spad} \author{Manuel Bronstein} diff --git a/src/algebra/omcat.spad.pamphlet b/src/algebra/omcat.spad.pamphlet index 824bf1b2..638aa325 100644 --- a/src/algebra/omcat.spad.pamphlet +++ b/src/algebra/omcat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra omcat.spad} \author{Mike Dewar, Vilya Harvey} diff --git a/src/algebra/omdev.spad.pamphlet b/src/algebra/omdev.spad.pamphlet index ea5dd518..d2897a37 100644 --- a/src/algebra/omdev.spad.pamphlet +++ b/src/algebra/omdev.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra omdev.spad} \author{Vilya Harvey} diff --git a/src/algebra/omerror.spad.pamphlet b/src/algebra/omerror.spad.pamphlet index 444dcfce..50843010 100644 --- a/src/algebra/omerror.spad.pamphlet +++ b/src/algebra/omerror.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra omerror.spad} \author{Vilya Harvey} diff --git a/src/algebra/omserver.spad.pamphlet b/src/algebra/omserver.spad.pamphlet index a6872f1f..6d42d430 100644 --- a/src/algebra/omserver.spad.pamphlet +++ b/src/algebra/omserver.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra omserver.spad} \author{Vilya Harvey} diff --git a/src/algebra/op.spad.pamphlet b/src/algebra/op.spad.pamphlet index dc738dbe..50978c07 100644 --- a/src/algebra/op.spad.pamphlet +++ b/src/algebra/op.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra op.spad} \author{Manuel Bronstein \and Gabriel Dos~Reis} diff --git a/src/algebra/opalg.spad.pamphlet b/src/algebra/opalg.spad.pamphlet index 6404a137..d710a5aa 100644 --- a/src/algebra/opalg.spad.pamphlet +++ b/src/algebra/opalg.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra opalg.spad} \author{Manuel Bronstein} diff --git a/src/algebra/openmath.spad.pamphlet b/src/algebra/openmath.spad.pamphlet index 1ebbb4fc..932e0fb9 100644 --- a/src/algebra/openmath.spad.pamphlet +++ b/src/algebra/openmath.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra openmath.spad} \author{Mike Dewar, Vilya Harvey} diff --git a/src/algebra/ore.spad.pamphlet b/src/algebra/ore.spad.pamphlet index e026440c..4542935d 100644 --- a/src/algebra/ore.spad.pamphlet +++ b/src/algebra/ore.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ore.spad} \author{Manuel Bronstein, Jean Della Dora, Stephen M. Watt} diff --git a/src/algebra/out.spad.pamphlet b/src/algebra/out.spad.pamphlet index 72172044..68f235d5 100644 --- a/src/algebra/out.spad.pamphlet +++ b/src/algebra/out.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra out.spad} \author{Stephen M. Watt, Robert S. Sutor} diff --git a/src/algebra/outform.spad.pamphlet b/src/algebra/outform.spad.pamphlet index a945b424..8ad69b52 100644 --- a/src/algebra/outform.spad.pamphlet +++ b/src/algebra/outform.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra outform.spad} \author{Stephen M. Watt} diff --git a/src/algebra/pade.spad.pamphlet b/src/algebra/pade.spad.pamphlet index 475212ef..a18909ea 100644 --- a/src/algebra/pade.spad.pamphlet +++ b/src/algebra/pade.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pade.spad} \author{Barry Trager, William Burge, Martin Hassner,Stephen M. Watt} diff --git a/src/algebra/padic.spad.pamphlet b/src/algebra/padic.spad.pamphlet index 49de0bcf..61e5ca9a 100644 --- a/src/algebra/padic.spad.pamphlet +++ b/src/algebra/padic.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra padic.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/padiclib.spad.pamphlet b/src/algebra/padiclib.spad.pamphlet index b32e096d..02e4555c 100644 --- a/src/algebra/padiclib.spad.pamphlet +++ b/src/algebra/padiclib.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra padiclib.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/paramete.spad.pamphlet b/src/algebra/paramete.spad.pamphlet index 8cf1a256..5d1fc7f0 100644 --- a/src/algebra/paramete.spad.pamphlet +++ b/src/algebra/paramete.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra paramete.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/partperm.spad.pamphlet b/src/algebra/partperm.spad.pamphlet index cbe68098..b657fa3a 100644 --- a/src/algebra/partperm.spad.pamphlet +++ b/src/algebra/partperm.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra partperm.spad} \author{William Burge} diff --git a/src/algebra/patmatch1.spad.pamphlet b/src/algebra/patmatch1.spad.pamphlet index dab2f818..00a62631 100644 --- a/src/algebra/patmatch1.spad.pamphlet +++ b/src/algebra/patmatch1.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra patmatch1.spad} \author{Manuel Bronstein} diff --git a/src/algebra/patmatch2.spad.pamphlet b/src/algebra/patmatch2.spad.pamphlet index 11063aad..a06eb187 100644 --- a/src/algebra/patmatch2.spad.pamphlet +++ b/src/algebra/patmatch2.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra patmatch2.spad} \author{Manuel Bronstein} diff --git a/src/algebra/pattern.spad.pamphlet b/src/algebra/pattern.spad.pamphlet index 679af677..ec7878f4 100644 --- a/src/algebra/pattern.spad.pamphlet +++ b/src/algebra/pattern.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pattern.spad} \author{Manuel Bronstein} diff --git a/src/algebra/pcurve.spad.pamphlet b/src/algebra/pcurve.spad.pamphlet index 9fa07574..244f9e3c 100644 --- a/src/algebra/pcurve.spad.pamphlet +++ b/src/algebra/pcurve.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pcurve.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/pdecomp.spad.pamphlet b/src/algebra/pdecomp.spad.pamphlet index 8f60ecd0..1e6f1829 100644 --- a/src/algebra/pdecomp.spad.pamphlet +++ b/src/algebra/pdecomp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pdecomp.spad} \author{The Axiom Team} diff --git a/src/algebra/perm.spad.pamphlet b/src/algebra/perm.spad.pamphlet index 57845b95..51048658 100644 --- a/src/algebra/perm.spad.pamphlet +++ b/src/algebra/perm.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra perm.spad} \author{Holger Gollan, Johannes Grabmeier, Gerhard Schneider} diff --git a/src/algebra/perman.spad.pamphlet b/src/algebra/perman.spad.pamphlet index f22aedd1..49519edb 100644 --- a/src/algebra/perman.spad.pamphlet +++ b/src/algebra/perman.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra perman.spad} \author{Johannes Grabmeier, Oswald Gschnitzer} diff --git a/src/algebra/permgrps.spad.pamphlet b/src/algebra/permgrps.spad.pamphlet index 6302f5aa..2496394d 100644 --- a/src/algebra/permgrps.spad.pamphlet +++ b/src/algebra/permgrps.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra permgrps.spad} \author{Gerhard Schneider, Holger Gollan, Johannes Grabmeier, M. Weller} diff --git a/src/algebra/pf.spad.pamphlet b/src/algebra/pf.spad.pamphlet index ba8f657b..6ab0f69f 100644 --- a/src/algebra/pf.spad.pamphlet +++ b/src/algebra/pf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pf.spad} \author{N.N., Johannes Grabmeier, Alfred Scheerhorn} diff --git a/src/algebra/pfbr.spad.pamphlet b/src/algebra/pfbr.spad.pamphlet index b8637020..85943f84 100644 --- a/src/algebra/pfbr.spad.pamphlet +++ b/src/algebra/pfbr.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pfbr.spad} \author{The Axiom Team} diff --git a/src/algebra/pfo.spad.pamphlet b/src/algebra/pfo.spad.pamphlet index bff9d13d..63d721fb 100644 --- a/src/algebra/pfo.spad.pamphlet +++ b/src/algebra/pfo.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pfo.spad} \author{Manuel Bronstein} diff --git a/src/algebra/pfr.spad.pamphlet b/src/algebra/pfr.spad.pamphlet index 21f36929..4f0e97cb 100644 --- a/src/algebra/pfr.spad.pamphlet +++ b/src/algebra/pfr.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pfr.spad} \author{Robert Sutor, Barry Trager} diff --git a/src/algebra/pgcd.spad.pamphlet b/src/algebra/pgcd.spad.pamphlet index 365b0232..edbbccb0 100644 --- a/src/algebra/pgcd.spad.pamphlet +++ b/src/algebra/pgcd.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pgcd.spad} \author{Michael Lucks, Patrizia Gianni, Barry Trager, Frederic Lehobey} diff --git a/src/algebra/pgrobner.spad.pamphlet b/src/algebra/pgrobner.spad.pamphlet index c90a46df..01f6a994 100644 --- a/src/algebra/pgrobner.spad.pamphlet +++ b/src/algebra/pgrobner.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pgrobner.spad} \author{Patrizia Gianni} diff --git a/src/algebra/pinterp.spad.pamphlet b/src/algebra/pinterp.spad.pamphlet index 0d3c9a04..682f4e39 100644 --- a/src/algebra/pinterp.spad.pamphlet +++ b/src/algebra/pinterp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pinterp.spad} \author{The Axiom Team} diff --git a/src/algebra/pleqn.spad.pamphlet b/src/algebra/pleqn.spad.pamphlet index 96e29d30..e3090a74 100644 --- a/src/algebra/pleqn.spad.pamphlet +++ b/src/algebra/pleqn.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pleqn.spad} \author{William Sit} diff --git a/src/algebra/plot.spad.pamphlet b/src/algebra/plot.spad.pamphlet index 146c4726..16ff14e9 100644 --- a/src/algebra/plot.spad.pamphlet +++ b/src/algebra/plot.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra plot.spad} \author{Michael Monagan, Clifton J. Williamson, Jon Steinbach, Manuel Bronstein} diff --git a/src/algebra/plot3d.spad.pamphlet b/src/algebra/plot3d.spad.pamphlet index acabe73b..579e7b22 100644 --- a/src/algebra/plot3d.spad.pamphlet +++ b/src/algebra/plot3d.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra plot3d.spad} \author{Clifton J. Williamson, Michael Monagan, Jon Steinbach} diff --git a/src/algebra/plottool.spad.pamphlet b/src/algebra/plottool.spad.pamphlet index adc528ab..fe181c4e 100644 --- a/src/algebra/plottool.spad.pamphlet +++ b/src/algebra/plottool.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra plottool.spad} \author{The Axiom Team} diff --git a/src/algebra/polset.spad.pamphlet b/src/algebra/polset.spad.pamphlet index db7e1dc0..6043955c 100644 --- a/src/algebra/polset.spad.pamphlet +++ b/src/algebra/polset.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra polset.spad} \author{Marc Moreno Maza} diff --git a/src/algebra/poltopol.spad.pamphlet b/src/algebra/poltopol.spad.pamphlet index 296c0027..2f3cfe88 100644 --- a/src/algebra/poltopol.spad.pamphlet +++ b/src/algebra/poltopol.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra poltopol.spad} \author{Manuel Bronstein, Patrizia Gianni} diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet index 12d039ef..9b641589 100644 --- a/src/algebra/poly.spad.pamphlet +++ b/src/algebra/poly.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra poly.spad} \author{Dave Barton, James Davenport, Barry Trager, Patrizia Gianni, Marc Moreno Maza} diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet index 4a6c5f5c..a7d306f7 100644 --- a/src/algebra/polycat.spad.pamphlet +++ b/src/algebra/polycat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra polycat.spad} \author{Manuel Bronstein} diff --git a/src/algebra/primelt.spad.pamphlet b/src/algebra/primelt.spad.pamphlet index 725c6750..1f18de1d 100644 --- a/src/algebra/primelt.spad.pamphlet +++ b/src/algebra/primelt.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra primelt.spad} \author{Manuel Bronstein} diff --git a/src/algebra/print.spad.pamphlet b/src/algebra/print.spad.pamphlet index b43a86ed..68491d8e 100644 --- a/src/algebra/print.spad.pamphlet +++ b/src/algebra/print.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra print.spad} \author{Scott Morrison} diff --git a/src/algebra/product.spad.pamphlet b/src/algebra/product.spad.pamphlet index 0787277e..e10d11a8 100644 --- a/src/algebra/product.spad.pamphlet +++ b/src/algebra/product.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra product.spad} \author{The Axiom Team} diff --git a/src/algebra/prs.spad.pamphlet b/src/algebra/prs.spad.pamphlet index 38e3fc4c..7804b4fb 100644 --- a/src/algebra/prs.spad.pamphlet +++ b/src/algebra/prs.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra prs.spad} \author{Lionel Ducos} diff --git a/src/algebra/prtition.spad.pamphlet b/src/algebra/prtition.spad.pamphlet index c6b8f896..5e70c34d 100644 --- a/src/algebra/prtition.spad.pamphlet +++ b/src/algebra/prtition.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra prtition.spad} diff --git a/src/algebra/pscat.spad.pamphlet b/src/algebra/pscat.spad.pamphlet index fbc1806f..86eecd2f 100644 --- a/src/algebra/pscat.spad.pamphlet +++ b/src/algebra/pscat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pscat.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/pseudolin.spad.pamphlet b/src/algebra/pseudolin.spad.pamphlet index fb6d38a5..6d69f5f3 100644 --- a/src/algebra/pseudolin.spad.pamphlet +++ b/src/algebra/pseudolin.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra pseudolin.spad} \author{Bruno Zuercher} diff --git a/src/algebra/ptranfn.spad.pamphlet b/src/algebra/ptranfn.spad.pamphlet index 306346d7..f0f2e85f 100644 --- a/src/algebra/ptranfn.spad.pamphlet +++ b/src/algebra/ptranfn.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ptranfn.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/puiseux.spad.pamphlet b/src/algebra/puiseux.spad.pamphlet index 5ae09734..a38a3301 100644 --- a/src/algebra/puiseux.spad.pamphlet +++ b/src/algebra/puiseux.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra puiseux.spad} \author{Clifton J. Williamson, Scott C. Morrison} diff --git a/src/algebra/qalgset.spad.pamphlet b/src/algebra/qalgset.spad.pamphlet index 30e121fe..f93f1ef0 100644 --- a/src/algebra/qalgset.spad.pamphlet +++ b/src/algebra/qalgset.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra qalgset.spad} \author{William Sit} diff --git a/src/algebra/quat.spad.pamphlet b/src/algebra/quat.spad.pamphlet index 92ce1e47..c4bfb9c2 100644 --- a/src/algebra/quat.spad.pamphlet +++ b/src/algebra/quat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra quat.spad} \author{Robert S. Sutor} diff --git a/src/algebra/radeigen.spad.pamphlet b/src/algebra/radeigen.spad.pamphlet index e4d24320..e9232fc1 100644 --- a/src/algebra/radeigen.spad.pamphlet +++ b/src/algebra/radeigen.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra radeigen.spad} \author{Patrizia Gianni} diff --git a/src/algebra/radix.spad.pamphlet b/src/algebra/radix.spad.pamphlet index c3aa63af..455e7b77 100644 --- a/src/algebra/radix.spad.pamphlet +++ b/src/algebra/radix.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra radix.spad} \author{Stephen M. Watt, Clifton J. Williamson} diff --git a/src/algebra/random.spad.pamphlet b/src/algebra/random.spad.pamphlet index b4459bb2..f28575cb 100644 --- a/src/algebra/random.spad.pamphlet +++ b/src/algebra/random.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra random.spad} \author{Stephen M. Watt, Mike Dewar} diff --git a/src/algebra/ratfact.spad.pamphlet b/src/algebra/ratfact.spad.pamphlet index 68a83a3f..0a097ee3 100644 --- a/src/algebra/ratfact.spad.pamphlet +++ b/src/algebra/ratfact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra ratfact.spad} \author{Patrizia Gianni} diff --git a/src/algebra/rdeef.spad.pamphlet b/src/algebra/rdeef.spad.pamphlet index 971fe2a6..e9aa2e67 100644 --- a/src/algebra/rdeef.spad.pamphlet +++ b/src/algebra/rdeef.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra rdeef.spad} \author{Manuel Bronstein} diff --git a/src/algebra/rderf.spad.pamphlet b/src/algebra/rderf.spad.pamphlet index 29d55915..fb7f7721 100644 --- a/src/algebra/rderf.spad.pamphlet +++ b/src/algebra/rderf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra rderf.spad} \author{Manuel Bronstein} diff --git a/src/algebra/rdesys.spad.pamphlet b/src/algebra/rdesys.spad.pamphlet index 59c68600..92bfcd21 100644 --- a/src/algebra/rdesys.spad.pamphlet +++ b/src/algebra/rdesys.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra rdesys.spad} \author{Manuel Bronstein} diff --git a/src/algebra/real0q.spad.pamphlet b/src/algebra/real0q.spad.pamphlet index 5a891c92..c2691ccc 100644 --- a/src/algebra/real0q.spad.pamphlet +++ b/src/algebra/real0q.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra real0q.spad} \author{Andy Neff, Barry Trager} diff --git a/src/algebra/realzero.spad.pamphlet b/src/algebra/realzero.spad.pamphlet index 695d695a..5f5d3235 100644 --- a/src/algebra/realzero.spad.pamphlet +++ b/src/algebra/realzero.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra realzero.spad} \author{Andy Neff} diff --git a/src/algebra/reclos.spad.pamphlet b/src/algebra/reclos.spad.pamphlet index 23f67912..bc6275be 100644 --- a/src/algebra/reclos.spad.pamphlet +++ b/src/algebra/reclos.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra reclos.spad} \author{Renaud Rioboo} diff --git a/src/algebra/regset.spad.pamphlet b/src/algebra/regset.spad.pamphlet index 691a91a9..050960eb 100644 --- a/src/algebra/regset.spad.pamphlet +++ b/src/algebra/regset.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra regset.spad} \author{Marc Moreno Maza} diff --git a/src/algebra/rep1.spad.pamphlet b/src/algebra/rep1.spad.pamphlet index 47e3638e..f26ae02c 100644 --- a/src/algebra/rep1.spad.pamphlet +++ b/src/algebra/rep1.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra rep1.spad} \author{Holger Gollan, Johannes Grabmeier, Thorsten Werther} diff --git a/src/algebra/rep2.spad.pamphlet b/src/algebra/rep2.spad.pamphlet index 0cf58d85..acd317dc 100644 --- a/src/algebra/rep2.spad.pamphlet +++ b/src/algebra/rep2.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra rep2.spad} \author{Holger Gollan, Johannes Grabmeier} diff --git a/src/algebra/resring.spad.pamphlet b/src/algebra/resring.spad.pamphlet index 343c34ca..66a63715 100644 --- a/src/algebra/resring.spad.pamphlet +++ b/src/algebra/resring.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra resring.spad} \author{Patrizia Gianni} diff --git a/src/algebra/retract.spad.pamphlet b/src/algebra/retract.spad.pamphlet index ac466e52..f47fc642 100644 --- a/src/algebra/retract.spad.pamphlet +++ b/src/algebra/retract.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra retract.spad} \author{Manuel Bronstein} diff --git a/src/algebra/rf.spad.pamphlet b/src/algebra/rf.spad.pamphlet index d9cd4e1a..26184004 100644 --- a/src/algebra/rf.spad.pamphlet +++ b/src/algebra/rf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra rf.spad} \author{Manuel Bronstein} diff --git a/src/algebra/riccati.spad.pamphlet b/src/algebra/riccati.spad.pamphlet index 0fdbe47c..e581b129 100644 --- a/src/algebra/riccati.spad.pamphlet +++ b/src/algebra/riccati.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra riccati.spad} \author{Manuel Bronstein} diff --git a/src/algebra/rinterp.spad.pamphlet b/src/algebra/rinterp.spad.pamphlet index a945c303..73d12ede 100644 --- a/src/algebra/rinterp.spad.pamphlet +++ b/src/algebra/rinterp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra rinterp.spad} \author{Martin Rubey} diff --git a/src/algebra/routines.spad.pamphlet b/src/algebra/routines.spad.pamphlet index c491b23d..ee9bf0aa 100644 --- a/src/algebra/routines.spad.pamphlet +++ b/src/algebra/routines.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra routines.spad} \author{Brian Dupee} diff --git a/src/algebra/rule.spad.pamphlet b/src/algebra/rule.spad.pamphlet index d98a4ec4..6c56bca9 100644 --- a/src/algebra/rule.spad.pamphlet +++ b/src/algebra/rule.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra rule.spad} \author{Manuel Bronstein} diff --git a/src/algebra/s.spad.pamphlet b/src/algebra/s.spad.pamphlet index 7da7e734..0b89a5cb 100644 --- a/src/algebra/s.spad.pamphlet +++ b/src/algebra/s.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra s.spad} \author{Godfrey Nolan, Mike Dewar} diff --git a/src/algebra/seg.spad.pamphlet b/src/algebra/seg.spad.pamphlet index 6f292840..b75f8e92 100644 --- a/src/algebra/seg.spad.pamphlet +++ b/src/algebra/seg.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra seg.spad} \author{Stephen M. Watt, Robert Sutor} diff --git a/src/algebra/setorder.spad.pamphlet b/src/algebra/setorder.spad.pamphlet index 1e62721b..6b2b67d1 100644 --- a/src/algebra/setorder.spad.pamphlet +++ b/src/algebra/setorder.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra setorder.spad} \author{Manuel Bronstein} diff --git a/src/algebra/sets.spad.pamphlet b/src/algebra/sets.spad.pamphlet index 344d5cbb..6e57f8e4 100644 --- a/src/algebra/sets.spad.pamphlet +++ b/src/algebra/sets.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sets.spad} \author{Michael Monagan, Richard Jenks} diff --git a/src/algebra/sex.spad.pamphlet b/src/algebra/sex.spad.pamphlet index 0481c504..d688f92b 100644 --- a/src/algebra/sex.spad.pamphlet +++ b/src/algebra/sex.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sex.spad} \author{Stephen M. Watt} diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet index 93abae0d..5efeba82 100644 --- a/src/algebra/sf.spad.pamphlet +++ b/src/algebra/sf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sf.spad} \author{Michael Monagan, Stephen M. Watt} diff --git a/src/algebra/sgcf.spad.pamphlet b/src/algebra/sgcf.spad.pamphlet index 752ecd02..5f1dfa6b 100644 --- a/src/algebra/sgcf.spad.pamphlet +++ b/src/algebra/sgcf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sgcf.spad} \author{Johannes Grabmeier, Thorsten Werther} diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet index 0fca5bd1..cee9d51c 100644 --- a/src/algebra/si.spad.pamphlet +++ b/src/algebra/si.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra si.spad} \author{Stephen M. Watt, Michael Monagan, James Davenport, Barry Trager} diff --git a/src/algebra/sign.spad.pamphlet b/src/algebra/sign.spad.pamphlet index f717ae8b..b96e13a3 100644 --- a/src/algebra/sign.spad.pamphlet +++ b/src/algebra/sign.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sign.spad} \author{Manuel Bronstein} diff --git a/src/algebra/smith.spad.pamphlet b/src/algebra/smith.spad.pamphlet index fb3c13f6..97fc3b76 100644 --- a/src/algebra/smith.spad.pamphlet +++ b/src/algebra/smith.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra smith.spad} \author{Patrizia Gianni} diff --git a/src/algebra/solvedio.spad.pamphlet b/src/algebra/solvedio.spad.pamphlet index dcf0d2d2..f085b22e 100644 --- a/src/algebra/solvedio.spad.pamphlet +++ b/src/algebra/solvedio.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra solvedio.spad} \author{Albrecht Fortenbacher} diff --git a/src/algebra/solvefor.spad.pamphlet b/src/algebra/solvefor.spad.pamphlet index b82f1f35..6d072ae8 100644 --- a/src/algebra/solvefor.spad.pamphlet +++ b/src/algebra/solvefor.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra solvefor.spad} \author{Stephen M. Watt, Barry Trager} diff --git a/src/algebra/solvelin.spad.pamphlet b/src/algebra/solvelin.spad.pamphlet index 1bef30f9..470dd200 100644 --- a/src/algebra/solvelin.spad.pamphlet +++ b/src/algebra/solvelin.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra solvelin.spad} \author{Patrizia Gianni, Stephen M. Watt, Robert Sutor} diff --git a/src/algebra/solverad.spad.pamphlet b/src/algebra/solverad.spad.pamphlet index 34927401..e8f52a14 100644 --- a/src/algebra/solverad.spad.pamphlet +++ b/src/algebra/solverad.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra solverad.spad} \author{Patrizia Gianni} diff --git a/src/algebra/sortpak.spad.pamphlet b/src/algebra/sortpak.spad.pamphlet index c96e3aa1..747e8eec 100644 --- a/src/algebra/sortpak.spad.pamphlet +++ b/src/algebra/sortpak.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sortpak.spad} \author{The Axiom Team} diff --git a/src/algebra/space.spad.pamphlet b/src/algebra/space.spad.pamphlet index 21428a1f..6d688e47 100644 --- a/src/algebra/space.spad.pamphlet +++ b/src/algebra/space.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra space.spad} \author{The Axiom Team} diff --git a/src/algebra/special.spad.pamphlet b/src/algebra/special.spad.pamphlet index bb41d3df..8a619f7b 100644 --- a/src/algebra/special.spad.pamphlet +++ b/src/algebra/special.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra special.spad} \author{Bruce W. Char, Stephen M. Watt} diff --git a/src/algebra/sregset.spad.pamphlet b/src/algebra/sregset.spad.pamphlet index 634f37c8..0fa7bee2 100644 --- a/src/algebra/sregset.spad.pamphlet +++ b/src/algebra/sregset.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sregset.spad} \author{Marc Moreno Maza} diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet index 1c15a504..fd13ff0f 100644 --- a/src/algebra/stream.spad.pamphlet +++ b/src/algebra/stream.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra stream.spad} \author{Clifton J. Williamson, William Burge, Stephen M. Watt} diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 353ed862..fc009d84 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra string.spad} \author{Stephen M. Watt, Michael Monagan, Manuel Bronstein} diff --git a/src/algebra/sttaylor.spad.pamphlet b/src/algebra/sttaylor.spad.pamphlet index febd20d1..ba55cf92 100644 --- a/src/algebra/sttaylor.spad.pamphlet +++ b/src/algebra/sttaylor.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sttaylor.spad} \author{William Burge, Stephen Watt, Clifton J. Williamson} diff --git a/src/algebra/sttf.spad.pamphlet b/src/algebra/sttf.spad.pamphlet index b96dc31f..f65e7bbc 100644 --- a/src/algebra/sttf.spad.pamphlet +++ b/src/algebra/sttf.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sttf.spad} \author{William Burge, Clifton J. Williamson} diff --git a/src/algebra/sturm.spad.pamphlet b/src/algebra/sturm.spad.pamphlet index 462c1c00..d1a5b484 100644 --- a/src/algebra/sturm.spad.pamphlet +++ b/src/algebra/sturm.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sturm.spad} \author{Lalo Gonzalez-Vega} diff --git a/src/algebra/suchthat.spad.pamphlet b/src/algebra/suchthat.spad.pamphlet index f26514fe..9afa0569 100644 --- a/src/algebra/suchthat.spad.pamphlet +++ b/src/algebra/suchthat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra suchthat.spad} \author{Timothy Daly} diff --git a/src/algebra/suls.spad.pamphlet b/src/algebra/suls.spad.pamphlet index 8bdf483b..2b1db3b9 100644 --- a/src/algebra/suls.spad.pamphlet +++ b/src/algebra/suls.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra suls.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/sum.spad.pamphlet b/src/algebra/sum.spad.pamphlet index 478a5e94..1aa28145 100644 --- a/src/algebra/sum.spad.pamphlet +++ b/src/algebra/sum.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sum.spad} \author{Stephen M. Watt, Manuel Bronstein} diff --git a/src/algebra/sups.spad.pamphlet b/src/algebra/sups.spad.pamphlet index a45f6482..12002060 100644 --- a/src/algebra/sups.spad.pamphlet +++ b/src/algebra/sups.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra sups.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/supxs.spad.pamphlet b/src/algebra/supxs.spad.pamphlet index adddd2e9..a8591584 100644 --- a/src/algebra/supxs.spad.pamphlet +++ b/src/algebra/supxs.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra supxs.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/suts.spad.pamphlet b/src/algebra/suts.spad.pamphlet index b0b70950..8e5f4106 100644 --- a/src/algebra/suts.spad.pamphlet +++ b/src/algebra/suts.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra suts.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/symbol.spad.pamphlet b/src/algebra/symbol.spad.pamphlet index 3a64cc7b..dc99be07 100644 --- a/src/algebra/symbol.spad.pamphlet +++ b/src/algebra/symbol.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra symbol.spad} \author{Stephen M. Watt} diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 2e85f238..1511b02f 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \author{Gabriel Dos~Reis} diff --git a/src/algebra/syssolp.spad.pamphlet b/src/algebra/syssolp.spad.pamphlet index 88f7b334..1561a89a 100644 --- a/src/algebra/syssolp.spad.pamphlet +++ b/src/algebra/syssolp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra syssolp.spad} \author{Patrizia Gianni} diff --git a/src/algebra/system.spad.pamphlet b/src/algebra/system.spad.pamphlet index ae4d6351..e2ba788d 100644 --- a/src/algebra/system.spad.pamphlet +++ b/src/algebra/system.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \title{\$SPAD/src/algebra system.spad} \author{Gabriel Dos~Reis \and Timothy Daly} diff --git a/src/algebra/table.spad.pamphlet b/src/algebra/table.spad.pamphlet index f62e6011..b6347545 100644 --- a/src/algebra/table.spad.pamphlet +++ b/src/algebra/table.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra table.spad} \author{Stephen M. Watt, Barry Trager} diff --git a/src/algebra/tableau.spad.pamphlet b/src/algebra/tableau.spad.pamphlet index baa49c34..a5432bec 100644 --- a/src/algebra/tableau.spad.pamphlet +++ b/src/algebra/tableau.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra tableau.spad} \author{William H. Burge} diff --git a/src/algebra/taylor.spad.pamphlet b/src/algebra/taylor.spad.pamphlet index fa0debbc..48f29f56 100644 --- a/src/algebra/taylor.spad.pamphlet +++ b/src/algebra/taylor.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra taylor.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/tex.spad.pamphlet b/src/algebra/tex.spad.pamphlet index 9ce894cb..4c6fcc1c 100644 --- a/src/algebra/tex.spad.pamphlet +++ b/src/algebra/tex.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra tex.spad} \author{Robert S. Sutor} diff --git a/src/algebra/tools.spad.pamphlet b/src/algebra/tools.spad.pamphlet index dc8135e9..1d3984c7 100644 --- a/src/algebra/tools.spad.pamphlet +++ b/src/algebra/tools.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra tools.spad} \author{Brian Dupee} diff --git a/src/algebra/transsolve.spad.pamphlet b/src/algebra/transsolve.spad.pamphlet index 84475a3b..f6e065ec 100644 --- a/src/algebra/transsolve.spad.pamphlet +++ b/src/algebra/transsolve.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra transsolve.spad} \author{Waldemar Wiwianka, Martin Rubey} diff --git a/src/algebra/tree.spad.pamphlet b/src/algebra/tree.spad.pamphlet index d4f187c0..09d7089b 100644 --- a/src/algebra/tree.spad.pamphlet +++ b/src/algebra/tree.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra tree.spad} \author{William Burge} diff --git a/src/algebra/trigcat.spad.pamphlet b/src/algebra/trigcat.spad.pamphlet index e4c4f1d9..e28bfa34 100644 --- a/src/algebra/trigcat.spad.pamphlet +++ b/src/algebra/trigcat.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra trigcat.spad} \author{Manuel Bronstein} diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet index cdc53b28..562994e3 100644 --- a/src/algebra/triset.spad.pamphlet +++ b/src/algebra/triset.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra triset.spad} \author{Marc Moreno Maza} diff --git a/src/algebra/tube.spad.pamphlet b/src/algebra/tube.spad.pamphlet index 48cc89cb..9982ed05 100644 --- a/src/algebra/tube.spad.pamphlet +++ b/src/algebra/tube.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra tube.spad} \author{Clifton J. Williamson} diff --git a/src/algebra/twofact.spad.pamphlet b/src/algebra/twofact.spad.pamphlet index bf9b9368..4b6a1525 100644 --- a/src/algebra/twofact.spad.pamphlet +++ b/src/algebra/twofact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra twofact.spad} \author{Patrizia Gianni, James Davenport} diff --git a/src/algebra/unifact.spad.pamphlet b/src/algebra/unifact.spad.pamphlet index a6ed0198..5e52db28 100644 --- a/src/algebra/unifact.spad.pamphlet +++ b/src/algebra/unifact.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra unifact.spad} \author{Patrizia Gianni} diff --git a/src/algebra/updecomp.spad.pamphlet b/src/algebra/updecomp.spad.pamphlet index c300db68..fba1182a 100644 --- a/src/algebra/updecomp.spad.pamphlet +++ b/src/algebra/updecomp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra updecomp.spad} \author{Frederic Lehobey} diff --git a/src/algebra/updivp.spad.pamphlet b/src/algebra/updivp.spad.pamphlet index 01ffe8ca..efeb3cca 100644 --- a/src/algebra/updivp.spad.pamphlet +++ b/src/algebra/updivp.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra updivp.spad} \author{Frederic Lehobey} diff --git a/src/algebra/utsode.spad.pamphlet b/src/algebra/utsode.spad.pamphlet index 26d03144..c2d3d6ab 100644 --- a/src/algebra/utsode.spad.pamphlet +++ b/src/algebra/utsode.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra utsode.spad} \author{Stephen M. Watt, Clifton J. Williamson} diff --git a/src/algebra/variable.spad.pamphlet b/src/algebra/variable.spad.pamphlet index 6678dba2..edf83230 100644 --- a/src/algebra/variable.spad.pamphlet +++ b/src/algebra/variable.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra variable.spad} \author{The Axiom Team} diff --git a/src/algebra/vector.spad.pamphlet b/src/algebra/vector.spad.pamphlet index 370314f1..292a8a01 100644 --- a/src/algebra/vector.spad.pamphlet +++ b/src/algebra/vector.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra vector.spad} \author{The Axiom Team} diff --git a/src/algebra/view2D.spad.pamphlet b/src/algebra/view2D.spad.pamphlet index 68d634e5..d5b90a78 100644 --- a/src/algebra/view2D.spad.pamphlet +++ b/src/algebra/view2D.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra view2D.spad} \author{James Wen} diff --git a/src/algebra/view3D.spad.pamphlet b/src/algebra/view3D.spad.pamphlet index 2fc1d5f4..22b6d1cd 100644 --- a/src/algebra/view3D.spad.pamphlet +++ b/src/algebra/view3D.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra view3D.spad} \author{James Wen} diff --git a/src/algebra/viewDef.spad.pamphlet b/src/algebra/viewDef.spad.pamphlet index 645a9c79..fd552797 100644 --- a/src/algebra/viewDef.spad.pamphlet +++ b/src/algebra/viewDef.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra viewDef.spad} \author{James Wen} diff --git a/src/algebra/viewpack.spad.pamphlet b/src/algebra/viewpack.spad.pamphlet index 5655f96e..f029c865 100644 --- a/src/algebra/viewpack.spad.pamphlet +++ b/src/algebra/viewpack.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra viewpack.spad} \author{James Wen} diff --git a/src/algebra/void.spad.pamphlet b/src/algebra/void.spad.pamphlet index fc8c8583..5d2475cc 100644 --- a/src/algebra/void.spad.pamphlet +++ b/src/algebra/void.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra void.spad} \author{Stephen M. Watt} diff --git a/src/algebra/weier.spad.pamphlet b/src/algebra/weier.spad.pamphlet index 175f49c1..a88c26cf 100644 --- a/src/algebra/weier.spad.pamphlet +++ b/src/algebra/weier.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra weier.spad} \author{William H. Burge} diff --git a/src/algebra/wtpol.spad.pamphlet b/src/algebra/wtpol.spad.pamphlet index 81d9bbc2..fd370f3a 100644 --- a/src/algebra/wtpol.spad.pamphlet +++ b/src/algebra/wtpol.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra wtpol.spad} \author{James Davenport} diff --git a/src/algebra/xlpoly.spad.pamphlet b/src/algebra/xlpoly.spad.pamphlet index c74bbd71..54526022 100644 --- a/src/algebra/xlpoly.spad.pamphlet +++ b/src/algebra/xlpoly.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{\$SPAD/src/algebra xlpoly.spad} \author{Michel Petitot} diff --git a/src/algebra/xpoly.spad.pamphlet b/src/algebra/xpoly.spad.pamphlet index 708f697f..b946d8bd 100644 --- a/src/algebra/xpoly.spad.pamphlet +++ b/src/algebra/xpoly.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra xpoly.spad} \author{Michel Petitot} diff --git a/src/algebra/ystream.spad.pamphlet b/src/algebra/ystream.spad.pamphlet index 7456aaab..2f63b7bb 100644 --- a/src/algebra/ystream.spad.pamphlet +++ b/src/algebra/ystream.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra ystream.spad} \author{William Burge, Stephen M. Watt, Clifton J. Williamson} diff --git a/src/algebra/zerodim.spad.pamphlet b/src/algebra/zerodim.spad.pamphlet index ca1f4409..80c9b524 100644 --- a/src/algebra/zerodim.spad.pamphlet +++ b/src/algebra/zerodim.spad.pamphlet @@ -1,5 +1,5 @@ \documentclass{article} -\usepackage{axiom} +\usepackage{open-axiom} \begin{document} \title{src/algebra zerodim.spad} \author{Marc Moreno Maza} diff --git a/src/interp/i-syscmd.boot b/src/interp/i-syscmd.boot index 7db77377..19c27f20 100644 --- a/src/interp/i-syscmd.boot +++ b/src/interp/i-syscmd.boot @@ -2473,7 +2473,7 @@ reportOpsFromLisplib1(unitForm,u) == editFile showFile reportOpsFromUnitDirectly unitForm == - isRecordOrUnion := unitForm is [a,:.] and a in '(Record Union) + isRecordOrUnion := unitForm is [a,:.] and a in $DomainNames unit:= evalDomain unitForm top:= first unitForm kind:= getConstructorKindFromDB top @@ -2514,7 +2514,7 @@ reportOpsFromUnitDirectly unitForm == systemErrorHere ["reportOpsFromUnitDirectly",top] [funlist,.]:= FUNCALL(constructorFunction,"$",unitForm, $CategoryFrame) - sigList := REMDUP MSORT [[[a,b],true,[c,0,1]] for + sigList := REMDUP MSORT [[[a,b],true,c] for [a,b,c] in funlist] else sigList:= REMDUP MSORT getOplistForConstructorForm unitForm |