Remove more Makefile pamphlets and other leftover.

9 files changed, 34 insertions, 34 deletions

diff --git a/src/input/Makefile.pamphlet b/src/input/Makefile.pamphlet
index 2015a74c..cf85241c 100644
--- a/src/input/Makefile.pamphlet
+++ b/src/input/Makefile.pamphlet
@@ -20,7 +20,7 @@
 Each of the files in this subdirectory is intended to achieve a 
 three goals. First, the file shows examples of how to use Axiom
 algebra. Second, the file is used as a regression test to show
-that Axiom properly executes the algebra. Third, the file contains
+that OpenAxiom properly executes the algebra. Third, the file contains
 documentation on known bugs or missing algebra.
 
 It is important to collect as many examples as we can of working
diff --git a/src/input/asec.input.pamphlet b/src/input/asec.input.pamphlet
index 82907431..76ddb3fc 100644
--- a/src/input/asec.input.pamphlet
+++ b/src/input/asec.input.pamphlet
@@ -100,7 +100,7 @@ u(1)& =\frac{-5\sqrt{2}}{12}.
 \end{array}
 $$
 
-As implemented within Axiom the {\tt asec} function is
+As implemented within OpenAxiom the {\tt asec} function is
 $$sec^{-1}(z) == cos^{-1}\left(\frac{1}{z}\right)$$
 <<*>>=
 )spool asec.output
diff --git a/src/input/bug10069.input.pamphlet b/src/input/bug10069.input.pamphlet
index 699bc910..920cd951 100644
--- a/src/input/bug10069.input.pamphlet
+++ b/src/input/bug10069.input.pamphlet
@@ -14,7 +14,7 @@ These functions were missing a case statement that handled the 'failed'
 branch. This has been fixed.
 
 Since these functions are designed to fail during testing we
-have to set the breakmode to resume so Axiom will continue reading
+have to set the breakmode to resume so OpenAxiom will continue reading
 the input file.
 <<*>>=
 )cl all
diff --git a/src/input/defs.input.pamphlet b/src/input/defs.input.pamphlet
index 85b35ef3..e3b6ea71 100644
--- a/src/input/defs.input.pamphlet
+++ b/src/input/defs.input.pamphlet
@@ -10,7 +10,7 @@
 \tableofcontents
 \eject
 The [[otherwise]] clause is not recognized either in the NAG version
-or the Axiom version.
+or the OpenAxiom version.
 <<fib>>=
 )clear all
 
@@ -23,7 +23,7 @@ fib(100)
 
 @
 The [[when]] clause is not recognized either in the NAG version or
-the Axiom version.
+the OpenAxiom version.
 <<chebyshev>>=
 chebyshev1: Integer -> UnivariatePolynomial(x,Fraction Integer)
 chebyshev1(0) == 1
diff --git a/src/input/fixed.input.pamphlet b/src/input/fixed.input.pamphlet
index 67279b89..e4ff69da 100644
--- a/src/input/fixed.input.pamphlet
+++ b/src/input/fixed.input.pamphlet
@@ -756,7 +756,7 @@ complexNumeric(log(sqrt(-3)))
 -- answer (barry):
 --
 --Your problem in TEST about specifying target types which are Mapping's
---was a bug in the compiler and has been fixed for Axiom release 2.0.
+--was a bug in the compiler and has been fixed for OpenAxiom release 2.0.
 --
 
 -------------------------------------------------------------------
@@ -1191,7 +1191,7 @@ ll 3
 --   4893,4653,4475,4005,3893,3669,3459,3143,2967,
 --   2807,2529,1827,1695,975,875,629,569
 
---It was gotten from Axiom by issuing the commands
+--It was gotten from OpenAxiom by issuing the commands
 qrimes : Stream Integer := generate(nextPrime,2**512-5000)
 rrimes := [ 2**512-p for p in qrimes while p < 2**512 ]
 srimes := complete rrimes
@@ -1285,7 +1285,7 @@ L
 --   (5)  ["There is","a real bug","here"]
 --
 --Is there a way to fix this bug quickly ?? (I am ready to modify the source
---Axiom aggcat.spad).
+--OpenAxiom aggcat.spad).
 --The problem with ! functions lies in the documentation not in the code. We
 --need to explain more clearly that ! functions are ALLOWED to update their
 --arguments, not REQUIRED to do so. 
@@ -1327,7 +1327,7 @@ minimalPolynomial(y)$E
 --
 tr := rule cos(x)**(n | integer? n and even? n)==(1-sin(x)**2)**(n/2)
 --
---Axiom returns
+--OpenAxiom returns
 --
 --   Cannot find a definition or library operation named even? with argument
 --   types
@@ -1362,7 +1362,7 @@ tr := rule cos(x)**(n | integer? n and even? n)==(1-sin(x)**2)**(n/2)
 -- copper@yktvmv.vnet.ibm.com/02/22/94 don coppersmith
 -------------------------------------------------------------------
 )clear all
---Questions that came up using Axiom on Aixproj:
+--Questions that came up using OpenAxiom on Aixproj:
 --
 --How does one find a Pade approximation?  I tried  pade(2,2,y)
 --pade(y,2,2)  Pade(2,2,y)  PadeApproximation(2,2,y)
diff --git a/src/input/mapleok.input.pamphlet b/src/input/mapleok.input.pamphlet
index d6db7823..0a80afb3 100644
--- a/src/input/mapleok.input.pamphlet
+++ b/src/input/mapleok.input.pamphlet
@@ -7,9 +7,9 @@
 \begin{abstract}
 A set of test results that fail for Maple was published as a database
 on the web by Vladimir Bondarenko. We looked at these equations in
-detail, redesigned and rewrote them for Axiom where the equations
-could be applied, and ran them thru the Axiom system. These are the
-set of results that give answers in Axiom along with a summary of
+detail, redesigned and rewrote them for OpenAxiom where the equations
+could be applied, and ran them thru the OpenAxiom system. These are the
+set of results that give answers in OpenAxiom along with a summary of
 the tests.
 \end{abstract}
 \eject
@@ -24,7 +24,7 @@ We should have available a range of problems with associated
 math theory and verified results that every computer algebra
 system can use for testing purposes. To this end I've been 
 collecting test suites from various computer algebra systems and
-running them thru Axiom. The lastest collection is the Maple bug
+running them thru OpenAxiom. The lastest collection is the Maple bug
 list posted by Vladimir. 
 
 Of course there is no common syntax and so one of the problems
@@ -32,12 +32,12 @@ is that every integral has to be hand-written to match the likely
 semantics of the original. This is a time consuming effort.
 pFurthermore there is no general mechanism for collecting results
 (although I have been looking at automating regression testing
-in Axiom) so result collection and summary are also hand operations.
+in OpenAxiom) so result collection and summary are also hand operations.
 Nevertheless, the process has completed the first phase of testing
 and I've attached some summary statistics. Detailed results will
-be included with the next release of Axiom.
+be included with the next release of OpenAxiom.
 
-For the next phase I've built a special purpose version of Axiom
+For the next phase I've built a special purpose version of OpenAxiom
 with instrumentation in all of the integration routines. I plan to
 classify each integral and associate it with the code as part of
 the literate documentation. This will give us a basis for finding
@@ -54,7 +54,7 @@ There were 4865 integrals tested. Of these
 \item (1206 24.78\%) Undefined Special Functions or untranslated functions
 \item (84    1.72\%) Mismatched signatures of existing functions
 \item (158   3.25\%) Badly Behaved Integrals
-\item (7     0.14\%) Axiom Internal Errors
+\item (7     0.14\%) OpenAxiom Internal Errors
 \item (279   5.73\%) Risch Algorithm Boundary Cases
 \item (2331 47.91\%) Failed results
 \item (490  10.07\%) Successful Results
@@ -68,7 +68,7 @@ rather more difficult to compute.
 
 We further break down the results. The number in parentheses is
 the number of integrals of this class. One observation is that a
-large number of these integrals involve the signum function. Axiom
+large number of these integrals involve the signum function. OpenAxiom
 does not have an integrable form of this function. Frankly, I'm not
 sure how to integrate functions involving signum. It is hardly a
 surprise that Maple gets these wrong.
@@ -76,7 +76,7 @@ surprise that Maple gets these wrong.
 On some of the functions I've given example integrals that exhibit
 the behavior of their category.
 
-Axiom has a robust implementation of the Risch algorithm done by
+OpenAxiom has a robust implementation of the Risch algorithm done by
 Barry Trager and Manuel Bronstein. Still, there are some corner
 cases that are not implemented. We collected these under a
 separate category so they will be useful for people who want to
@@ -104,9 +104,9 @@ These are apparently bogus function names.
 
 \subsection{Undefined Special Functions or Untranslated Functions}
 
-Maple has these functios in different forms than Axiom. Some of the special
-functions have equivalent Axiom representations but Maple is much stronger
-in special functions. Axiom has single-argument forms of some of these
+Maple has these functios in different forms than OpenAxiom. Some of the special
+functions have equivalent OpenAxiom representations but Maple is much stronger
+in special functions. OpenAxiom has single-argument forms of some of these
 functions but the translations were not clear.
 
 \begin{itemize}
@@ -162,7 +162,7 @@ functions but the translations were not clear.
 
 \subsection{Mismatched Signatures Of Existing Functions}
 
-Axiom's integration routines return a Union of several types. 
+OpenAxiom's integration routines return a Union of several types. 
 In order to use the result in various other operations one branch
 of the Union needs to be chosen. I have not done that here so these
 are listed as though they were special functions with a missing
@@ -189,7 +189,7 @@ integrate(legendreP(0, z)/(z^2+3*z), z= 0..3,"noPole")
 \end{verbatim}
 
 
-\subsection{Axiom Internal Errors}
+\subsection{OpenAxiom Internal Errors}
 
 \begin{itemize}
 \item (1) internal error
@@ -330,7 +330,7 @@ integrate(sin(1/z)+(1-1/z^4)^(1/2), z= 0..%pi,"noPole")
 
 \subsection{(305) Indeterminate Results}
 
-There were some integrals that Axiom failed to complete given
+There were some integrals that OpenAxiom failed to complete given
 the bounds on the allowed CPU time (about 10 minutes of execution).
 Further effort will be applied to try to resolve these cases.
 
diff --git a/src/input/pmint.input.pamphlet b/src/input/pmint.input.pamphlet
index 35d8542b..eeaa87d3 100644
--- a/src/input/pmint.input.pamphlet
+++ b/src/input/pmint.input.pamphlet
@@ -288,7 +288,7 @@ integrate(f,x)
 -- Airy Functions
 
 -- f:=(x-airyAi(x)*airyAi(1,x))/(x^2-airyAi(x)^2)
--- Axiom does not have a 2 argument form of the airyAi function
+-- OpenAxiom does not have a 2 argument form of the airyAi function
  
 -- integrate(f,x)
 -- should be:
@@ -305,7 +305,7 @@ f:=x^2*airyAi(x)
 g:=integrate(f,x)
 -- should be:
 --  -airyAi(x) + airyAi(1,x) x
--- but Axiom cannot integrate this and gives:
+-- but OpenAxiom cannot integrate this and gives:
 --
 --           x
 --         ++    2
@@ -329,7 +329,7 @@ f:=besselJ(y+1,x)/besselJ(y,x)
 g:=integrate(f,x)
 -- should be:
 --  y log(x) - log(besselJ(y,x))
--- but Axiom cannot integrate it and gives:
+-- but OpenAxiom cannot integrate it and gives:
 --
 --           x
 --         ++  besselJ(y + 1,%H)
@@ -338,7 +338,7 @@ g:=integrate(f,x)
 --                                          Type: Union(Expression Integer,...)
 
 -- f:=normal(y*besselJ(y,x)/x = besselJ(y+1,x))
--- Axiom does not have Maple's normal function
+-- OpenAxiom does not have Maple's normal function
 -- should be:
 --   besselJ(y+1,x) x - y besselJ(y,x)
 -- - ---------------------------------
@@ -352,7 +352,7 @@ g:=integrate(f,x)
 -- Whittaker functions
 
 -- f:=WhittakerW(u+1,n,x)/(WhittakerW(u,n,x)*x)
--- Axiom does not implement WhittakerW
+-- OpenAxiom does not implement WhittakerW
 -- should be:
 --  Whittaker(u+1,n,x)
 --  ------------------
@@ -371,7 +371,7 @@ g:=integrate(f,x)
 -- The Lambert W function
 
 -- f:=LambertW(x)
--- Axiom does not implement LambertW
+-- OpenAxiom does not implement LambertW
 
 -- g:=integrate(f,x)
 -- should be:
diff --git a/src/input/robidoux.input.pamphlet b/src/input/robidoux.input.pamphlet
index 70c286f3..e5e4ab8c 100644
--- a/src/input/robidoux.input.pamphlet
+++ b/src/input/robidoux.input.pamphlet
@@ -17,7 +17,7 @@
 <<license>>
 )clear all
 -- from the paper:
--- Does Axiom Solve Systems of O.D.E.'s Like Mathematica?
+-- Does OpenAxiom Solve Systems of O.D.E.'s Like Mathematica?
 -- Nicolas Robidoux University of New Mexico 24 June 1993
 X1:=operator 'X1
 deq1:=D(X1 t,t)=(1+ cos t /(2+sin t)) * X1 t
diff --git a/src/input/synonym.input.pamphlet b/src/input/synonym.input.pamphlet
index e8b01cc8..d2fb0ddd 100644
--- a/src/input/synonym.input.pamphlet
+++ b/src/input/synonym.input.pamphlet
@@ -17,7 +17,7 @@
 <<license>>
 
 -- This file contains the standard system defined system command
--- synonyms for the Axiom system. It is normally read into
+-- synonyms for the OpenAxiom system. It is normally read into
 -- the system by adding the line
 --         )read synonym input )ifthere )quiet
 -- to the start-up profile axiom.input.