display_format_internal SciMax Toolbox dispterms

SciMax Toolbox >> disprule

disprule

Maxima Function

Calling Sequence

disprule (rulename_1, ..., rulename_2)
disprule(all)

Description

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) -> []]
display_format_internal SciMax Toolbox dispterms