

%Test1. 20.08.2007, version 1.001.
Anick doesn't work with weights different from 1.

sveta@uggla:~/b1001/bin/Linux_elf$ ./bergman
Loading image file :/home/guests/sveta/b1001/bin/Linux_elf/bergman.img
Bergman 1.001, 20-Aug-20
1 lisp> (setweights 1 1 2)
nil
2 lisp> (anick)
*** We turn on noncommutativity

*** We turn on PBSERIES
Input the Maximum Degree you want to calculate
2 lisp> 6

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 x,y,z;
x^3, x*z-y*z;algebraic form input>
SetupGlobals
 ... done
The Anick resolution initialization...
B(1,1)=3
The Anick resolution initialization done.
% 2
-y*z+x*z,

*** Garbage collection starting
*** GC 1 20-Aug-2007 12:12:35, 0 ms (0%), 64127 occupied, 1560867 free
Calculating the Anick resolution in degree 2...
B(1,1)=3
B(2,2)=1
    0   1   2
  +----------
0 | 1   3   1
1 | -   -
Printing the results ...
Printing is done.
end of Calculations.
***** Segmentation Violation
Break loop
3 lisp break (1) > (quit)

Quitting

---------------------------------------------------------------------------
%Test 2. There are troubles in CLISP with (SETOBJECTTYPE RING)

sveta@uggla:~/b1001/bin/clisp/unix$ ./bergman
  i i i i i i i       ooooo    o        ooooooo   ooooo   ooooo
  I I I I I I I      8     8   8           8     8     o  8    8
  I  \ `+' /  I      8         8           8     8        8    8
   \  `-+-'  /       8         8           8      ooooo   8oooo
    `-__|__-'        8         8           8           8  8
        |            8     o   8           8     o     8  8
  ------+------       ooooo    8oooooo  ooo8ooo   ooooo   8

Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
Copyright (c) Bruno Haible, Sam Steingold 1999-2000
Copyright (c) Sam Steingold, Bruno Haible 2001-2006

Welcome to the BERGMAN system. (v. 1.001)
[1]> (setq ds (getsetup))
((OBJECTTYPE RING (AUTOADDRELATIONSTATE NIL NIL) (LOWTERMSHANDLING QUICK))
 (RESOLUTIONTYPE NONE)
 (ANICK (TENSPOL-PRINTMODE SEMIDISTRIBUTED) (TENSTERM-PRINTMODE (NIL NIL NIL))
  (HOMMAXDEGREE NIL) (EDGE-STRING " ") (EDGE-STRING-PRINTING NIL) (BETTI NIL)
  (BETTI-FOREACHDEGREE NIL))
 (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 ON) (OLDPRINTMODES1 OFF) (OLDSERIESMODES1 OFF)
  (STANDARDANICKMODES ON) (PBSERIES OFF) (REDUCTIVITY ON) (SAVEDEGREE OFF)
  (SAVERECVALUES ON)))
[2]> (setsetup ds)

*** - The macro SETOBJECTTYPE may not be called with a dotted argument list:
       (SETOBJECTTYPE . RING)
The following restarts are available:
ABORT          :R1      ABORT
Break 1 [3]> 

--------------------------------------------------------------------------
%test3. Anick calculations are influenced by charactersitics settings.

sveta@uggla:~/b1001/bin/Linux_elf$ ./bergman
Loading image file :/home/guests/sveta/b1001/bin/Linux_elf/bergman.img
Bergman 1.001, 20-Aug-20
1 lisp> (setq ds (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> (off gc)
nil
3 lisp> (simple "../../tests/test_bergman/char2")
none
nil
t
nil
nil
t
% 2
y^2+y*x+x*y,

% 3
y*x^2+x^2*y,

Done
 - All is OK (I hope). Now you may (e. g.):
   - kill bergman with (QUIT); or
   - interrupt bergman with ^Z; or
   - clear the memory with (CLEARIDEAL), and run a new (SIMPLE).
nil
4 lisp> (setsetup ds)
((degreeprintoutput nil) (itemprintoutput nil))
(degreeprintoutput nil)
(setdegreeprintoutput nil)
t
5 lisp> (clearring)
nil
6 lisp> (simple "../../tests/test_bergman/char5")
none
nil
*** (dm!A!Y!B!E): base 16#81342A0, length 10#57 bytes
t
nil
nil
t
% 2
y^2+3*y*x+2*x*y+x^2,

% 3
y*x*y+3*y*x^2+2*x^2*y+x^3,

% 4
y*x^2*y+3*y*x^3+2*x^3*y+x^4,

% 5
y*x^3*y+3*y*x^4+2*x^4*y+x^5,

% 6
y*x^4*y+3*y*x^5+2*x^5*y+x^6,

Done
 - All is OK (I hope). Now you may (e. g.):
   - kill bergman with (QUIT); or
   - interrupt bergman with ^Z; or
   - clear the memory with (CLEARIDEAL), and run a new (SIMPLE).
nil
7 lisp> (setsetup ds)
((degreeprintoutput nil) (itemprintoutput nil))
(degreeprintoutput nil)
(setdegreeprintoutput nil)
t
8 lisp> (clearring)
nil
9 lisp>
9 lisp> (simple "../../tests/test_bergman/modlog")
none
nil
ordinary
*** Function `g!E!T!Cm!O!D' has been redefined
*** Function `g!E!Th!A!L!F!Cm!O!D' has been redefined
*** Function `g!E!Tp!R!E!D!Cm!O!D' has been redefined
t
nil
nil
t
% 2
y^2+5*y*x+6*x*y+3*x^2,

% 3
y*x*y+6*y*x^2+5*x^2*y+3*x^3,

% 4
y*x^3+6*x^3*y,

Done
 - All is OK (I hope). Now you may (e. g.):
   - kill bergman with (QUIT); or
   - interrupt bergman with ^Z; or
   - clear the memory with (CLEARIDEAL), and run a new (SIMPLE).
nil
10 lisp> (clearring)
(setoddprimesmoduli ordinary)
(setmodulus 0)nil
11 lisp> modlogarithmic
12 lisp> (setsetup ds)
t
((degreeprintoutput nil) (itemprintoutput nil))
(degreeprintoutput nil)
(setdegreeprintoutput nil)
t
14 lisp> (setq anickresolutionoutputfile "a_w1")
"a_w1"
15 lisp>
15 lisp>
15 lisp> (anick "../../tests/test_bergman/anick_w")
*** We turn on noncommutativity

*** We turn on PBSERIES
nil
nil
t
SetupGlobals
 ... done
The Anick resolution initialization...
B(1,1)=2
The Anick resolution initialization done.
% 2
x*y,
   y^2+y*x+x^2,

Calculating the Anick resolution in degree 2...
B(1,1)=2
B(2,2)=2
    0   1   2
  +----------
0 | 1   2   2
1 | -   -
Printing the results ...
Printing is done.
end of Calculations.
% 3
x^3,

Calculating the Anick resolution in degree 3...
***** Undefined function `c!Fi!N!V' called from compiled code
Break loop
16 lisp break (1) >  

----------------------------------------------------------------
%Test4. Matrixify not defined?

sveta@uggla:~/b1001/bin/Linux_elf$ ./bergman
Loading image file :/home/guests/sveta/b1001/bin/Linux_elf/bergman.img
Bergman 1.001, 20-Aug-20
1 lisp> (matrixify)
***** `!O!R!Dlc!O!Rout' has no definition in CopyD
Break loop
2 lisp break (1) >  


!!!!!!! corrected in the version 1.002  

----------------------------------------------------------------------
%Test5 Version 1.002

The example from test 2 was reduced by Joergen to a small one (see below).
It still doesn't work in the version 1.002.                                               

sveta@uggla:~/b1002s/bin/Linux_elf$ ./bergman
Loading image file :/home/guests/sveta/b1002s/bin/Linux_elf/bergman.img
Bergman 1.001, 22-Aug-20
1 lisp> (off gc)
nil
2 lisp> (setmodulus 5)
*** (dm!A!Y!B!E): base 16#8133910, length 10#57 bytes
t
3 lisp> (setmodulus 0)
t
4 lisp> (anick)
*** We turn on noncommutativity

*** We turn on PBSERIES
Input the Maximum Degree you want to calculate
4 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; a^2-b^2, a*b;
SetupGlobals
 ... done
The Anick resolution initialization...
B(1,1)=2
The Anick resolution initialization done.
% 2
a*b,
   -b^2+a^2,

Calculating the Anick resolution in degree 2...
B(1,1)=2
B(2,2)=2
    0   1   2
  +----------
0 | 1   2   2
1 | -   -
Printing the results ...
Printing is done.
end of Calculations.
% 3
a^3,
   b*a^2,

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

------------------------------------------------------------------------
%Test6. An example with non-homogeneous relations in commutative case which doesn't yield the correct result (version 1.002).

sveta@uggla:~/b1002s/bin/Linux_elf$ ./bergman
Loading image file :/home/guests/sveta/b1002s/bin/Linux_elf/bergman.img
Bergman 1.001, 22-Aug-20
1 lisp> (off gc)
nil
2 lisp> (destabilise)
t
3 lisp> (setsafelowtermshandling)
quick
4 lisp> (setitemwise)
t
5 lisp> (simple)
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 x,y,z; x*y-z, y*z-x,z*x-y;
SetupGlobals
 ... done
y*z-x,
   x*z-y,
   x*y-z,
   x^2-z^2,
   -z^3+z,
    - All is OK (I hope). Now you may (e. g.):
   - kill bergman with (QUIT); or
   - interrupt bergman with ^Z; or
   - clear the memory with (CLEARIDEAL), and run a new (SIMPLE).
nil
6 lisp> (quit)

Quitting
