From emueller@rz.mathematik.uni-muenchen.de Tue Dec  1 18:40:29 1998
Received: from mailrelay2.lrz-muenchen.de (mailrelay2.lrz-muenchen.de [129.187.254.102]) by pavidus.matematik.su.se (8.8.8/8.6.9) with ESMTP id SAA04917 for <joeb@matematik.su.se>; Tue, 1 Dec 1998 18:40:28 +0100
Received: from math02.mathematik.uni-muenchen.de by mailrelay2.lrz-muenchen.de for joeb@matematik.su.se; Tue, 1 Dec 1998 18:40:09 +0100
Received: from math21 (math21.mathematik.uni-muenchen.de) by math02.mathematik.uni-muenchen.de (4.1/SMI-4.1)
	id AA05774; Tue, 1 Dec 98 18:39:23 +0100
Date: Tue, 1 Dec 98 18:39:23 +0100
From: emueller@rz.mathematik.uni-muenchen.de (E. Mueller)
Message-Id: <9812011739.AA05774@math02.mathematik.uni-muenchen.de>
To: joeb@matematik.su.se
Subject: Re: Degree
Status: RO

Dear Professor Backelin,
here are the data you needed. The results are the same when I answer the
question about the function !o!l!d!d!e!d with "Y" and redefine the function
and also when I use capital letters in fehler.a to set the variable maxdegree.
Thank you very much in advance.
Best regards
Eric Mueller

Input file  fehler.a:

(noncommify)
(setq maxdegree 15)
(algforminput)
setinvars a,b,c,d,e,f;
a*b+b*c+c*a,
b*a+c*b+a*c,
a*d+d*e+e*a,
d*a+e*d+a*e,
b*e+e*f+f*b,
e*b+f*e+b*f,
c*d+d*f+f*c,
d*c+f*d+c*f,
a*a,
b*b,
c*c,
d*d,
e*e,
f*f,
a*f+f*a,
d*b+b*d,
e*c+c*e;


Output: fehler.gb
% 2
a^2,
   b^2,
   c*a+b*c+a*b,
   c*b+b*a+a*c,
   c^2,
   d*b+b*d,
   d^2,
   e*a+d*e+a*d,
   e*c+c*e,
   e*d+d*a+a*e,
   e^2,
   f*a+a*f,
   f*b+e*f+b*e,
   f*c+d*f+c*d,
   f*d+d*c+c*f,
   f*e+e*b+b*f,
   f^2,
   
% 3
-b*a*b+a*b*a,
   -d*a*d+a*d*a,
   -d*c*d+c*d*c,
   -e*b*a-d*c*e+c*e*b+a*d*c,
   -e*b*c+d*e*b-c*d*e+b*c*d,
   -e*b*d+d*a*b+a*e*b,
   -e*b*e+b*e*b,
   
% 4
d*a*b*a+b*d*a*b,
   d*a*b*d+a*d*a*b,
   -d*a*c*d-c*d*a*c-a*c*d*a,
   
% 6
d*a*b*c*d*a+c*d*a*b*c*d,
   d*a*b*c*d*c+a*d*a*b*c*d,
   
Done


Output: fehler.ps

+t^2*(17*z^2)
+t^3*(7*z^2+37*z^3)
+t^4*(3*z^2+34*z^3+69*z^4)
+t^5*(26*z^3+100*z^4+116*z^5)
+t^6*(2*z^2+13*z^3+114*z^4+231*z^5+181*z^6)
+t^7*(18*z^3+100*z^4+353*z^5+460*z^6+267*z^7)
+t^8*(9*z^3+117*z^4+433*z^5+885*z^6+827*z^7+377*z^8)
+t^9*(4*z^3+100*z^4+562*z^5+1386*z^6+1923*z^7+1379*z^8+514*z^9)
+t^10*(2*z^3+73*z^4+623*z^5+2093*z^6+3657*z^7+3766*z^8+2170*z^9+681*z^10)

Output: fehler.hs

+19*z^2
+42*z^3
+71*z^4
+96*z^5
+106*z^6
+96*z^7
+71*z^8
+42*z^9
+19*z^10


Bergman session:


Bergman 0.926, 30-Nov-98
1 lisp> (ncpbhgroebner "fehler.a" "fehler.gb" "fehler.ps" "fehler.hs")
*** I turn on noncommutativity
NIL
15
T
Do you really want to redefine the system function `!o!l!d!d!e!d'? (Y or N) n
*** Function `DEGREEENDDISPLAY' has been redefined
SetupGlobals
 ... done
*** `SYSX2INT' has not been defined, because it is flagged LOSE

% No. of Spolynomials calculated until degree 2: 0
% No. of ReducePol(0) demanded until degree 2: 0
% Time: 306
*** Garbage collection starting
*** GC 1:  1-Dec-98 18:24:29 (~ 323 ms cpu time, gc : 5 %)
*** time 17 ms, 18783 occupied, 10290 recovered, 1681217 free

% No. of Spolynomials calculated until degree 3: 37
% No. of ReducePol(0) demanded until degree 3: 6
% Time: 357
*** Garbage collection starting
*** GC 2:  1-Dec-98 18:24:30 (~ 425 ms cpu time, gc : 16 %)
*** time 51 ms, 22795 occupied, 4246 recovered, 1677205 free

% No. of Spolynomials calculated until degree 4: 71
% No. of ReducePol(0) demanded until degree 4: 6
% Time: 459
*** Garbage collection starting
*** GC 3:  1-Dec-98 18:24:30 (~ 527 ms cpu time, gc : 25 %)
*** time 68 ms, 28971 occupied, 6656 recovered, 1671029 free

% No. of Spolynomials calculated until degree 5: 97
% No. of ReducePol(0) demanded until degree 5: 6
% Time: 578
*** Garbage collection starting
*** GC 4:  1-Dec-98 18:24:30 (~ 646 ms cpu time, gc : 31 %)
*** time 68 ms, 35655 occupied, 7478 recovered, 1664345 free

% No. of Spolynomials calculated until degree 6: 110
% No. of ReducePol(0) demanded until degree 6: 6
% Time: 646
*** Garbage collection starting
*** GC 5:  1-Dec-98 18:24:30 (~ 748 ms cpu time, gc : 36 %)
*** time 68 ms, 40613 occupied, 5014 recovered, 1659387 free

% No. of Spolynomials calculated until degree 7: 128
% No. of ReducePol(0) demanded until degree 7: 6
% Time: 799
*** Garbage collection starting
*** GC 6:  1-Dec-98 18:24:31 (~ 884 ms cpu time, gc : 40 %)
*** time 85 ms, 50057 occupied, 8450 recovered, 1649943 free

% No. of Spolynomials calculated until degree 8: 137
% No. of ReducePol(0) demanded until degree 8: 6
% Time: 952
*** Garbage collection starting
*** GC 7:  1-Dec-98 18:24:31 (~ 1037 ms cpu time, gc : 42 %)
*** time 85 ms, 57629 occupied, 6754 recovered, 1642371 free

% No. of Spolynomials calculated until degree 9: 141
% No. of ReducePol(0) demanded until degree 9: 6
% Time: 1054
*** Garbage collection starting
*** GC 8:  1-Dec-98 18:24:31 (~ 1139 ms cpu time, gc : 46 %)
*** time 85 ms, 58703 occupied, 2710 recovered, 1641297 free

% No. of Spolynomials calculated until degree 10: 143
% No. of ReducePol(0) demanded until degree 10: 6
% Time: 1156
*** Garbage collection starting
*** GC 9:  1-Dec-98 18:24:31 (~ 1258 ms cpu time, gc : 50 %)
*** time 102 ms, 59637 occupied, 2640 recovered, 1640363 free
*** Function `DEGREEENDDISPLAY' has been redefined
NIL
2 lisp> (quit)

Quitting

