help links subscribe changes refresh edit

	SandBoxSymbolicExpressions
	↑	→ SymbolicAssociativeExpressions

SandBoxSymbolicTrig

Edit detail for SandBoxSymbolicTrig revision 2 of 3

	1 2 3
Editor: Bill Page Time: 2017/02/03 19:39:45 GMT+0
Note: trig patterns

changed:
-)lib AXIOM SYMB AND COMAX COMAX+ COM+ COMAX1 ALTAX ALT COMS ASSAX ASSAX+ ASSAXS ASS+ ASSS DISAX DIS IDAX ID DIVAX SQAX SQ DIV DBLAX DBL INVAX INV CANAX CAN SEXPR
)lib AXIOM SINF SYMCAT SYMB AND SEXPR
)lib ALTAX ALTAX- ALT
)lib ASSAX ASSAX- ASSAX+ ASSAXS ASS+ ASSS
)lib CANAX CANAX- CAN
)lib COMAX COMAX- COMAX+ COM+ COMAX1 COMS COMAX2 COMAX3
)lib DBLAX DBLAX- DBL
)lib DISAX DISAX- DIS
)lib DIVAX DIVAX- DIV
)lib IDAX IDAX- ID
)lib INVAX INVAX- INV
)lib SQAX SQAX- SQ

changed:
-x+y/z
t1 := cos(x)*sin(y) - cos(y)*sin(x)
t2 := - sin(x)*sin(y) + cos(x)*cos(y)
expr := tan(q)*tan(w) + t1*cos(x3) + t2*w*cos(a) + r3*t1*t2 + 5
rs:=_rule(cos(x)*sin(y)-sin(x)*cos(y), sin(y-x))
rc:=_rule(cos(x)*cos(y)-sin(x)*sin(y), cos(x+y))
rs t1
rs t2
rc t1
rc t2
rc rs expr

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 IDAX IDAX- ID

   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)