~sveta/bergmanForRoos/bin/Linux_elf/bergman 
Loading image file :/home/guests/sveta/bergmanForRoos/bin/Linux_elf/bergman0.94.img 
, 11-Jun-20
1 lisp> (load nbig)(on nobignum)
(twomodbettinumbers) 6 1 1
vars x,y,X,Y,r,l; x*x-y*y, x*X-X*x, y*Y-Y*y, x*Y-Y*x, y*X-X*y,
r*x-r*X, r*y-r*Y, x*l-X*l, y*l-Y*l, X*X-Y*Y;
(interpbacktrace)
SetupGlobals
 ... done
nil
nil
3 lisp> 
*** We turn on the TWOMODULES mode
*** We turn on noncommutativity
Input the Maximum Degree you want to calculate
Input the number of the right  module variables
Input the number of the left  module variables
Now input all ring and then all module variables.
Right module variables should be before the left ones.
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> The Anick resolution initialization (for two modules)...
The Anick resolution initialization done.
+t^2*(10*z^2)
% 2
-y^2+x^2,
   -X*x+x*X,
   -X*y+y*X,
   -X*l+x*l,
   -Y*x+x*Y,
   -Y*y+y*Y,
   -Y^2+X^2,
   -Y*l+y*l,   -r*Y+r*y,
   
*** Garbage collection starting 
*** GC 1 19-Jun-2002 17:21:30, 10 ms (0%), 61129 occupied, 1563865 free
Calculating the module Anick resolution in degree 2...
B(0,0)=1
    0   1   2
  +----------
0 | 1
end of Calculations.
+t^3*(6*z^2+14*z^3)
% 3
y*x^2-x^2*y,
   Y*X^2-X^2*Y,
   r*x*X-r*x^2,
   -r*y*x+r*x*Y,
   r*y*X-r*x*y,
   r*y*Y-r*x^2,
   
*** Garbage collection starting 
*** GC 2 19-Jun-2002 17:21:30, 0 ms (0%), 62511 occupied, 1562480 free
Calculating the module Anick resolution in degree 3...
B(0,0)=1
B(0,1)=2
B(1,1)=2
    0   1   2   3
  +--------------
0 | 1   2
1 | 2
end of Calculations.
+t^4*(4*z^2+19*z^3+14*z^4)
% 4
r*x^2*X-r*x^3,
   -r*x^2*Y+r*x^2*y,
   r*x*y*X-r*x^2*y,
   r*x*Y*X-r*x*y*x,
   
*** Garbage collection starting 
*** GC 3 19-Jun-2002 17:21:30, 0 ms (0%), 64633 occupied, 1560357 free
Calculating the module Anick resolution in degree 4...
B(0,0)=1
B(0,1)=2
B(1,1)=2
B(0,2)=2
B(1,2)=2
    0   1   2   3   4
  +------------------
0 | 1   2   -
1 | 2   2
2 | 2
end of Calculations.
+t^5*(7*z^2+15*z^3+22*z^4+16*z^5)
% 5
r*x^3*X-r*x^4,
   -r*x^2*y*x+r*x^3*Y,
   r*x^2*y*X-r*x^3*y,
   r*x^2*y*Y-r*x^4,
   r*x*y*x*X-r*x^3*Y,
   r*x*y*x*l-r*x^2*y*l,
   r*x*y*Y*X-r*x*y*x*y,
   
*** Garbage collection starting 
*** GC 4 19-Jun-2002 17:21:30, 0 ms (0%), 67067 occupied, 1557922 free
Calculating the module Anick resolution in degree 5...
B(0,0)=1
B(0,1)=2
B(1,1)=2
B(0,2)=2
B(1,2)=2
B(0,3)=2
B(1,3)=2
    0   1   2   3   4   5
  +----------------------
0 | 1   2   -   -
1 | 2   2   -
2 | 2   2
3 | 2
end of Calculations.
+t^6*(6*z^2+19*z^3+19*z^4+27*z^5+18*z^6)
% 6
r*x^4*X-r*x^5,
   -r*x^4*Y+r*x^4*y,
   r*x^3*y*X-r*x^4*y,
   r*x^3*Y*X-r*x^3*y*x,
   r*x*y*x*y*X-r*x^3*y*Y,
   r*x*y*x*Y*X-r*x*y*x*y*x,
   
*** Garbage collection starting 
*** GC 5 19-Jun-2002 17:21:30, 10 ms (20%), 71141 occupied, 1553846 free
Calculating the module Anick resolution in degree 6...
B(0,0)=1
B(0,1)=2
B(1,1)=2
B(0,2)=2
B(1,2)=2
B(0,3)=2
B(1,3)=2
B(0,4)=3
B(1,4)=4
B(2,4)=1
    0   1   2   3   4   5   6
  +--------------------------
0 | 1   2   -   -   -
1 | 2   2   -   -
2 | 2   2   1
3 | 2   4
4 | 3
end of Calculations.

nil

   -r*X+r*x,
