Sponsored links: Algebra eBooks
 

Related

clear_rules

Run Example
(%i1)simp:false;
(%o1)                                false
(%i2) radexpand:false;
(%o2)                                false
(%i3) 1/a, simp:false;
                                       1
(%o3)                                  -
                                       a
(%i4) 1/b, simp:false;
                                       1
(%o4)                                  -
                                       b
(%i5) 1/(a*b), simp:false;
                                       1
(%o5)                                 ---
                                      a b
(%i6) clear_rules();
(%o6)                                false
(%i7) tellsimpafter(1/(a*b), ((1/a)*(1/b)));
(%o7)                         [/rule1, simpquot]
(%i8) 1/(a*b);
                                       1
(%o8)                                 ---
                                      a b
(%i9) disprule(all);
                                       1     1  1
(%t9)                        /rule1 : --- -> - (-)
                                      a b    a  b

(%o9)                                [%t9]
(%i10) 1/(a*b), simp:true;
                                       1
(%o10)                                ---
                                      a b
(%i11) properties("*");
(%o11)              [mirror symmetry, nary, rule, operator]
(%i12) rat(1/(a*b));
                                       1
(%o12)/R/                             ---
                                      a b
(%i13) map('ratsimp, 1/(a*b));
                                       1
(%o13)                                ---
                                      a b
(%i14) grind(1/(a*b));

1/(a*b)$
(%o14)                               done
(%i15) partfrac(1/(a*b), a);
                                     1  - 1
(%o15)                            + (- a   )
                                     b
(%i16) part(1/(a*b), 0);
(%o16)                                 /
(%i17) (1/a)*(1/b);
                                     1  1
(%o17)                               - (-)
                                     a  b
(%i18) 
Run Example
kill(x, a);
(%o1)                                done
(%i2) tellsimp(sin(x)^2, 1 - cos(x)^2);
(%o2)                         [^rule1, simpexpt]
(%i3) 1+sin(x)^2;
                                         2
(%o3)                             2 - cos (x)
(%i4) clear_rules();
(%o4)                                false
(%i5) tellsimp(cos(x)^2, 1 - sin(x)^2);
(%o5)                         [^rule1, simpexpt]
(%i6) 1+cos(x)^2;
                                         2
(%o6)                             2 - sin (x)
(%i7) tellsimp(csc(x), 1/sin(x));
(%o7)                        [cscrule1, simp-%csc]
(%i8) csc(x);
                                      1
(%o8)                               ------
                                    sin(x)
(%i9) 
Run Example
simp:false;
(%o1)                                false
(%i2) radexpand:false;
(%o2)                                false
(%i3) 1/a, simp:false;
                                       1
(%o3)                                  -
                                       a
(%i4) 1/b, simp:false;
                                       1
(%o4)                                  -
                                       b
(%i5) 1/(a*b), simp:false;
                                       1
(%o5)                                 ---
                                      a b
(%i6) clear_rules();
(%o6)                                false
(%i7) tellsimpafter(1/(a*b), ((1/a)*(1/b)));
(%o7)                         [/rule1, simpquot]
(%i8) 1/(a*b);
                                       1
(%o8)                                 ---
                                      a b
(%i9) defrule(fraction, 1/(a*b), ((1/a)*(1/b)));
                                        1     1  1
(%o9)                       fraction : --- -> - (-)
                                       a b    a  b
(%i10) disprule(all);
                                       1     1  1
(%t10)                       /rule1 : --- -> - (-)
                                      a b    a  b

                                        1     1  1
(%t11)                      fraction : --- -> - (-)
                                       a b    a  b

(%o11)                           [%t10, %t11]
(%i12) 1/(a*b), simp:true;
                                       1
(%o12)                                ---
                                      a b
(%i13) properties("*");
(%o13)              [mirror symmetry, nary, rule, operator]
(%i14) rat(1/(a*b));
                                       1
(%o14)/R/                             ---
                                      a b
(%i15) map('ratsimp, 1/(a*b));
                                       1
(%o15)                                ---
                                      a b
(%i16) grind(1/(a*b));

1/(a*b)$
(%o16)                               done
(%i17) partfrac(1/(a*b), a);
                                     1  - 1
(%o17)                            + (- a   )
                                     b
(%i18) part(1/(a*b), 0);
(%o18)                                 /
(%i19) (1/a)*(1/b);
                                     1  1
(%o19)                               - (-)
                                     a  b
(%i20) (1/(a*b));
                                       1
(%o20)                                ---
                                      a b
(%i21) fraction(1/(a*b));
                                     1  1
(%o21)                               - (-)
                                     a  b
(%i22) 

Related Help

Help for Clear_rules