Maxima Function
disprule (rulename_1, ..., rulename_2)
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 , which displays rules defined by .
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) -> []]