Loading image file :/home/matte/joeb/GB/Devbm/V1.001/bin/Linux_elf/bergman.img 
Bergman 1.001, 16-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,
   -z^2+y*x,
   a*x,
   a*y,
   a*z,
   
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.
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.

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 4...
***** No prolongation found in anPROLONGCHAIN
Break loop
6 lisp break (1) > Backtrace, including interpreter functions, from top of stack:
interpbacktrace top-loop-eval-and-print error !A!N!D!Iinteg 
!A!N!I!Fr!E!S!O!L!U!T!I!O!Nf!I!Xd!E!G!R!E!E calculateanickresolutiontolimit 
top-loop-eval-and-print standardlisp 
nil
7 lisp break (1) > 
Quitting
