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> 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:03:15, 10 ms (0%), 60778 occupied, 1564216 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:03:15, 0 ms (0%), 61078 occupied, 1563913 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:03:15, 10 ms (0%), 61492 occupied, 1563498 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:03:15, 10 ms (0%), 62060 occupied, 1562929 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:03:15, 0 ms (0%), 63042 occupied, 1561947 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> ***** Undefined function `gtpos' called from compiled code
Break loop
10 lisp break (1) > 
Quitting
