Loading image file :/home/matte/joeb/GB/Devbm/V1.001/bin/Linux_elf/bergman.img 
Bergman 1.001, 17-Aug-20
1 lisp> nil
2 lisp> nil
3 lisp> nil
4 lisp> 
*** We turn on the MODULE mode

*** We turn on PBSERIES
Input the Maximum Degree you want to calculate
4 lisp> Input the number of the module variables
4 lisp> Now input all ring and then all module variables.
Input  the ring ideal and module relations in algebraic form  thus:
      vars v1, ..., vn;
       r1, ..., rm;
where v1, ..., vn are all the variables, and r1, ..., rm the  relations.
algebraic form input> algebraic form input> SetupGlobals
 ... done
The Anick resolution initialization...
B(0,0)=1
The Anick resolution initialization done.
% 2
x*y,
   y*x-z^2,
   a*z,
   a*x,
   a*y,
   
Calculating the module Anick resolution in degree 2...
B(0,0)=1
B(1,1)=3
    0   1   2
  +----------
0 | 1   3
1 | -
end of Calculations.
% 3
z^2*y,
   x*z^2,
   
Calculating the module Anick resolution in degree 3...
B(0,0)=1
B(1,1)=3
B(2,2)=2
    0   1   2   3
  +--------------
0 | 1   3   2
1 | -   -
2 | -
end of Calculations.
% 4
z^4,
   
Calculating the module Anick resolution in degree 4...
B(0,0)=1
B(1,1)=3
B(2,2)=2
    0   1   2   3
  +--------------
0 | 1   3   2
1 | -   -
2 | -
end of Calculations.
Calculating the module Anick resolution in degree 5...
B(0,0)=1
B(1,1)=3
B(2,2)=2
    0   1   2   3
  +--------------
0 | 1   3   2
1 | -   -
2 | -
end of Calculations.

Groebner basis is finite.
If you want to continue calculations until the maximal degree
type (CALCULATEANICKRESOLUTIONTOLIMIT (GETMAXDEG))
nil
5 lisp> Calculating the module Anick resolution in degree 6...
B(0,0)=1
B(1,1)=3
B(2,2)=2
B(3,5)=2
    0   1   2   3   4   5   6
  +--------------------------
0 | 1   3   2   -   -   -
1 | -   -   -   -   -
2 | -   -   -   2
3 | -   -   -
4 | -   -
5 | -
end of Calculations.
Calculating the module Anick resolution in degree 7...
B(0,0)=1
B(1,1)=3
B(2,2)=2
B(3,5)=2
B(4,6)=3
    0   1   2   3   4   5   6   7
  +------------------------------
0 | 1   3   2   -   -   -   -
1 | -   -   -   -   -   -
2 | -   -   -   2   3
3 | -   -   -   -
4 | -   -   -
5 | -   -
6 | -
end of Calculations.
Calculating the module Anick resolution in degree 8...
B(0,0)=1
B(1,1)=3
B(2,2)=2
B(3,5)=2
B(4,6)=3
B(5,7)=2
    0   1   2   3   4   5   6   7   8
  +----------------------------------
0 | 1   3   2   -   -   -   -   -
1 | -   -   -   -   -   -   -
2 | -   -   -   2   3   2
3 | -   -   -   -   -
4 | -   -   -   -
5 | -   -   -
6 | -   -
7 | -
end of Calculations.
Calculating the module Anick resolution in degree 9...
B(0,0)=1
B(1,1)=3
B(2,2)=2
B(3,5)=2
B(4,6)=3
B(5,7)=2
    0   1   2   3   4   5   6   7   8
  +----------------------------------
0 | 1   3   2   -   -   -   -   -
1 | -   -   -   -   -   -   -
2 | -   -   -   2   3   2
3 | -   -   -   -   -
4 | -   -   -   -
5 | -   -   -
6 | -   -
7 | -
end of Calculations.
Calculating the module Anick resolution in degree 10...
B(0,0)=1
B(1,1)=3
B(2,2)=2
B(3,5)=2
B(4,6)=3
B(5,7)=2
    0   1   2   3   4   5   6   7   8
  +----------------------------------
0 | 1   3   2   -   -   -   -   -
1 | -   -   -   -   -   -   -
2 | -   -   -   2   3   2
3 | -   -   -   -   -
4 | -   -   -   -
5 | -   -   -
6 | -   -
7 | -
end of Calculations.
Calculating the module Anick resolution in degree 11...
B(0,0)=1
B(1,1)=3
B(2,2)=2
B(3,5)=2
B(4,6)=3
B(5,7)=2
B(6,10)=2
    0   1   2   3   4   5   6   7   8   9   10  11
  +----------------------------------------------
0 | 1   3   2   -   -   -   -   -   -   -   -
1 | -   -   -   -   -   -   -   -   -   -
2 | -   -   -   2   3   2   -   -   -
3 | -   -   -   -   -   -   -   -
4 | -   -   -   -   -   -   2
5 | -   -   -   -   -   -
6 | -   -   -   -   -
7 | -   -   -   -
8 | -   -   -
9 | -   -
10| -
end of Calculations.
Calculating the module Anick resolution in degree 12...
B(0,0)=1
B(1,1)=3
B(2,2)=2
B(3,5)=2
B(4,6)=3
B(5,7)=2
B(6,10)=2
B(7,11)=3
    0   1   2   3   4   5   6   7   8   9   10  11  12
  +--------------------------------------------------
0 | 1   3   2   -   -   -   -   -   -   -   -   -
1 | -   -   -   -   -   -   -   -   -   -   -
2 | -   -   -   2   3   2   -   -   -   -
3 | -   -   -   -   -   -   -   -   -
4 | -   -   -   -   -   -   2   3
5 | -   -   -   -   -   -   -
6 | -   -   -   -   -   -
7 | -   -   -   -   -
8 | -   -   -   -
9 | -   -   -
10| -   -
11| -
end of Calculations.
nil
6 lisp> Backtrace, including interpreter functions, from top of stack:
interpbacktrace top-loop-eval-and-print standardlisp 
nil
7 lisp> 
Quitting
