### The Maxima on-line user's manual

Algebra Calculator

#### Disprule

Function: disprule (<rulename_1>, ..., <rulename_2>)

Function: disprule (all) Display rules with the names <rulename_1>, ..., <rulename_n>, as returned by `defrule`, `tellsimp`, or `tellsimpafter`, or a pattern defined by `defmatch`. Each rule is displayed with an intermediate expression label (`%t`).

`disprule (all)` displays all rules.

`disprule` quotes its arguments. `disprule` returns the list of intermediate expression labels corresponding to the displayed rules.

See also `letrules`, which displays rules defined by `let`.

Examples:

```          (%i1) tellsimpafter (foo (x, y), bar (x) + baz (y));
(%o1)                   [foorule1, false]
(%i2) tellsimpafter (x + y, special_add (x, y));
(%o2)                   [+rule1, simplus]
(%i3) defmatch (quux, mumble (x));
(%o3)                         quux
(%i4) disprule (foorule1, "+rule1", quux);
(%t4)        foorule1 : foo(x, y) -> baz(y) + bar(x)```

`          (%t5)          +rule1 : y + x -> special_add(x, y)`

`          (%t6)                quux : mumble(x) -> []`

```          (%o6)                    [%t4, %t5, %t6]
(%i6) %;
(%o6) [foorule1 : foo(x, y) -> baz(y) + bar(x),
+rule1 : y + x -> special_add(x, y), quux : mumble(x) -> []]```

```(%o1)                                true
(%i2) ```

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

simp:false;

1/a, simp:false;

Calculate

simp:false;

1/a, simp:false;

Calculate

simp:false;

1/a, simp:false;

Calculate