login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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 (x,y,z):SEXPR INT
Type: Void

fricas
t1 := cos(x)*sin(y) - cos(y)*sin(x)

\label{eq1}{{\cos \left({x}\right)}\ {\sin \left({y}\right)}}-{{\sin \left({x}\right)}\ {\cos \left({y}\right)}}(1)
Type: SymbolicExpression?(Integer)
fricas
t2 := - sin(x)*sin(y) + cos(x)*cos(y)

\label{eq2}{{\cos \left({x}\right)}\ {\cos \left({y}\right)}}-{{\sin \left({x}\right)}\ {\sin \left({y}\right)}}(2)
Type: SymbolicExpression?(Integer)
fricas
expr := tan(q)*tan(w) + t1*cos(x3) + t2*w*cos(a) + r3*t1*t2 + 5

\label{eq3}\begin{array}{@{}l}
\displaystyle
{{\tan \left({q}\right)}\ {\tan \left({w}\right)}}+{{\left({{\cos \left({x}\right)}\ {\sin \left({y}\right)}}-{{\sin \left({x}\right)}\ {\cos \left({y}\right)}}\right)}\ {\cos \left({x 3}\right)}}+ 
\
\
\displaystyle
{{\left({{\cos \left({x}\right)}\ {\cos \left({y}\right)}}-{{\sin \left({x}\right)}\ {\sin \left({y}\right)}}\right)}\  w \ {\cos \left({a}\right)}}+ 
\
\
\displaystyle
{{\left({{\cos \left({x}\right)}\ {\sin \left({y}\right)}}-{{\sin \left({x}\right)}\ {\cos \left({y}\right)}}\right)}\ {\left({{\cos \left({x}\right)}\ {\cos \left({y}\right)}}-{{\sin \left({x}\right)}\ {\sin \left({y}\right)}}\right)}\  r 3}+ 
\
\
\displaystyle
5 
(3)
Type: SymbolicExpression?(Integer)
fricas
rs:=_rule(cos(x)*sin(y)-sin(x)*cos(y), sin(y-x))

\label{eq4}{{{\cos \left({x}\right)}\ {\sin \left({y}\right)}}-{{\sin \left({x}\right)}\ {\cos \left({y}\right)}}}\mbox{\rm = =}{\sin \left({y - x}\right)}(4)
Type: RewriteRule?(Integer,Integer,SymbolicExpression?(Integer))
fricas
rc:=_rule(cos(x)*cos(y)-sin(x)*sin(y), cos(x+y))

\label{eq5}{{{\cos \left({x}\right)}\ {\cos \left({y}\right)}}-{{\sin \left({x}\right)}\ {\sin \left({y}\right)}}}\mbox{\rm = =}{\cos \left({x + y}\right)}(5)
Type: RewriteRule?(Integer,Integer,SymbolicExpression?(Integer))
fricas
rs t1

\label{eq6}\sin \left({y - x}\right)(6)
Type: SymbolicExpression?(Integer)
fricas
rs t2

\label{eq7}{{\cos \left({x}\right)}\ {\cos \left({y}\right)}}-{{\sin \left({x}\right)}\ {\sin \left({y}\right)}}(7)
Type: SymbolicExpression?(Integer)
fricas
rc t1

\label{eq8}{{\cos \left({x}\right)}\ {\sin \left({y}\right)}}-{{\sin \left({x}\right)}\ {\cos \left({y}\right)}}(8)
Type: SymbolicExpression?(Integer)
fricas
rc t2

\label{eq9}\cos \left({x + y}\right)(9)
Type: SymbolicExpression?(Integer)
fricas
rc rs expr

\label{eq10}\begin{array}{@{}l}
\displaystyle
{{\tan \left({q}\right)}\ {\tan \left({w}\right)}}+{{\sin \left({y - x}\right)}\ {\cos \left({x 3}\right)}}+{{\cos \left({x + y}\right)}\  w \ {\cos \left({a}\right)}}+ 
\
\
\displaystyle
{{\sin \left({y - x}\right)}\ {\cos \left({x + y}\right)}\  r 3}+ 5 
(10)
Type: SymbolicExpression?(Integer)




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: