Example AXIOM session

lxpub01:~ > axiom
AXIOM Computer Algebra System
Version: Axiom (March 2009)
Timestamp: Sunday May 31, 2009 at 13:57:19
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave AXIOM and return to shell.
—————————————————————————–
Re-reading compress.daase Re-reading interp.daase
Re-reading operation.daase
Re-reading category.daase
Re-reading browse.daase
(1) ->
(1) -> (a+b)^3
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/INT.o
for domain Integer
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/POLY.o
for domain Polynomial
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SYMBOL.o
for domain Symbol
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/REF.o
for domain Reference
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ALIST.o
for domain AssociationList
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/STAGG-.o
for domain StreamAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ELAGG-.o
for domain ExtensibleLinearAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/URAGG-.o

for domain UnaryRecursiveAggregate&

Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/RCAGG-.o
for domain RecursiveAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/IXAGG-.o
for domain IndexedAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/CLAGG-.o
for domain Collection&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/BOOLEAN.o
for domain Boolean

Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/UDPO.o
for package UserDefinedPartialOrdering
3 2 2 3
(1) b + 3a b + 3a b + a
Type: Polynomial Integer
(2) -> )quit
Please enter y or yes if you really want to leave the interactive
environment and return to the operating system:
y

lxpub01:~ > Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/LIST.o
for domain List
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/STRING.o
for domain String
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/CHAR.o
for domain Character
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SINT.o
for domain SingleInteger
Loading

/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/OUTFORM.o
for domain OutputForm
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/PRIMARR.o
for domain PrimitiveArray
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/A1AGG-.o
for domain OneDimensionalArrayAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ISTRING.o
for domain IndexedString
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SRAGG-.o
for domain StringAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/FLAGG-.o
for domain FiniteLinearAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/LNAGG-.o
for domain LinearAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SMP.o
for domain SparseMultivariatePolynomial
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SUP.o
for domain SparseUnivariatePolynomial

Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SAOS.o
for domain SingletonAsOrderedSet
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/NNI.o
for domain NonNegativeInteger
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/UPMP.o
for package UnivariatePolynomialMultiplicationPackage
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/PR.o
for domain PolynomialRing

Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/FM.o
for domain FreeModule
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/IDPAG.o
for domain IndexedDirectProductAbelianGroup
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/IDPAM.o
for domain IndexedDirectProductAbelianMonoid
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/IDPO.o
for domain IndexedDirectProductObject
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/UPOLYC-.o
for domain UnivariatePolynomialCategory&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/POLYCAT-.o
for domain PolynomialCategory&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/FAMR-.o
for domain FiniteAbelianMonoidRing&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ILIST.o
for domain IndexedList
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/LSAGG-.o
for domain ListAggregate&

Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/STAGG-.o
for domain StreamAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ELAGG-.o
for domain ExtensibleLinearAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/STAGG-.o
for domain StreamAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ELAGG-.o

for domain StreamAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ELAGG-.o
for domain ExtensibleLinearAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/URAGG-.o
for domain UnaryRecursiveAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/RCAGG-.o
for domain RecursiveAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/IXAGG-.o
for domain IndexedAggregate&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/CLAGG-.o
for domain Collection&
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/BOOLEAN.o
for domain Boolean
Loading
/afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/UDPO.o
for package UserDefinedPartialOrdering
3 2 2 3
(1) b + 3a b + 3a b + a
Type: Polynomial Integer
(2) -> )quit
Please enter y or yes if you really want to leave the interactive
environment and return to the operating system:
y

lxpub01:~ >