

last edited 6 years ago by Bill Page 
1 2  
Editor: Bill Page
Time: 2017/02/05 21:40:29 GMT+0 

Note: 
changed: )lib IDAX IDAX ID )lib IDAXL IDAXL LID IDAXR IDAXR RID IDAX IDAX ID
)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
)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
)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
)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
)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
)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
)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
)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
)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
)lib INVAX INVAX INV
>> System error: invalid number of arguments: 1
Just identities for addition and multiplication (required for pattern matching)
MYSYM:=Symbolic(Integer,ID)
Although Identity is the name of a constructor,a full type must be specified in the context you have used it. Issue )show Identity for more information.
x:=1+2+3
>> System error: invalid number of arguments: 1
r1:=_rule(2,4)$RewriteRule(Integer, Integer, MYSYM)
MYSYM is not a valid type.