simp:false;

1/a, simp:false;

Calculate

simp:false;

1/a, simp:false;

Calculate

simp:false;

1/a, simp:false;

Calculate

simp:false;

1/a, simp:false;

Calculate

simp:false;

1/a, simp:false;

Calculate

simp:false;

1/a, simp:false;

Calculate

disprule(all);

Calculate

simp:false;

1/a, simp:false;

Calculate

simp:false;

1/a, simp:false;

Calculate

simp:false;

1/a, simp:false;

Calculate

### disprule

Run Example
```(%i1)simp:false;
(%o1)                                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]