Loading image file :/home/matte/joeb/GB/Devbm/V0.951/bin/Linux_elf/bergman0.951.img 
Bergman 0.951, 23-Jun-20
1 lisp> 1 lisp> 1 lisp> nil
2 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> SetupGlobals
 ... done
The Anick resolution initialization (for two modules)...
The Anick resolution initialization done.
+t^2*(3*z^2)
% 2
-y^2+x^2,
   -Y*x+x*Y,
   -r*Y+r*y,
   
*** Garbage collection starting 
*** GC 1 23-Jun-2002 17:08:57, 0 ms (0%), 60890 occupied, 1564104 free
Calculating the module Anick resolution in degree 2...
B(0,0)=1
    0   1   2
  +----------
0 | 1
end of Calculations.
+t^3*(2*z^2+2*z^3)
% 3
y*x^2-x^2*y,
   -r*y*x+r*x*Y,
   
*** Garbage collection starting 
*** GC 2 23-Jun-2002 17:08:57, 10 ms (0%), 61190 occupied, 1563802 free
Calculating the module Anick resolution in degree 3...
anLESSCHAIN <-- rYx, ry*x
anLESSCHAIN --> 2.
anPROLONGCHAIN <-- r:y*x
anPROLONGCHAIN --> ry*x:1
anLESSCHAIN <-- r, r
anLESSCHAIN --> 1.
anLESSCHAIN <-- rY, ry*x
anLESSCHAIN --> 2.
B(0,0)=1
B(0,1)=2
    0   1   2   3
  +--------------
0 | 1   -
1 | 2
end of Calculations.
+t^4*(z^2+2*z^3+z^4)
% 4
-r*x^2*Y+r*x^2*y,
   
*** Garbage collection starting 
*** GC 3 23-Jun-2002 17:08:57, 0 ms (0%), 61604 occupied, 1563387 free
Calculating the module Anick resolution in degree 4...
anLESSCHAIN <-- ry*xx, rx^2*Y
anLESSCHAIN --> 2.
anPROLONGCHAIN <-- r:x^2*Y
anPROLONGCHAIN --> rx^2*Y:1
anLESSCHAIN <-- r, r
anLESSCHAIN --> 1.
anLESSCHAIN <-- ry*x, rx^2*Y
anLESSCHAIN --> 2.
B(0,0)=1
B(0,1)=2
B(0,2)=4
    0   1   2   3   4
  +------------------
0 | 1   -   -
1 | 2   -
2 | 4
end of Calculations.
+t^5*(z^2+z^3+z^4+z^5)
% 5
-r*x^2*y*x+r*x^3*Y,
   
*** Garbage collection starting 
*** GC 4 23-Jun-2002 17:08:57, 0 ms (0%), 62172 occupied, 1562818 free
Calculating the module Anick resolution in degree 5...
anLESSCHAIN <-- rx^2*Yx, rx^2*y*x
anLESSCHAIN --> 2.
anPROLONGCHAIN <-- r:x^2*y*x
anPROLONGCHAIN --> rx^2*y*x:1
anLESSCHAIN <-- r, r
anLESSCHAIN --> 1.
anLESSCHAIN <-- rx^2*Y, rx^2*y*x
anLESSCHAIN --> 2.
B(0,0)=1
B(0,1)=2
B(0,2)=4
B(0,3)=8
    0   1   2   3   4   5
  +----------------------
0 | 1   -   -   -
1 | 2   -   -
2 | 4   -
3 | 8
end of Calculations.
+t^6*(z^2+z^3+z^5+z^6)
% 6
-r*x^4*Y+r*x^4*y,
   
*** Garbage collection starting 
*** GC 5 23-Jun-2002 17:08:57, 10 ms (0%), 63154 occupied, 1561836 free
Calculating the module Anick resolution in degree 6...
anLESSCHAIN <-- rx^2*y*xx, rx^4*Y
anLESSCHAIN --> 2.
anPROLONGCHAIN <-- r:x^4*Y
anPROLONGCHAIN --> rx^4*Y:1
anLESSCHAIN <-- r, r
anLESSCHAIN --> 1.
anLESSCHAIN <-- rx^2*y*x, rx^4*Y
anLESSCHAIN --> 2.
B(0,0)=1
B(0,1)=2
B(0,2)=4
B(0,3)=8
B(0,4)=16
    0   1   2   3   4   5   6
  +--------------------------
0 | 1   -   -   -   -
1 | 2   -   -   -
2 | 4   -   -
3 | 8   -
4 | 16
end of Calculations.

nil
3 lisp> 3 lisp> Backtrace, including interpreter functions, from top of stack:
interpbacktrace top-loop-eval-and-print standardlisp 
nil
4 lisp> twomodules
5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 5 lisp> 
anbnmChainStartIndexLimits = (4 . 4)
anbnmChainEndIndexLimits = (1 . 3)
anbnmLModNormalMonStartIndexLimits = (1 . 3)
anbnmLModNormalMonEndIndexLimits = (5 . 5)
NALGGEN = 3
!*CALCBETTI is t; !*ONFLYBETT is t
Current degree: 6
anLASTCALCULATEDDEGREE = 6
t
6 lisp> y^2-x^2,
   Y*x-x*Y,
   r*Y-r*y,
   y*x^2-x^2*y,
   r*y*x-r*x*Y,
   r*x^2*Y-r*x^2*y,
   r*x^2*y*x-r*x^3*Y,
   r*x^4*Y-r*x^4*y,
   
nil
7 lisp> D(0, r)=1.r
D(1, rY)=r.Y-r.y
D(1, ry*x)=r.y*x-r.x*Y
D(2, rYx)=rY.x+ry*x.1
D(1, rx^2*Y)=r.x^2*Y-r.x^2*y
D(2, ry*xx)=ry*x.x+rx^2*Y.1
D(1, rx^2*y*x)=r.x^2*y*x-r.x^3*Y
D(2, rx^2*Yx)=rx^2*Y.x+rx^2*y*x.1
D(1, rx^4*Y)=r.x^4*Y-r.x^4*y
D(2, rx^2*y*xx)=rx^2*y*x.x+rx^4*Y.1
nil
8 lisp> B(0,0)=1
B(0,1)=2
B(0,2)=4
B(0,3)=8
B(0,4)=16
nil
9 lisp> 1267650600228229401496703205376
10 lisp> 
Quitting
