Loading image file :/home/twolf/lisp/psl/linux/red/reduce.img *** Function `!%compactheap' has been redefined ("/home/twolf/para/" "" "$reduce/lisp/psl/linux/red/" "$reduce/lisp/psl/linux/psl/") REDUCE 3.7, 15-Apr-1999, patched to 15-May-2003 ... 1: The name of this new session is: "bu413-1-Nov-" 2: If this file is loaded just for printing then in addition do: in drvlist$ depend {f,b},t,s,x$ lisp <>$ 3: ####### This is the case N2f1b0t8s14w3. ####### The equation: 2 f =D f *f*p5 + D f *D D f*p7 + D f *f *p9 + (D f) *f*p1 + D f*D D f *p12 t 2 2x 2 x 1 2 2 x x 2 2 1 2 x + D f*D f*f*p2 + D f*f *p10 + D D f *p14 + D D f *D f*p13 + D D f*D f *p6 2 1 2 2x 1 2 3x 1 2 x 1 1 2 1 x 2 + D f *f*p4 + D f *f *p8 + (D f) *f*p3 + D f*f *p11 + f *p15 1 2x 1 x x 1 1 2x 4x It's symmetry: f =D f *f*q1 + D f *D D f*q29 + D f *f *q44 + D f *D f*f*q3 s 2 5x 2 4x 1 2 2 4x x 2 3x 2 + D f *D D f *q45 + D f *D f*f*q4 + D f *f *q51 + D f *D f *f*q9 2 3x 1 2 x 2 3x 1 2 3x 2x 2 2x 2 x + D f *D f*D D f*q25 + D f *D f*f *q40 + D f *D D f *q60 2 2x 2 1 2 2 2x 2 x 2 2x 1 2 2x + D f *D D f*D f*q24 + D f *D f *f*q10 + D f *D f*f *q39 + D f *f *q65 2 2x 1 2 1 2 2x 1 x 2 2x 1 x 2 2x 3x 2 2 2 + (D f ) *D D f*q21 + (D f ) *f *q36 + D f *(D f) *f*q14 + D f *D f*D D f *q49 2 x 1 2 2 x x 2 x 2 2 x 2 1 2 x + D f *D f*D f*f*q15 + D f *D f*f *q55 + D f *D D f *q70 2 x 2 1 2 x 2 2x 2 x 1 2 3x + D f *D D f *D f*q50 + D f *D D f*D f *q22 + D f *D f *f*q7 2 x 1 2 x 1 2 x 1 2 1 x 2 x 1 2x 2 + D f *D f *f *q37 + D f *(D f) *f*q16 + D f *D f*f *q56 + D f *f *q68 2 x 1 x x 2 x 1 2 x 1 2x 2 x 4x 3 3 2 2 + (D f) *D D f*q17 + (D f) *f *q32 + (D f) *D D f *q57 + (D f) *D D f*D f*q19 2 1 2 2 x 2 1 2 2x 2 1 2 1 2 2 2 + (D f) *D f *f*q11 + (D f) *D f*f *q34 + (D f) *f *q62 + D f*D D f *q73 2 1 x 2 1 x 2 3x 2 1 2 4x + D f*D D f *D f*q58 + D f*D D f *D f *q47 + D f*D D f*D f *q27 2 1 2 2x 1 2 1 2 x 1 x 2 1 2 1 2x 2 + D f*D D f*(D f) *q18 - D f*D D f*f *f*q30 + D f*D f *f*q5 + D f*D f *f *q42 2 1 2 1 2 1 2 x 2 1 3x 2 1 2x x 2 + D f*D f *D f*f*q12 + D f*D f *f *q53 + D f*(D f) *f *q33 + D f*D f*f *q63 2 1 x 1 2 1 x 2x 2 1 x 2 1 3x + D f*f *q71 + D D f *q82 + D D f *D f*q74 + D D f *D f *q69 2 5x 1 2 6x 1 2 4x 1 1 2 3x 1 x 2 + D D f *D D f*f*q78 + D D f *D f *q61 + D D f *(D f) *q59 1 2 2x 1 2 1 2 2x 1 2x 1 2 2x 1 + D D f *f *f*q77 - D D f *D D f*f *q81 + D D f *D f *q46 1 2 2x x 1 2 x 1 2 x 1 2 x 1 3x + D D f *D f *D f*q48 - D D f *f *f*q79 + D D f*D f *q28 1 2 x 1 x 1 1 2 x 2x 1 2 1 4x 2 3 + D D f*D f *D f*q26 + D D f*(D f ) *q23 + D D f*(D f) *q20 1 2 1 2x 1 1 2 1 x 1 2 1 - D D f*D f*f *f*q31 - D D f*f *f*q76 + D D f*f *f *q80 + D f *f*q2 1 2 1 x 1 2 3x 1 2 2x x 1 5x + D f *f *q43 + D f *D f*f*q6 + D f *f *q52 + D f *D f *f*q8 1 4x x 1 3x 1 1 3x 2x 1 2x 1 x 2 2 + D f *D f*f *q41 + D f *f *q66 + (D f ) *f *q38 + D f *(D f) *f*q13 1 2x 1 x 1 2x 3x 1 x x 1 x 1 3 2 + D f *D f*f *q54 + D f *f *q67 + (D f) *f *q35 + (D f) *f *q64 1 x 1 2x 1 x 4x 1 x 1 3x + D f*f *q72 + f *q83 + f *f *f*q75 1 5x 7x 3x x {q82,q81,q80,q79,q78,q77,q76,q74,q73,q71,q70,q69,q68,q65,q63,q62,q61,q60,q59,q58 ,q57,q56,q55,q53,q51,q50,q49,q48,q47,q46,q45,q44,q42,q40,q39,q37,q36,q34,q33,q32 ,q31,q30,q29,q28,q27,q26,q25,q24,q23,q22,q21,q20,q19,q18,q17,q16,q15,q14,q12,q11 ,q10,q9,q7,q5,q4,q3,q1,p14,p13,p12,p10,p9,p7,p6,p5,p2,p1} {q82,q81,q80,q79,q78,q77,q76,q74,q73,q72,q70,q69,q67,q66,q64,q63,q61,q60,q59,q58 ,q57,q56,q54,q53,q52,q50,q49,q48,q47,q46,q45,q43,q42,q41,q39,q38,q37,q35,q34,q33 ,q31,q30,q29,q28,q27,q26,q25,q24,q23,q22,q21,q20,q19,q18,q17,q16,q15,q13,q12,q11 ,q10,q8,q7,q6,q5,q4,q2,p14,p13,p12,p11,p8,p7,p6,p4,p3,p2} {q81,q80,q79,q78,q77,q76,q75,q74,q73,q72,q71,q70,q69,q68,q67,q66,q65,q64,q63,q62 ,q61,q60,q59,q58,q57,q56,q55,q54,q53,q52,q51,q50,q49,q48,q47,q46,q45,q44,q43,q42 ,q41,q40,q39,q38,q37,q36,q35,q34,q33,q32,q31,q30,q29,q28,q27,q26,q25,q24,q23,q22 ,q21,q20,q19,q18,q17,q16,q15,q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1,p13, p12,p11,p10,p9,p8,p7,p6,p5,p4,p3,p2,p1} {q83,q82,q81,q80,q79,q78,q77,q76,q75,q74,q73,q72,q71,q70,q69,q68,q67,q66,q65,q64 ,q63,q62,q61,q60,q59,q58,q57,q56,q55,q54,q53,q52,q51,q50,q49,q48,q47,q46,q45,q44 ,q43,q42,q41,q40,q39,q38,q37,q36,q35,q34,q33,q32,q31,q30,q29,q28,q27,q26,q25,q24 ,q23,q22,q21,q20,q19,q18,q17,q16,q15,q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2 ,q1} {p15,p14,p13,p12,p11,p10,p9,p8,p7,p6,p5,p4,p3,p2,p1} Generating all terms of total degree 2 Pairing now degree 1 terms from the system with degree 1 terms from the symmetry df(f,t)=D D f *p14 + f *p15 1 2 3x 4x df(f,s)=D D f *q82 + f *q83 1 2 6x 7x Generating all terms of total degree 3 Pairing now degree 1 terms from the system with degree 2 terms from the symmetry df(f,t)=D D f *p14 + f *p15 1 2 3x 4x df(f,s)=D f *f*q1 + D f *D D f*q29 + D f *f *q44 + D f *D D f *q45 2 5x 2 4x 1 2 2 4x x 2 3x 1 2 x + D f *f *q51 + D f *D D f *q60 + D f *f *q65 + D f *D D f *q70 2 3x 2x 2 2x 1 2 2x 2 2x 3x 2 x 1 2 3x + D f *f *q68 + D f*D D f *q73 + D f*f *q71 + D D f *D f*q74 2 x 4x 2 1 2 4x 2 5x 1 2 4x 1 + D D f *D f *q69 + D D f *D f *q61 + D D f *D f *q46 1 2 3x 1 x 1 2 2x 1 2x 1 2 x 1 3x + D D f*D f *q28 + D f *f*q2 + D f *f *q43 + D f *f *q52 1 2 1 4x 1 5x 1 4x x 1 3x 2x + D f *f *q66 + D f *f *q67 + D f*f *q72 1 2x 3x 1 x 4x 1 5x *** Garbage collection starting *** GC 1 1-Nov-2003 06:27:41, 20 ms (1%), 988504 occupied, 24011448 free *** Garbage collection starting *** GC 2 1-Nov-2003 06:27:59, 30 ms (0%), 1281244 occupied, 23718707 free Pairing now degree 2 terms from the system with degree 1 terms from the symmetry df(f,t)=D f *f*p5 + D f *D D f*p7 + D f *f *p9 + D f*D D f *p12 + D f*f *p10 2 2x 2 x 1 2 2 x x 2 1 2 x 2 2x + D D f *D f*p13 + D D f*D f *p6 + D f *f*p4 + D f *f *p8 1 2 x 1 1 2 1 x 1 2x 1 x x + D f*f *p11 1 2x df(f,s)=D D f *q82 + f *q83 1 2 6x 7x *** Garbage collection starting *** GC 3 1-Nov-2003 06:28:34, 20 ms (0%), 972268 occupied, 24027684 free *** Garbage collection starting *** GC 4 1-Nov-2003 06:28:56, 20 ms (0%), 1264258 occupied, 23735692 free Generating all terms of total degree 4 Pairing now degree 1 terms from the system with degree 3 terms from the symmetry df(f,t)=D D f *p14 + f *p15 1 2 3x 4x df(f,s)=D f *D f*f*q3 + D f *D f*f*q4 + D f *D f *f*q9 + D f *D f*D D f*q25 2 3x 2 2 3x 1 2 2x 2 x 2 2x 2 1 2 + D f *D f*f *q40 + D f *D D f*D f*q24 + D f *D f *f*q10 2 2x 2 x 2 2x 1 2 1 2 2x 1 x 2 2 + D f *D f*f *q39 + (D f ) *D D f*q21 + (D f ) *f *q36 2 2x 1 x 2 x 1 2 2 x x + D f *D f*D D f *q49 + D f *D f*f *q55 + D f *D D f *D f*q50 2 x 2 1 2 x 2 x 2 2x 2 x 1 2 x 1 + D f *D D f*D f *q22 + D f *D f *f*q7 + D f *D f *f *q37 2 x 1 2 1 x 2 x 1 2x 2 x 1 x x 2 2 + D f *D f*f *q56 + (D f) *D D f *q57 + (D f) *f *q62 2 x 1 2x 2 1 2 2x 2 3x + D f*D D f *D f*q58 + D f*D D f *D f *q47 + D f*D D f*D f *q27 2 1 2 2x 1 2 1 2 x 1 x 2 1 2 1 2x + D f*D f *f*q5 + D f*D f *f *q42 + D f*D f *f *q53 2 1 3x 2 1 2x x 2 1 x 2x 2 + D f*D f*f *q63 + D D f *D D f*f*q78 + D D f *(D f) *q59 2 1 3x 1 2 2x 1 2 1 2 2x 1 + D D f *f *f*q77 - D D f *D D f*f *q81 + D D f *D f *D f*q48 1 2 2x x 1 2 x 1 2 x 1 2 x 1 x 1 2 - D D f *f *f*q79 + D D f*D f *D f*q26 + D D f*(D f ) *q23 1 2 x 2x 1 2 1 2x 1 1 2 1 x - D D f*f *f*q76 + D D f*f *f *q80 + D f *D f*f*q6 + D f *D f *f*q8 1 2 3x 1 2 2x x 1 3x 1 1 2x 1 x 2 2 + D f *D f*f *q41 + (D f ) *f *q38 + D f *D f*f *q54 + (D f) *f *q64 1 2x 1 x 1 x x 1 x 1 2x 1 3x + f *f *f*q75 3x x *** Garbage collection starting *** GC 5 1-Nov-2003 06:29:09, 20 ms (0%), 1041352 occupied, 23958600 free *** Garbage collection starting *** GC 6 1-Nov-2003 06:29:13, 20 ms (0%), 1180702 occupied, 23819249 free *** Garbage collection starting *** GC 7 1-Nov-2003 06:29:16, 30 ms (0%), 1323010 occupied, 23676942 free *** Garbage collection starting *** GC 8 1-Nov-2003 06:29:21, 30 ms (0%), 1462862 occupied, 23537089 free *** Garbage collection starting *** GC 9 1-Nov-2003 06:29:25, 30 ms (0%), 1600824 occupied, 23399128 free *** Garbage collection starting *** GC 10 1-Nov-2003 06:29:31, 30 ms (0%), 1740204 occupied, 23259747 free *** Garbage collection starting *** GC 11 1-Nov-2003 06:29:37, 40 ms (0%), 1875634 occupied, 23124317 free *** Garbage collection starting *** GC 12 1-Nov-2003 06:29:44, 50 ms (0%), 2009108 occupied, 22990831 free *** Garbage collection starting *** GC 13 1-Nov-2003 06:29:53, 50 ms (0%), 2140850 occupied, 22859090 free *** Garbage collection starting *** GC 14 1-Nov-2003 06:30:03, 60 ms (0%), 2268816 occupied, 22731123 free *** Garbage collection starting *** GC 15 1-Nov-2003 06:30:16, 60 ms (0%), 2400606 occupied, 22599334 free *** Garbage collection starting *** GC 16 1-Nov-2003 06:30:32, 80 ms (0%), 2534970 occupied, 22464969 free