[Gcl-devel] Re: Axiom on Windows

[Camm Maguire]

Greetings!  Mike this is very exciting!  Someone should back off the C
optimization with an --enable-debug GCL build, and report any
persisting segfault with a gdb backtrace, time of course permitting!

Such an example might even run under wine, as it does not fork any
subprocesses. 

Take care,

"Mike Thomas" <address@hidden> writes:

> 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) ->
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah