[Axiom-developer] RE: Axiom on Windows

[Mike Thomas]

PS.

I hacked a way around the TeX output by redirecting to a file.  I couldn't
resist trying some examples from the Axiom book; net result is that it's all
a bit wobbly, but it does recover from errors and the results seem to accord
with the book.  Thanks to you all for this most excellent software package,
Auriferous Aximatic Artificers:


(6) -> integrate((x**2+2*x+1)/((x+1)**6+1),x)

              3     2
        atan(x  + 3x  + 3x + 1)
   (6)  -----------------------
                   3
(7) -> integrate(1/(x**2 + a),x)
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MRATFAC.o for package
      MRationalFactorize
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MULTFACT.o for package
      MultivariateFactorize
   Loading c:/cvs/head/axiom/mnt/windows/algebra/INNMFACT.o for package
      InnerMultFact
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MULTSQFR.o for package
      MultivariateSquareFree

               2      +---+
             (x  - a)\|- a  + 2a x         +-+
         log(---------------------)      x\|a
                      2             atan(-----)
                     x  + a                a
   (7)  [--------------------------,-----------]
                     +---+               +-+
                   2\|- a               \|a
(8) -> y := operator ’y

   (8)  y
(9) -> deq := x**3 * D(y x, x, 3) + x**2 * D(y x, x, 2) - 2 * x * D(y x, x)
+ 2
* y x = 2 * x**4
   Loading c:/cvs/head/axiom/mnt/windows/algebra/EQ.o for domain
      Equation

         3 ,,,       2 ,,         ,               4
   (9)  x y   (x) + x y  (x) - 2xy (x) + 2y(x)= 2x

(10) -> solve(deq, y, x)
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ODEEF.o for package
      ElementaryFunctionODESolver
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ODEINT.o for package
      ODEIntegration
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LODO.o for domain
      LinearOrdinaryDifferentialOperator
   Loading c:/cvs/head/axiom/mnt/windows/algebra/AUTOMOR.o for domain
      Automorphism
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ORESUP.o for domain
      SparseUnivariateSkewPolynomial
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LODEEF.o for package
      ElementaryFunctionLODESolver
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LODOCAT-.o for domain
      LinearOrdinaryDifferentialOperatorCategory&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/OREPCAT-.o for domain
      UnivariateSkewPolynomialCategory&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LODO1.o for domain
      LinearOrdinaryDifferentialOperator1
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ODERAT.o for package
      RationalLODE
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LODO2.o for domain
      LinearOrdinaryDifferentialOperator2
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ODEPRIM.o for package
      PrimitiveRatDE
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ICDEN.o for package
      InnerCommonDenominator
   Loading c:/cvs/head/axiom/mnt/windows/algebra/FLAGG2.o for package
      FiniteLinearAggregateFunctions2
   Loading c:/cvs/head/axiom/mnt/windows/algebra/BALFACT.o for package
      BalancedFactorisation
   Loading c:/cvs/head/axiom/mnt/windows/algebra/OREPCTO.o for package
      UnivariateSkewPolynomialCategoryOps
   Loading c:/cvs/head/axiom/mnt/windows/algebra/BOUNDZRO.o for package
      BoundIntegerRoots
   Loading c:/cvs/head/axiom/mnt/windows/algebra/BRILL.o for package
      BrillhartTests
   Loading c:/cvs/head/axiom/mnt/windows/algebra/FLOAT.o for domain
      Float
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GALFACTU.o for package
      GaloisGroupFactorizationUtilities
   Loading c:/cvs/head/axiom/mnt/windows/algebra/FPS-.o for domain
      FloatingPointSystem&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/RNS-.o for domain
      RealNumberSystem&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GALUTIL.o for package
      GaloisGroupUtilities
   Loading c:/cvs/head/axiom/mnt/windows/algebra/UPDECOMP.o for package
      UnivariatePolynomialDecompositionPackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GHENSEL.o for package
      GeneralHenselPackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/UTS.o for domain
      UnivariateTaylorSeries
   Loading c:/cvs/head/axiom/mnt/windows/algebra/STREAM.o for domain
      Stream
   Loading c:/cvs/head/axiom/mnt/windows/algebra/UTSODETL.o for package
      UTSodetools
   Loading c:/cvs/head/axiom/mnt/windows/algebra/UTSODE.o for package
      UnivariateTaylorSeriesODESolver
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ITAYLOR.o for domain
      InnerTaylorSeries
   Loading c:/cvs/head/axiom/mnt/windows/algebra/STTAYLOR.o for package
      StreamTaylorSeriesOperations
   Loading c:/cvs/head/axiom/mnt/windows/algebra/VECTCAT-.o for domain
      VectorCategory&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/YSTREAM.o for package
      ParadoxicalCombinatorsForStreams
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LIST2.o for package
      ListFunctions2
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LZSTAGG-.o for domain
      LazyStreamAggregate&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/STREAM2.o for package
      StreamFunctions2
   Loading c:/cvs/head/axiom/mnt/windows/algebra/APPLYORE.o for package
      ApplyUnivariateSkewPolynomial

   (10)
                 5      3      2               3     2      3      3     2
                x  - 10x  + 20x  + 4         2x  - 3x  + 1 x  - 1 x  - 3x  -
1
   [particular= --------------------,basis=
[-------------,------,------------]]

                         15x                       x          x         x

Error: Caught fatal error [memory may be damaged]
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by RETURN.
Broken at APPLY.  Type :H for Help.
BOOT>>:q
(10) -> deq := (x**2 + 1) * D(y x, x, 2) + 3 * x * D(y x, x) + y x = 0

           2      ,,         ,
   (10)  (x  + 1)y  (x) + 3xy (x) + y(x)= 0

(11) -> solve(deq, y, x)
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MATRIX.o for domain
      Matrix
   Loading c:/cvs/head/axiom/mnt/windows/algebra/IIARRAY2.o for domain
      InnerIndexedTwoDimensionalArray
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MATCAT-.o for domain
      MatrixCategory&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MCDEN.o for package
      MatrixCommonDenominator
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ARR2CAT-.o for domain
      TwoDimensionalArrayCategory&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MATCAT2.o for package
      MatrixCategoryFunctions2
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LSMP.o for package
      LinearSystemMatrixPackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MATLIN.o for package
      MatrixLinearAlgebraFunctions
   Loading c:/cvs/head/axiom/mnt/windows/algebra/IMATLIN.o for package
      InnerMatrixLinearAlgebraFunctions
   Loading c:/cvs/head/axiom/mnt/windows/algebra/REDORDER.o for package
      ReductionOfOrder
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ODERTRIC.o for package
      RationalRicDE
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ODEPRRIC.o for package
      PrimitiveRatRicDE
   Loading c:/cvs/head/axiom/mnt/windows/algebra/NLINSOL.o for package
      NonLinearSolvePackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/RETSOL.o for package
      RetractSolvePackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/SYSSOLP.o for package
      SystemSolvePackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/DMP.o for domain
      DistributedMultivariatePolynomial
   Loading c:/cvs/head/axiom/mnt/windows/algebra/OVAR.o for domain
      OrderedVariableList
   Loading c:/cvs/head/axiom/mnt/windows/algebra/DIRPROD.o for domain
      DirectProduct
   Loading c:/cvs/head/axiom/mnt/windows/algebra/PUSHVAR.o for package
      PushVariables
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GDMP.o for domain
      GeneralDistributedMultivariatePolynomial
   Loading c:/cvs/head/axiom/mnt/windows/algebra/DIRPCAT-.o for domain
      DirectProductCategory&
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GROEBSOL.o for package
      GroebnerSolve
   Loading c:/cvs/head/axiom/mnt/windows/algebra/POLTOPOL.o for package
      PolToPol
   Loading c:/cvs/head/axiom/mnt/windows/algebra/HDP.o for domain
      HomogeneousDirectProduct
   Loading c:/cvs/head/axiom/mnt/windows/algebra/HDMP.o for domain
      HomogeneousDistributedMultivariatePolynomial
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GB.o for package
      GroebnerPackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GBINTERN.o for package
      GroebnerInternalPackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LGROBP.o for package
      LinGroebnerPackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GENMFACT.o for package
      GeneralizedMultivariateFactorize
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MPCPF.o for package
      MPolyCatPolyFactorizer
   Loading c:/cvs/head/axiom/mnt/windows/algebra/GENUFACT.o for package
      GenUFactorize
   Loading c:/cvs/head/axiom/mnt/windows/algebra/POLY2.o for package
      PolynomialFunctions2
   Loading c:/cvs/head/axiom/mnt/windows/algebra/MPRFF.o for package
      MPolyCatRationalFunctionFactorizer
   Loading c:/cvs/head/axiom/mnt/windows/algebra/NTPOLFN.o for package
      NumberTheoreticPolynomialFunctions
   Loading c:/cvs/head/axiom/mnt/windows/algebra/PNTHEORY.o for package
      PolynomialNumberTheoryFunctions
   Loading c:/cvs/head/axiom/mnt/windows/algebra/RDETR.o for package
      TranscendentalRischDE
   Loading c:/cvs/head/axiom/mnt/windows/algebra/FSINT.o for package
      FunctionSpaceIntegration
   Loading c:/cvs/head/axiom/mnt/windows/algebra/EFSTRUC.o for package
      ElementaryFunctionStructurePackage
   Loading c:/cvs/head/axiom/mnt/windows/algebra/INTEF.o for package
      ElementaryIntegration
   Loading c:/cvs/head/axiom/mnt/windows/algebra/ZLINDEP.o for package
      IntegerLinearDependence
   Loading c:/cvs/head/axiom/mnt/windows/algebra/LINDEP.o for package
      LinearDependence
   Loading c:/cvs/head/axiom/mnt/windows/algebra/VECTOR2.o for package
      VectorFunctions2
   Loading c:/cvs/head/axiom/mnt/windows/algebra/COMBINAT.o for package
      IntegerCombinatoricFunctions
   Loading c:/cvs/head/axiom/mnt/windows/algebra/INTPAF.o for package
      PureAlgebraicIntegration
   Loading c:/cvs/head/axiom/mnt/windows/algebra/INTG0.o for package
      GenusZeroIntegration
   Loading c:/cvs/head/axiom/mnt/windows/algebra/UPCDEN.o for package
      UnivariatePolynomialCommonDenominator
   Loading c:/cvs/head/axiom/mnt/windows/algebra/CDEN.o for package
      CommonDenominator

                                               +------+
                                               | 2
                                    1     log(\|x  + 1  - x)
   (11)  [particular= 0,basis= [---------,------------------]]
                                 +------+       +------+
                                 | 2            | 2
                                \|x  + 1       \|x  + 1

Error: Caught fatal error [memory may be damaged]
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by RETURN.
Broken at APPLY.  Type :H for Help.
BOOT>>:q
(11) ->