Sponsored links: Algebra eBooks
 

Related

tellsimp

tellsimp(a*x,y+z);

Calculate

tellsimp

tellsimp(a*x,y+z);

rules;

5*x;

Calculate

tellsimp

tellsimp(a*x,y+z);

rules;

Calculate

tellsimp

tellsimp(a*x,y+z);

Calculate

tellsimp

tellsimp(a*x,y+z);

rules;

5*x;

Calculate

tellsimp

tellsimp(a*x,y+z);

rules;

Calculate

tellsimp

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) tellsimp(1/(a*b), ((1/a)*(1/b)));
(%o6)                         [/rule1, simpquot]
(%i7) 1/(a*b);
                                       1
(%o7)                                 ---
                                      a b
(%i8) disprule(all);
                                       1     1  1
(%t8)                        /rule1 : --- -> - (-)
                                      a b    a  b

(%o8)                                [%t8]
(%i9) 1/(a*b);
                                       1
(%o9)                                 ---
                                      a b
(%i10) properties("*");
(%o10)              [mirror symmetry, nary, rule, operator]
(%i11) rat(1/(a*b));
                                       1
(%o11)/R/                             ---
                                      a b
(%i12) map('ratsimp, 1/(a*b));
                                       1
(%o12)                                ---
                                      a b
(%i13) grind(1/(a*b));

1/(a*b)$
(%o13)                               done
(%i14) partfrac(1/(a*b), a);
                                     1  - 1
(%o14)                            + (- a   )
                                     b
(%i15) a^-1;
                                      - 1
(%o15)                               a
(%i16) 
Run Example
algebraic:(algebraic);
(%o1)                                false
(%i2) tellsimp(z^2,1-z);
(%o2)                         [^rule1, simpexpt]
(%i3) 1/(1+z);
                                       1
(%o3)                                -----
                                     z + 1
(%i4) 
Run Example
1/(a*b), simp:true;
                                       1
(%o1)                                 ---
                                      a b
(%i2) 1/(a*b), simp:false;
                                       1
(%o2)                                 ---
                                      a b
(%i3) matchdeclare(a, atom);
(%o3)                                done
(%i4) matchdeclare(b, atom);
(%o4)                                done
(%i5) tellsimp(1/(a*b), simp:false, ((1/a)*(1/b)));
tellsimp: warning: putting rules on '+' or '*' is inefficient, and may not work.
(%o5)                         [*rule1, simptimes]
(%i6) tellsimpafter(1/(a*b), simp:false, ((1/a)*(1/b)));
(%o6)                     [*rule2, *rule1, simptimes]
(%i7) defrule(fraction, 1/(a*b),((1/a)*(1/b))), simp:false;
                                        1
(%o7)                       fraction : --- -> false
                                       a b
(%i8) 1/(a*b), simp:false;
                                       1
(%o8)                                 ---
                                      a b
(%i9) maxapplydepth:1;
(%o9)                                  1
(%i10) newfac;
(%o10)                              newfac
(%i11) fraction(1/(a*b));
                                    1   1
(%o11)                              - (---)
                                    1  a b
(%i12) factor(1/(a*b)), simp:false;
                                       1
(%o12)                                ---
                                      a b
(%i13) ratexpand:false;
(%o13)                               false
(%i14) expandwrt_denom:true;
(%o14)                               true
(%i15) 1/(a*b), fraction;
                                       1
(%o15)                                ---
                                      a b
(%i16) 

Related Help

Help for Tellsimp