Sponsored links: Algebra eBooks
 

Related

disprule

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
matchdeclare(n, integerp, x, true);
(%o1)                                done
(%i2) defrule(fnx, f(nx), nf(x));
(%o2)                        fnx : f(nx) -> nf(x)
(%i3) disprule(all);
(%t3)                        fnx : f(nx) -> nf(x)

(%o3)                                [%t3]
(%i4) 
Run Example
matchdeclare(n, integerp, x, true);
(%o1)                                done
(%i2) defrule(fnx, f(nx), nf(x));
(%o2)                        fnx : f(nx) -> nf(x)
(%i3) disprule(all);
(%t3)                        fnx : f(nx) -> nf(x)

(%o3)                                [%t3]
(%i4) load("plotdf");
(%o4)         /usr/share/maxima/5.21.1/share/dynamics/plotdf.lisp
(%i5) 

Related Help

Help for Disprule