QUOTE QUOTE SciMax Toolbox STAR STAR

SciMax Toolbox >> SHARP

SHARP

Maxima Operator

Calling Sequence

#

Description

Represents the negation of syntactic equality =.

Note that because of the rules for evaluation of predicate expressions (in particular because not expr causes evaluation of expr), not a = b is equivalent to is(a # b), instead of a # b.

Examples:

(%i1) a = b;
(%o1)                         a = b
(%i2) is (a = b);
(%o2)                         false
(%i3) a # b;
(%o3)                         a # b
(%i4) not a = b;
(%o4)                         true
(%i5) is (a # b);
(%o5)                         true
(%i6) is (not a = b);
(%o6)                         true
QUOTE QUOTE SciMax Toolbox STAR STAR