Sponsored links: Algebra eBooks
 

Help Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

The Maxima on-line user's manual

Algebra Calculator

Search:

Disprule 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) 

Disprule Example

Related Examples