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:

Prederror

-- Option variable: prederror Default value: false

When prederror is true, an error message is displayed whenever the predicate of an if statement or an is function fails to evaluate to either true or false.

assume (xx > 0, yy < -1, zz >= 0);
 assume (aa < bb and bb < cc);
 facts ();
 is (xx > yy);
 is (yy < -yy);
 is (sinh (bb - aa) > 0);
 forget (bb > aa);
 prederror : false;
 is (sinh (bb - aa) > 0);
 is (bb^2 < cc^2);

If false, unknown is returned instead in this case. The prederror: false mode is not supported in translated code; however, maybe is supported in translated code.

See also is and maybe.

(%o1)                                true
(%i2) 

Related Examples

prederror

? prederror;

Calculate

prederror

? prederror;

Calculate