joeb>../bin/Linux_elf/bergman
Loading image file :/home/matte/joeb/GB/Devbm/V1.001/bin/Linux_elf/bergman.img 
Bergman 1.001, 20-Aug-20
1 lisp> (setq stdsu (getsetup))
((objecttype ring (autoaddrelationstate nil nil) (lowtermshandling quick)) (
resolutiontype none) (variablesetup (ringtype commutative) (commutativeorder 
tdegrevlex) (ordermatrix nil) (noncommutativeorder tdegleftlex) (variablenumber
nil) (invariables nil) (outvariables nil) (variableweights nil) (
homogenisationvariable nil)) (strategy default (process degreewise) (stability t
) (mindeg nil) (maxdeg nil) (interruption ordinary) (customised nil)) (
coefficientdomain nil (oddprimesmoduli ordinary)) (inputformat casesensalgin) (
outputformat alg (printtimes (degreeprintoutput nil) (itemprintoutput nil)) 
exptsprint (immediateassocringpbdisplay nil) (overwrite nil) (customised nil)) (
debugstate (directalertclosing nil) (checkfailuredisplay t) (activetracebreaks 
nil)) (variousflags (dynamiclogtables off) (immediatecrit off) (
immediatefullreduction on) (immediaterecdefine off) (nobignum off) (
obsoletenamesinform off) (oldprintmodes1 off) (oldseriesmodes1 off) (
standardanickmodes on) (pbseries off) (reductivity on) (savedegree off) (
saverecvalues on)))
2 lisp> (setmodulus 2)
t
3 lisp> (setmodulus 5)
*** (dm!A!Y!B!E): base 16#8134280, length 10#57 bytes
t
4 lisp> (on modlogarithms)
nil
5 lisp> (setsetup stdsu)
((degreeprintoutput nil) (itemprintoutput nil))
(degreeprintoutput nil)
(setdegreeprintoutput nil)
t
6 lisp> (setweights 1 1 1)
nil
7 lisp> (anick)
*** We turn on noncommutativity

*** We turn on PBSERIES
Input the Maximum Degree you want to calculate
7 lisp> 10

Now input in-variables and ideal generators in algebraic form, thus:
     vars v1, ..., vn;
      r1, ..., rm;
where v1, ..., vn are the variables, and r1, ..., rm the generators.
algebraic form input> vars a,b,c; a^2-b^2, a*b, c^4-b*a*b*a;
SetupGlobals
 ... done
The Anick resolution initialization...
B(1,1)=3
The Anick resolution initialization done.
% 2
a*b,
   -b^2+a^2,
   
*** Garbage collection starting 
*** GC 1 20-Aug-2007 19:49:13, 0 ms (0%), 73615 occupied, 1551379 free
Calculating the Anick resolution in degree 2...
B(1,1)=3
B(2,2)=2
    0   1   2
  +----------
0 | 1   3   2
1 | -   -
Printing the results ...
Printing is done.
end of Calculations.
% 3
a^3,
   b*a^2,
   
*** Garbage collection starting 
*** GC 2 20-Aug-2007 19:49:13, 0 ms (0%), 73953 occupied, 1551039 free
Calculating the Anick resolution in degree 3...
***** Attempt to divide by 0 in DIVIDE
***** Continuable error: retry form is `(divide (quote -1) (quote 0))'
Break loop
8 lisp break (1) > i
Backtrace, including interpreter functions, from top of stack:
interpbacktrace top-loop-eval-and-print divide c!Fi!N!V r!E!D!A!N!Dl!I!N!E2r!E!D!O!Rl!I!N!E 
r!E!S!O!L!U!T!I!O!Nf!I!X!Cd!E!Ge!N!D groebnerkernel prog anick 
top-loop-eval-and-print standardlisp 
nil
9 lisp break (1) > 

-------------------------------------------------------

(setq stdsu (getsetup))
(setmodulus 2)
(setmodulus 5)
(on modlogarithms)
(setsetup stdsu)
(setweights 1 1 1)
(anick)
10
vars a,b,c; a^2-b^2, a*b, c^4-b*a*b*a;
(interpbacktrace)
