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-
   Identity is now explicitly exposed in frame initial 
   Identity will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/ID.NRLIB/ID
fricas
)lib INVAX INVAX- INV
   >> System error:
   invalid number of arguments: 1
fricas
t1 := cos(x)*sin(y) - cos(y)*sin(x)
   >> System error:
   invalid number of arguments: 1