help links subscribe changes refresh edit

	SandBoxSymbolicExpressions
	↑	→ SymbolicAssociativeExpressions

SandBoxSymbolicTrig

Edit detail for SandBoxSymbolicTrig revision 3 of 3

	1 2 3
Editor: Bill Page Time: 2017/02/05 21:39:51 GMT+0
Note: split identity

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

fricas

(1) -> )lib AXIOM SINF SYMCAT SYMB AND SEXPR

   >> System error:
   The value
  598
is not of type
  LIST

fricas

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

$\label{eq1}{{\cos \left({x}\right)}\ {\sin \left({y}\right)}}-{{\cos \left({y}\right)}\ {\sin \left({x}\right)}}$

(1)

Type: Expression(Integer)

fricas

t2 := - sin(x)*sin(y) + cos(x)*cos(y)

$\label{eq2}-{{\sin \left({x}\right)}\ {\sin \left({y}\right)}}+{{\cos \left({x}\right)}\ {\cos \left({y}\right)}}$

(2)

Type: Expression(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)}}-{r 3 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}\ {{\sin \left({y}\right)}^{2}}}+ \ \ \displaystyle {{\left({ \begin{array}{@{}l} \displaystyle {r 3 \ {\cos \left({y}\right)}\ {{\sin \left({x}\right)}^{2}}}-{w \ {\cos \left({a}\right)}\ {\sin \left({x}\right)}}+ \ \ \displaystyle {r 3 \ {{\cos \left({x}\right)}^{2}}\ {\cos \left({y}\right)}}+{{\cos \left({x}\right)}\ {\cos \left({x 3}\right)}}$

(3)

Type: Expression(Integer)

fricas

rs:=_rule(cos(x)*sin(y)-sin(x)*cos(y), sin(y-x))

$\label{eq4}= = \left({{{{\cos \left({x}\right)}\ {\sin \left({y}\right)}}-{{\cos \left({y}\right)}\ {\sin \left({x}\right)}}+ \%B}, \:{{\sin \left({y - x}\right)}+ \%B}}\right)$

(4)

Type: RewriteRule?(Integer,Integer,Expression(Integer))

fricas

rc:=_rule(cos(x)*cos(y)-sin(x)*sin(y), cos(x+y))

$\label{eq5}= = \left({{-{{\sin \left({x}\right)}\ {\sin \left({y}\right)}}+{{\cos \left({x}\right)}\ {\cos \left({y}\right)}}+ \%C}, \:{{\cos \left({y + x}\right)}+ \%C}}\right)$

(5)

Type: RewriteRule?(Integer,Integer,Expression(Integer))

fricas

rs t1

$\label{eq6}\sin \left({y - x}\right)$

(6)

Type: Expression(Integer)

fricas

rs t2

$\label{eq7}-{{\sin \left({x}\right)}\ {\sin \left({y}\right)}}+{{\cos \left({x}\right)}\ {\cos \left({y}\right)}}$

(7)

Type: Expression(Integer)

fricas

rc t1

$\label{eq8}{{\cos \left({x}\right)}\ {\sin \left({y}\right)}}-{{\cos \left({y}\right)}\ {\sin \left({x}\right)}}$

(8)

Type: Expression(Integer)

fricas

rc t2

$\label{eq9}\cos \left({y + x}\right)$

(9)

Type: Expression(Integer)

fricas

rc rs expr

$\label{eq10}\begin{array}{@{}l} \displaystyle {{\tan \left({q}\right)}\ {\tan \left({w}\right)}}-{r 3 \ {\cos \left({x}\right)}\ {\sin \left({x}\right)}\ {{\sin \left({y}\right)}^{2}}}+ \ \ \displaystyle {{\left({ \begin{array}{@{}l} \displaystyle {r 3 \ {\cos \left({y}\right)}\ {{\sin \left({x}\right)}^{2}}}-{w \ {\cos \left({a}\right)}\ {\sin \left({x}\right)}}+ \ \ \displaystyle {r 3 \ {{\cos \left({x}\right)}^{2}}\ {\cos \left({y}\right)}}+{{\cos \left({x}\right)}\ {\cos \left({x 3}\right)}}$

(10)

Type: Expression(Integer)