fricas

)lib AXIOM SINF SYMCAT SYMB AND SEXPR

Axiom is now explicitly exposed in frame initial
Axiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/AXIOM.NRLIB/AXIOM
SINFunctions is now explicitly exposed in frame initial
SINFunctions will be automatically loaded when needed from
/var/aw/var/LatexWiki/SINF.NRLIB/SINF
SymbolicCategory is now explicitly exposed in frame initial
SymbolicCategory will be automatically loaded when needed from
/var/aw/var/LatexWiki/SYMCAT.NRLIB/SYMCAT
Symbolic is now explicitly exposed in frame initial
Symbolic will be automatically loaded when needed from
/var/aw/var/LatexWiki/SYMB.NRLIB/SYMB
/\ is now explicitly exposed in frame initial
/\ will be automatically loaded when needed from
/var/aw/var/LatexWiki/AND.NRLIB/AND
SymbolicExpression is now explicitly exposed in frame initial
SymbolicExpression will be automatically loaded when needed from
/var/aw/var/LatexWiki/SEXPR.NRLIB/SEXPR

fricas

)lib ALTAX ALTAX- ALT

AntiCommutativeAxiom is now explicitly exposed in frame initial
AntiCommutativeAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/ALTAX.NRLIB/ALTAX
AntiCommutativeAxiom& is now explicitly exposed in frame initial
AntiCommutativeAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/ALTAX-.NRLIB/ALTAX-
AntiCommutative is now explicitly exposed in frame initial
AntiCommutative will be automatically loaded when needed from
/var/aw/var/LatexWiki/ALT.NRLIB/ALT

fricas

)lib ASSAX ASSAX- ASSAX+ ASSAXS ASS+ ASSS

AssociativeAxiom is now explicitly exposed in frame initial
AssociativeAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/ASSAX.NRLIB/ASSAX
AssociativeAxiom& is now explicitly exposed in frame initial
AssociativeAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/ASSAX-.NRLIB/ASSAX-
AssociativeAxiom+ is now explicitly exposed in frame initial
AssociativeAxiom+ will be automatically loaded when needed from
/var/aw/var/LatexWiki/ASSAX+.NRLIB/ASSAX+
AssociativeAxiom* is now explicitly exposed in frame initial
AssociativeAxiom* will be automatically loaded when needed from
/var/aw/var/LatexWiki/ASSAXS.NRLIB/ASSAXS
Associative+ is now explicitly exposed in frame initial
Associative+ will be automatically loaded when needed from
/var/aw/var/LatexWiki/ASS+.NRLIB/ASS+
Associative* is now explicitly exposed in frame initial
Associative* will be automatically loaded when needed from
/var/aw/var/LatexWiki/ASSS.NRLIB/ASSS

fricas

)lib CANAX CANAX- CAN

CancelsAxiom is now explicitly exposed in frame initial
CancelsAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/CANAX.NRLIB/CANAX
CancelsAxiom& is now explicitly exposed in frame initial
CancelsAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/CANAX-.NRLIB/CANAX-
Cancels is now explicitly exposed in frame initial
Cancels will be automatically loaded when needed from
/var/aw/var/LatexWiki/CAN.NRLIB/CAN

fricas

)lib COMAX COMAX- COMAX+ COM+ COMAX1 COMS COMAX2 COMAX3

CommutativeAxiom is now explicitly exposed in frame initial
CommutativeAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/COMAX.NRLIB/COMAX
CommutativeAxiom& is now explicitly exposed in frame initial
CommutativeAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/COMAX-.NRLIB/COMAX-
CommutativeAxiom+ is now explicitly exposed in frame initial
CommutativeAxiom+ will be automatically loaded when needed from
/var/aw/var/LatexWiki/COMAX+.NRLIB/COMAX+
Commutative+ is now explicitly exposed in frame initial
Commutative+ will be automatically loaded when needed from
/var/aw/var/LatexWiki/COM+.NRLIB/COM+
CommutativeAxiom* is now explicitly exposed in frame initial
CommutativeAxiom* will be automatically loaded when needed from
/var/aw/var/LatexWiki/COMAX1.NRLIB/COMAX1
Commutative* is now explicitly exposed in frame initial
Commutative* will be automatically loaded when needed from
/var/aw/var/LatexWiki/COMS.NRLIB/COMS
CommutativeAxiom** is now explicitly exposed in frame initial
CommutativeAxiom** will be automatically loaded when needed from
/var/aw/var/LatexWiki/COMAX2.NRLIB/COMAX2
CommutativeAxiom/\ is now explicitly exposed in frame initial
CommutativeAxiom/\ will be automatically loaded when needed from
/var/aw/var/LatexWiki/COMAX3.NRLIB/COMAX3

fricas

)lib DBLAX DBLAX- DBL

DoublesAxiom is now explicitly exposed in frame initial
DoublesAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/DBLAX.NRLIB/DBLAX
DoublesAxiom& is now explicitly exposed in frame initial
DoublesAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/DBLAX-.NRLIB/DBLAX-
Doubles is now explicitly exposed in frame initial
Doubles will be automatically loaded when needed from
/var/aw/var/LatexWiki/DBL.NRLIB/DBL

fricas

)lib DISAX DISAX- DIS

DistributiveAxiom is now explicitly exposed in frame initial
DistributiveAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/DISAX.NRLIB/DISAX
DistributiveAxiom& is now explicitly exposed in frame initial
DistributiveAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/DISAX-.NRLIB/DISAX-
Distributive is now explicitly exposed in frame initial
Distributive will be automatically loaded when needed from
/var/aw/var/LatexWiki/DIS.NRLIB/DIS

fricas

)lib DIVAX DIVAX- DIV

DividesAxiom is now explicitly exposed in frame initial
DividesAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/DIVAX.NRLIB/DIVAX
DividesAxiom& is now explicitly exposed in frame initial
DividesAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/DIVAX-.NRLIB/DIVAX-
Divides is now explicitly exposed in frame initial
Divides will be automatically loaded when needed from
/var/aw/var/LatexWiki/DIV.NRLIB/DIV

fricas

)lib IDAXL IDAXL- LID IDAXR IDAXR- RID IDAX IDAX- ID

IdentityLeftAxiom is now explicitly exposed in frame initial
IdentityLeftAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/IDAXL.NRLIB/IDAXL
IdentityLeftAxiom& is now explicitly exposed in frame initial
IdentityLeftAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/IDAXL-.NRLIB/IDAXL-
LeftIdentities is now explicitly exposed in frame initial
LeftIdentities will be automatically loaded when needed from
/var/aw/var/LatexWiki/LID.NRLIB/LID
IdentityRightAxiom is now explicitly exposed in frame initial
IdentityRightAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/IDAXR.NRLIB/IDAXR
IdentityRightAxiom& is now explicitly exposed in frame initial
IdentityRightAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/IDAXR-.NRLIB/IDAXR-
RightIdentities is now explicitly exposed in frame initial
RightIdentities will be automatically loaded when needed from
/var/aw/var/LatexWiki/RID.NRLIB/RID
IdentityAxiom is now explicitly exposed in frame initial
IdentityAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/IDAX.NRLIB/IDAX
IdentityAxiom& is now explicitly exposed in frame initial
IdentityAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/IDAX-.NRLIB/IDAX-
Identities is now explicitly exposed in frame initial
Identities will be automatically loaded when needed from
/var/aw/var/LatexWiki/ID.NRLIB/ID

fricas

)lib INVAX INVAX- INV

InverseAxiom is now explicitly exposed in frame initial
InverseAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/INVAX.NRLIB/INVAX
InverseAxiom& is now explicitly exposed in frame initial
InverseAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/INVAX-.NRLIB/INVAX-
Inverse is now explicitly exposed in frame initial
Inverse will be automatically loaded when needed from
/var/aw/var/LatexWiki/INV.NRLIB/INV

fricas

)lib SQAX SQAX- SQ

SquaresAxiom is now explicitly exposed in frame initial
SquaresAxiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/SQAX.NRLIB/SQAX
SquaresAxiom& is now explicitly exposed in frame initial
SquaresAxiom& will be automatically loaded when needed from
/var/aw/var/LatexWiki/SQAX-.NRLIB/SQAX-
Squares is now explicitly exposed in frame initial
Squares will be automatically loaded when needed from
/var/aw/var/LatexWiki/SQ.NRLIB/SQ

Just identities for addition and multiplication (required for pattern matching)

fricas

MYSYM:=Symbolic(Integer,ID)

**Type: **Type

fricas

(x,y,z):MYSYM

**Type: **Void

fricas

x:=1+2+3

**Type: **Symbolic(Integer,Identities)

fricas

simplify x

**Type: **Symbolic(Integer,Identities)

fricas

simplify(x+y)

**Type: **Symbolic(Integer,Identities)

fricas

r1:=_rule(2,4)$RewriteRule(Integer,Integer,MYSYM)

**Type: **RewriteRule

?(Integer,

Integer,Symbolic(Integer,Identities))
fricas

z:=r1 x

**Type: **Symbolic(Integer,Identities)

fricas

simplify z

**Type: **Symbolic(Integer,Identities)