Basic REDLOG Info

valiant[85] [~/]> reduce
Loading image file: /usr/reduce/lisp/psl/solaris/red/reduce.img 
REDUCE 3.7, 15-Apr-1999 ...

1: load_package redlog;

2: rlset(OFSF);

{}

3: F := ex(x,x^2 + b*x + c = 0);

                      2
f := ex x (b*x + c + x  = 0)

4: rlqe(F);

 2
b  - 4*c >= 0

5: 

5: off nat;

6: rlqe(F);

b**2 - 4*c >= 0$

7: 

7: out tempfile;
8: rlqe(F);
9: shut tempfile;

10: bye;

Quitting