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:

Not

-- Operator: not The logical negation operator. not is a prefix operator; its operand is a Boolean expression, and its result is a Boolean value.

not forces evaluation (like is) of its operand.

load(functs);
sqrtdispflag:false;
isolate_wrt_times:true;
expr:sqrt(a*x^2 + b*x + 3*x), factor, expand;
maplist(lambda([y], if(not(freeof(x, y))) then isolate(y, x) else y), expr);

The global flag prederror governs the behavior of not when its operand cannot be determined to be true or false. not prints an error message when prederror is true. Otherwise, operands which do not evaluate to true or false are accepted, and the result is a Boolean expression.

There are also some inexact matches for not. Try ?? not to see them.

(%o1)                                true
(%i2) 

Related Examples

not-or-true

f:a0 and a1;

f,...

f:a0 and a2;

Calculate

not

not (a,b);

Calculate

not-true

o0:not(a0 and a1 and ...

o0: a0 = false, a1=fa...

o0: a0 = false, a1=fa...

Calculate

not-or-true

centre_left:(d)or(c a...

centre_left,d=false,c...

centre_left,d=false,c...

Calculate

not

not(3 = 4);

Calculate

not-or

f:a0 and a1;

f,...

f:a0 and a2;

Calculate

not-or-true

f:a0 and a1;

f,...

f:a0 and a2;

Calculate

not-or-true

centre_left:(d)or(c a...

centre_left,d=false,c...

centre_left,d=false,c...

Calculate

not

W:not(Spr and Sum and...

Sp:not(Sum and Fall a...

Su:not(Fall and Win a...

Calculate

not-or

f:a0 and a1;

f,...

f:a0 and a2;

Calculate