1 lisp> NIL
2 lisp> NIL
3 lisp> 4
4 lisp> NIL
5 lisp> NIL
6 lisp> "man1res"
7 lisp> Now input in-variables and ideal generators in algebraic form, thus:
        vars v1, ..., vn;
        r1, ..., rm;
where v1, ..., vn are the variables, and r1, ..., rm the generators.
algebraic form (noncomm.) input> vars x,y;
algebraic form (noncomm.) input> x*y;
Anick's resolution initialization...
B(1,1)=2
Anick's resolution initialization done.
+t^2*(z^2)
% 2
x*y,

Calculating Anick's resolution in degree 2...
B(1,1)=2
B(2,2)=1
    0   1   2
  +----------
0 | 1   2   1
1 | -   -
end of Calculations.
Done
 - All is OK (I hope). Now you may (e. g.):
   - kill bergman with (QUIT); or
   - interrupt bergman with ^Z; or
   - clear the memory with (CLEARALL), and run a new (SIMPLE).
nil
8 lisp> Calculating Anick's resolution in degree 3...
B(1,1)=2
B(2,2)=1
    0   1   2
  +----------
0 | 1   2   1
1 | -   -
end of Calculations.
Calculating Anick's resolution in degree 4...
B(1,1)=2
B(2,2)=1
    0   1   2
  +----------
0 | 1   2   1
1 | -   -
end of Calculations.
NIL
9 lisp> 
7
10 lisp>
