[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] RE: Axiom on Windows
From: |
Mike Thomas |
Subject: |
[Gcl-devel] RE: Axiom on Windows |
Date: |
Tue, 8 Jun 2004 16:51:30 +1000 |
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) ->