Ticket #13: sca.quotient.buggy.2.log

File sca.quotient.buggy.2.log, 24.1 KB (added by Oleksandr , 15 years ago)

output of Singularg after fixing twostd

Line 
1Singular for x86_64-Linux version 3-0-4 (3042-2008041813)  Apr 18 2008 14:09:00
2with
3        factory(@(#) factoryVersion = 3.0.4),libfac(3.0.4,Mar 2008),
4        GMP(4.1),NTL(5.4.1),static readline,Plural,DBM,
5        namespaces,dynamic modules,dynamic p_Procs,TESTs,YYDEBUG=1,ASSUME,MDEBUG=0,OM_CHECK=1,OM_TRACK=4,PDEBUG,KDEBUG,-g,random=1208521040
6        CC= gcc -O3 -w -fomit-frame-pointer -pipe -DNDEBUG -DOM_NDEBUG -Dx86_64_Linux -DHAVE_CONFIG_H,
7        CXX= g++ -O3 -w -fomit-frame-pointer --no-rtti -pipe -DNDEBUG -DOM_NDEBUG -Dx86_64_Linux -DHAVE_CONFIG_H (3.3.4 20040623 (Gentoo Linux 3.3.4-r2, ssp-3.3.2-2, pie-8.7.6))
8argv[0]   :     ./Singular
9SearchPath:     /home/motsak/NFS/MY.Math/16AprilCVS/Singular/LIB:/home/motsak/NFS/MY.Math/16AprilCVS/LIB
10Singular  :     /home/motsak/NFS/MY.Math/16AprilCVS/Singular/Singularg
11BinDir    :     /home/motsak/NFS/MY.Math/16AprilCVS/Singular
12RootDir   :     /home/motsak/NFS/MY.Math/16AprilCVS
13DefaultDir:     /home/motsak/NFS/MY.Math/16AprilCVS
14InfoFile  :     
15IdxFile   :     
16HtmlDir   :     
17ManualUrl :     http://www.singular.uni-kl.de/Manual/3-0-4
18ExDir     :     
19Path      :     /home/motsak/NFS/MY.Math/16AprilCVS/Singular:.:/bin:/usr/bin:/usr/bin/X11:/usr/local/bin:/home/motsak/myroot/bin:/home/motsak/bin
20EmacsDir  :     /home/motsak/NFS/MY.Math/16AprilCVS/emacs
21Available HelpBrowsers: dummy, emacs,
22Current HelpBrowser: dummy
23sca.quotient.bug.sing   1> /*
24sca.quotient.bug.sing   2. Guten Tag!
25sca.quotient.bug.sing   3.
26sca.quotient.bug.sing   4. Im Anhang definiere ich zunächst wieder einen superkommutativen Ring R mit
27sca.quotient.bug.sing   5. einer Matrix-Ordnung und einem Ideal I.
28sca.quotient.bug.sing   6. Da twostd(I) leider nicht funktioniert, ich aber weiß, dass groebner(I)
29sca.quotient.bug.sing   7. hier ein zweiseitiges Ideal liefert, definiere ich
30sca.quotient.bug.sing   8.  qring Q = groebner(I);
31sca.quotient.bug.sing   9. und ignoriere die Warnung.
32sca.quotient.bug.sing  10.
33sca.quotient.bug.sing  11. Dann habe ich ein Ideal FRS, welches eine filter-reguläre Folge definiert.
34sca.quotient.bug.sing  12. Um nachzuweisen, dass die Folge filter-regulär ist, muss ich Quotienten
35sca.quotient.bug.sing  13. berechnen. quotient(ideal(0),ideal(FRS[1])) klappt, aber
36sca.quotient.bug.sing  14. quotient(ideal(FRS[1]),ideal(FRS[2])) verabschiedet sich mit der Meldung
37sca.quotient.bug.sing  15.
38sca.quotient.bug.sing  16.    ? sca_mm_Mult_p: exponent mismatch 1 and 1
39sca.quotient.bug.sing  17.
40sca.quotient.bug.sing  18.    ? sca_mm_Mult_p: exponent mismatch 1 and 1
41sca.quotient.bug.sing  19.
42sca.quotient.bug.sing  20.    ? sca_mm_Mult_pp: exponent mismatch 1 and 1
43sca.quotient.bug.sing  21.
44sca.quotient.bug.sing  22.    ? sca_mm_Mult_pp: exponent mismatch 1 and 1
45sca.quotient.bug.sing  23.
46sca.quotient.bug.sing  24.    ? error occurred in Bsp125gp3.txt line 71: `def q2 = quotient(ideal(FRS[1]),ideal(FRS[2]));
47sca.quotient.bug.sing  25.
48sca.quotient.bug.sing  26. Was ist da passiert? Habe ich quotient falsch verwendet? Gibt es
49sca.quotient.bug.sing  27. Beschränkungen, die ich nicht kannte? Ist es ein Bug?
50sca.quotient.bug.sing  28.
51sca.quotient.bug.sing  29. Gruß
52sca.quotient.bug.sing  30.      Simon
53sca.quotient.bug.sing  31. */
54sca.quotient.bug.sing  32.
55sca.quotient.bug.sing  33. LIB "ncall.lib";
56sca.quotient.bug.sing  34>
57sca.quotient.bug.sing  35. intmat m [12][12]=
58sca.quotient.bug.sing  36.      2,     2,     2,     2,     8,    10,     1,     1,     3,     3,     7,     9,
59sca.quotient.bug.sing  37.      0,     0,     0,     0,     0,    -1,     0,     0,     0,     0,     0,     0,
60sca.quotient.bug.sing  38.     -1,    -1,     0,     0,     0,     0,    -1,    -1,    -1,    -1,    -1,    -1,
61sca.quotient.bug.sing  39.     -1,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
62sca.quotient.bug.sing  40.      0,    -1,     0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
63sca.quotient.bug.sing  41.      0,     0,    -1,     0,     0,     0,     0,     0,     0,     0,     0,     0,
64sca.quotient.bug.sing  42.      0,     0,     0,    -1,     0,     0,     0,     0,     0,     0,     0,     0,
65sca.quotient.bug.sing  43.      0,     0,     0,     0,    -1,     0,     0,     0,     0,     0,     0,     0,
66sca.quotient.bug.sing  44.      0,     0,     0,     0,     0,     0,    -1,     0,     0,     0,     0,     0,
67sca.quotient.bug.sing  45.      0,     0,     0,     0,     0,     0,     0,    -1,     0,     0,     0,     0,
68sca.quotient.bug.sing  46.      0,     0,     0,     0,     0,     0,     0,     0,    -1,     0,     0,     0,
69sca.quotient.bug.sing  47.      0,     0,     0,     0,     0,     0,     0,     0,     0,    -1,     0,     0;
70sca.quotient.bug.sing  48>
71sca.quotient.bug.sing  49.
72sca.quotient.bug.sing  50. ring r = 5, (a_2_0, a_2_1, b_2_2, b_2_3, b_8_9, c_10_12, a_1_0, a_1_1, a_3_4, a_3_5, a_7_8, a_9_11),(M(m));
73sca.quotient.bug.sing  51> def R = SuperCommutative(7,12);
74nctools.lib::SuperCommutative 730. parameter list #; 
75nctools.lib::SuperCommutative 731>
76nctools.lib::SuperCommutative 732. // NOTE: as a side effect the basering will be changed (if not in a commutative case) to bo the ground G-algebra (without factor).
77nctools.lib::SuperCommutative 733.   int fprot = (find(option(),"prot") != 0);
78nctools.lib::SuperCommutative 734>   
79nctools.lib::SuperCommutative 735.   string rname=nameof(basering);
80nctools.lib::SuperCommutative 736>   
81nctools.lib::SuperCommutative 737.   if ( rname == "basering") // i.e. no ring has been set yet
82nctools.lib::SuperCommutative 738.   {
83nctools.lib::SuperCommutative 741.     ERROR("You have to call the procedure from the ring");
84nctools.lib::SuperCommutative 742>
85nctools.lib::SuperCommutative 743.   def saveRing = basering;
86nctools.lib::SuperCommutative 744>   
87nctools.lib::SuperCommutative 745.   int N = nvars(saveRing);
88nctools.lib::SuperCommutative 746>   int b = 1;
89nctools.lib::SuperCommutative 747>   int e = N;
90nctools.lib::SuperCommutative 748>   int flag = 0;
91nctools.lib::SuperCommutative 749>   
92nctools.lib::SuperCommutative 750.   ideal Q = 0;
93nctools.lib::SuperCommutative 751>
94nctools.lib::SuperCommutative 752.   if(size(#)>0)
95nctools.lib::SuperCommutative 753.   {
96nctools.lib::SuperCommutative 758.     if(typeof(#[1]) != "int")
97nctools.lib::SuperCommutative 768.
98nctools.lib::SuperCommutative 769.   if(size(#)>1)
99nctools.lib::SuperCommutative 770.   {
100nctools.lib::SuperCommutative 775.     if(typeof(#[2]) != "int")
101nctools.lib::SuperCommutative 790.
102nctools.lib::SuperCommutative 791.   if(size(#)>2)
103nctools.lib::SuperCommutative 792.   {
104nctools.lib::SuperCommutative 797.     if(typeof(#[3]) != "ideal")
105nctools.lib::SuperCommutative 800>   
106nctools.lib::SuperCommutative 801.   if(size(#)>3)
107nctools.lib::SuperCommutative 802.   {
108nctools.lib::SuperCommutative 807.     if(typeof(#[4]) != "int")
109nctools.lib::SuperCommutative 810>
110nctools.lib::SuperCommutative 811.   int iSavedDegBoung = degBound;
111nctools.lib::SuperCommutative 812>
112nctools.lib::SuperCommutative 813.   if( (b == e) && (flag == 0) ) // commutative ring!!!
113nctools.lib::SuperCommutative 814.   {
114nctools.lib::SuperCommutative 818.     if( fprot == 1)
115nctools.lib::SuperCommutative 828>
116nctools.lib::SuperCommutative 829. /*
117nctools.lib::SuperCommutative 830.   // Singular'(H.S.) politics: no ring copies!
118nctools.lib::SuperCommutative 831.   // in future nc_algebra() should return a new ring!!!
119nctools.lib::SuperCommutative 832.   list CurrRing = ringlist(basering);
120nctools.lib::SuperCommutative 833.   def @R = ring(CurrRing);
121nctools.lib::SuperCommutative 834.   setring @R; // @R;
122nctools.lib::SuperCommutative 835. */
123nctools.lib::SuperCommutative 836.
124nctools.lib::SuperCommutative 837.   if( (char(basering)==2) && (flag == 0) )// commutative ring!!!
125nctools.lib::SuperCommutative 838.   {
126nctools.lib::SuperCommutative 842.     if( fprot == 1)
127nctools.lib::SuperCommutative 858>   
128nctools.lib::SuperCommutative 859.
129nctools.lib::SuperCommutative 860.   int i, j;
130nctools.lib::SuperCommutative 861>   
131nctools.lib::SuperCommutative 862.   if( (b == 1) && (e == N) ) // just an exterior algebra?
132nctools.lib::SuperCommutative 863.   { 
133nctools.lib::SuperCommutative 866.     def S = nc_algebra(-1, 0); // define ground G-algebra!
134nctools.lib::SuperCommutative 867>   {
135nctools.lib::SuperCommutative 875.     matrix @E = UpOneMatrix(N);
136nctools.lib::SuperCommutative 880.
137nctools.lib::SuperCommutative 881.   ideal @Q = fetch(saveRing, Q);
138nctools.lib::SuperCommutative 882>   
139nctools.lib::SuperCommutative 883.   j = ncols(@Q) + 1;
140nctools.lib::SuperCommutative 884>
141nctools.lib::SuperCommutative 885.   for ( i=e; i>=b; i--, j++ )
142nctools.lib::SuperCommutative 886.   {
143nctools.lib::SuperCommutative 888.     @Q[j] = var(i)^2;
144nctools.lib::SuperCommutative 889>
145nctools.lib::SuperCommutative 890.   if( (fprot == 1) and (attrib(basering, "global") != 1) )
146nctools.lib::SuperCommutative 891.   {
147nctools.lib::SuperCommutative 894.     print("Warning: Since the current ordering is not global there might be problems computing twostd(Q)!");
148nctools.lib::SuperCommutative 895>
149nctools.lib::SuperCommutative 896.   degBound=0;   
150nctools.lib::SuperCommutative 897>   @Q = twostd(@Q); // must be computed within the ground G-algebra => problems with local orderings!
151nctools.lib::SuperCommutative 898>   degBound = iSavedDegBoung;
152nctools.lib::SuperCommutative 899>   
153nctools.lib::SuperCommutative 900.   qring @EA = @Q;
154nctools.lib::SuperCommutative 901>
155nctools.lib::SuperCommutative 902. //   "Alternating variables: [", AltVarStart(), ",", AltVarEnd(), "].";
156nctools.lib::SuperCommutative 903.   return(@EA);
157sca.quotient.bug.sing  52> setring R;
158sca.quotient.bug.sing  53>
159sca.quotient.bug.sing  54. ideal I = -a_1_0*a_1_1,
160sca.quotient.bug.sing  55.  a_2_0*a_1_0,
161sca.quotient.bug.sing  56.  a_2_1*a_1_1,
162sca.quotient.bug.sing  57.  a_2_1*a_1_0-a_2_0*a_1_1,
163sca.quotient.bug.sing  58.  b_2_3*a_1_0-b_2_2*a_1_1,
164sca.quotient.bug.sing  59.  a_2_0^2,
165sca.quotient.bug.sing  60.  a_2_0*a_2_1,
166sca.quotient.bug.sing  61.  a_2_1^2,
167sca.quotient.bug.sing  62.  -2*a_2_1*b_2_2-a_2_0*b_2_3+a_1_1*a_3_4,
168sca.quotient.bug.sing  63.  a_2_0*b_2_2+a_1_0*a_3_4,
169sca.quotient.bug.sing  64.  -a_2_1*b_2_3+a_1_1*a_3_5,
170sca.quotient.bug.sing  65.  a_2_1*b_2_2+2*a_2_0*b_2_3+a_1_0*a_3_5,
171sca.quotient.bug.sing  66.  a_2_0*a_3_4,
172sca.quotient.bug.sing  67.  -b_2_3*a_3_4+b_2_2*a_3_5+2*b_2_2*b_2_3*a_1_1+2*b_2_2^2*a_1_1,
173sca.quotient.bug.sing  68.  -a_2_1*a_3_4+a_2_0*a_3_5,
174sca.quotient.bug.sing  69.  a_2_1*a_3_5,
175sca.quotient.bug.sing  70.  a_1_1*a_7_8+2*b_2_2*b_2_3*a_1_1*a_3_5+b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5,
176sca.quotient.bug.sing  71.  a_1_0*a_7_8+2*b_2_2^2*a_1_1*a_3_5+b_2_2^2*a_1_0*a_3_5-2*b_2_2^2*a_1_0*a_3_4,
177sca.quotient.bug.sing  72.  b_2_2*a_7_8+b_2_2*b_2_3^3*a_1_1+2*b_2_2^2*b_2_3*a_3_5+b_2_2^3*a_3_5-2*b_2_2^3*a_3_4+2*b_2_2^3*b_2_3*a_1_1+2*b_2_2^4*a_1_1,
178sca.quotient.bug.sing  73.  a_2_0*a_7_8,
179sca.quotient.bug.sing  74.  a_2_1*a_7_8,
180sca.quotient.bug.sing  75.  b_2_3*a_7_8+2*b_2_2*b_2_3^2*a_3_5+b_2_2^2*b_2_3*a_3_5+2*b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*a_3_5-2*b_2_2^3*b_2_3*a_1_1+2*b_2_2^4*a_1_1,
181sca.quotient.bug.sing  76.  b_8_9*a_1_1+b_2_2*b_2_3^3*a_1_1+2*b_2_2^3*b_2_3*a_1_1-b_2_2^4*a_1_1,
182sca.quotient.bug.sing  77.  b_8_9*a_1_0-b_2_2*b_2_3^3*a_1_1+b_2_2^2*b_2_3^2*a_1_1+2*b_2_2^4*a_1_1,
183sca.quotient.bug.sing  78.  a_3_5*a_7_8-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5-2*b_2_2^3*a_1_0*a_3_5,
184sca.quotient.bug.sing  79.  a_3_4*a_7_8-b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5-b_2_2^3*a_1_1*a_3_5,
185sca.quotient.bug.sing  80.  b_2_2*b_8_9-b_2_2*b_2_3^4+b_2_2^2*b_2_3^3+2*b_2_2^4*b_2_3-2*b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5,
186sca.quotient.bug.sing  81.  a_2_0*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5-2*b_2_2^3*a_1_0*a_3_5,
187sca.quotient.bug.sing  82.  a_2_1*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5,
188sca.quotient.bug.sing  83.  b_2_3*b_8_9+b_2_2*b_2_3^4+2*b_2_2^3*b_2_3^2-b_2_2^4*b_2_3-2*b_2_3^3*a_1_1*a_3_5-b_2_2*b_2_3^2*a_1_1*a_3_5,
189sca.quotient.bug.sing  84.  a_1_1*a_9_11-b_2_3^3*a_1_1*a_3_5+2*b_2_2*b_2_3^2*a_1_1*a_3_5+b_2_2^2*b_2_3*a_1_1*a_3_5-b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5,
190sca.quotient.bug.sing  85.  a_1_0*a_9_11+2*b_2_2*b_2_3^2*a_1_1*a_3_5+2*b_2_2^2*b_2_3*a_1_1*a_3_5+b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5+b_2_2^3*a_1_0*a_3_4,
191sca.quotient.bug.sing  86.  b_8_9*a_3_5+b_2_2*b_2_3^3*a_3_5+2*b_2_2^3*b_2_3*a_3_5-b_2_2^4*a_3_5,
192sca.quotient.bug.sing  87.  b_8_9*a_3_4-b_2_2*b_2_3^3*a_3_5+b_2_2^2*b_2_3^2*a_3_5+2*b_2_2^3*b_2_3^2*a_1_1+2*b_2_2^4*a_3_5-b_2_2^4*b_2_3*a_1_1+2*b_2_2^5*a_1_1,
193sca.quotient.bug.sing  88.  b_2_2*a_9_11+2*b_2_2*b_2_3^3*a_3_5+2*b_2_2^2*b_2_3^2*a_3_5-b_2_2^2*b_2_3^3*a_1_1+b_2_2^3*b_2_3*a_3_5-b_2_2^4*a_3_5+b_2_2^4*a_3_4+2*b_2_2^4*b_2_3*a_1_1,
194sca.quotient.bug.sing  89.  a_2_0*a_9_11,
195sca.quotient.bug.sing  90.  a_2_1*a_9_11,
196sca.quotient.bug.sing  91.  b_2_3*a_9_11-b_2_3^4*a_3_5+2*b_2_2*b_2_3^3*a_3_5+b_2_2^2*b_2_3^2*a_3_5-b_2_2^3*b_2_3*a_3_5+2*b_2_2^3*b_2_3^2*a_1_1-b_2_2^4*a_3_5+2*b_2_2^4*b_2_3*a_1_1+b_2_2^5*a_1_1,
197sca.quotient.bug.sing  92.  a_3_5*a_9_11-2*b_2_2^3*b_2_3*a_1_1*a_3_5-2*b_2_2^4*a_1_1*a_3_5-b_2_2^4*a_1_0*a_3_5,
198sca.quotient.bug.sing  93.  a_3_4*a_9_11-b_2_2^2*b_2_3^2*a_1_1*a_3_5+b_2_2^3*b_2_3*a_1_1*a_3_5-2*b_2_2^4*a_1_1*a_3_5+2*b_2_2^4*a_1_0*a_3_5,
199sca.quotient.bug.sing  94.  b_8_9*a_7_8+2*b_2_2^3*b_2_3^3*a_3_5-2*b_2_2^4*b_2_3^2*a_3_5-b_2_2^4*b_2_3^3*a_1_1-b_2_2^5*b_2_3^2*a_1_1-2*b_2_2^6*a_3_5+b_2_2^6*b_2_3*a_1_1+2*b_2_2^7*a_1_1,
200sca.quotient.bug.sing  95.  b_8_9^2+2*b_2_2^5*b_2_3^3-b_2_2^7*b_2_3+2*b_2_2^5*b_2_3*a_1_1*a_3_5+2*b_2_2^6*a_1_1*a_3_5-2*b_2_2^6*a_1_0*a_3_5,
201sca.quotient.bug.sing  96.  a_7_8*a_9_11-2*b_2_2^4*b_2_3^2*a_1_1*a_3_5+b_2_2^5*b_2_3*a_1_1*a_3_5+b_2_2^6*a_1_0*a_3_5,
202sca.quotient.bug.sing  97.  b_8_9*a_9_11+2*b_2_2^5*b_2_3^2*a_3_5-b_2_2^5*b_2_3^3*a_1_1+b_2_2^6*b_2_3*a_3_5+2*b_2_2^7*a_3_5-2*b_2_2^7*b_2_3*a_1_1-2*b_2_2^8*a_1_1;
203sca.quotient.bug.sing  98>
204sca.quotient.bug.sing  99.
205sca.quotient.bug.sing 100. qring Q = twostd(I);
206sca.quotient.bug.sing 101> basering;
207//   characteristic : 5
208//   number of vars : 12
209//        block   1 : ordering M
210//                  : names    a_2_0 a_2_1 b_2_2 b_2_3 b_8_9 c_10_12 a_1_0 a_1_1 a_3_4 a_3_5 a_7_8 a_9_11
211//                  : weights       2      2      2      2      8     10      1      1      3      3      7      9
212//                  : weights       0      0      0      0      0     -1      0      0      0      0      0      0
213//                  : weights      -1     -1      0      0      0      0     -1     -1     -1     -1     -1     -1
214//                  : weights      -1      0      0      0      0      0      0      0      0      0      0      0
215//                  : weights       0     -1      0      0      0      0      0      0      0      0      0      0
216//                  : weights       0      0     -1      0      0      0      0      0      0      0      0      0
217//                  : weights       0      0      0     -1      0      0      0      0      0      0      0      0
218//                  : weights       0      0      0      0     -1      0      0      0      0      0      0      0
219//                  : weights       0      0      0      0      0      0     -1      0      0      0      0      0
220//                  : weights       0      0      0      0      0      0      0     -1      0      0      0      0
221//                  : weights       0      0      0      0      0      0      0      0     -1      0      0      0
222//                  : weights       0      0      0      0      0      0      0      0      0     -1      0      0
223//        block   2 : ordering C
224//   noncommutative relations:
225//    a_1_1a_1_0=-a_1_0*a_1_1
226//    a_3_4a_1_0=-a_1_0*a_3_4
227//    a_3_5a_1_0=-a_1_0*a_3_5
228//    a_7_8a_1_0=-a_1_0*a_7_8
229//    a_9_11a_1_0=-a_1_0*a_9_11
230//    a_3_4a_1_1=-a_1_1*a_3_4
231//    a_3_5a_1_1=-a_1_1*a_3_5
232//    a_7_8a_1_1=-a_1_1*a_7_8
233//    a_9_11a_1_1=-a_1_1*a_9_11
234//    a_3_5a_3_4=-a_3_4*a_3_5
235//    a_7_8a_3_4=-a_3_4*a_7_8
236//    a_9_11a_3_4=-a_3_4*a_9_11
237//    a_7_8a_3_5=-a_3_5*a_7_8
238//    a_9_11a_3_5=-a_3_5*a_9_11
239//    a_9_11a_7_8=-a_7_8*a_9_11
240//   noncommutative type:5
241//   is skew constant:0
242//   alternating variables: [7, 12]
243//   ref:3
244// quotient ring from ideal
245_[1]=a_1_0*a_1_1
246_[2]=a_2_0*a_1_0
247_[3]=a_2_1*a_1_0-a_2_0*a_1_1
248_[4]=a_2_1*a_1_1
249_[5]=b_2_3*a_1_0-b_2_2*a_1_1
250_[6]=a_2_0^2
251_[7]=a_2_0*a_2_1
252_[8]=a_2_1^2
253_[9]=a_2_0*b_2_2+a_1_0*a_3_4
254_[10]=a_2_0*b_2_3+2*a_1_1*a_3_4-a_1_0*a_3_5
255_[11]=a_2_1*b_2_2+2*a_2_0*b_2_3+a_1_0*a_3_5
256_[12]=a_2_1*b_2_3-a_1_1*a_3_5
257_[13]=a_2_0*a_3_4
258_[14]=a_2_1*a_3_4-a_2_0*a_3_5
259_[15]=a_2_1*a_3_5
260_[16]=b_2_3*a_3_4-b_2_2*a_3_5-2*b_2_2*b_2_3*a_1_1-2*b_2_2^2*a_1_1
261_[17]=a_2_0*a_1_1*a_3_5
262_[18]=b_2_2*a_1_1*a_3_4-b_2_2*a_1_0*a_3_5
263_[19]=a_1_0*a_3_4*a_3_5
264_[20]=a_1_1*a_3_4*a_3_5
265_[21]=b_2_2*a_3_4*a_3_5-2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5
266_[22]=a_1_0*a_7_8+2*b_2_2^2*a_1_1*a_3_5+b_2_2^2*a_1_0*a_3_5-2*b_2_2^2*a_1_0*a_3_4
267_[23]=a_1_1*a_7_8+2*b_2_2*b_2_3*a_1_1*a_3_5+b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5
268_[24]=a_2_0*a_7_8
269_[25]=a_2_1*a_7_8
270_[26]=b_2_2*a_7_8+b_2_2*b_2_3^3*a_1_1+2*b_2_2^2*b_2_3*a_3_5+b_2_2^3*a_3_5-2*b_2_2^3*a_3_4+2*b_2_2^3*b_2_3*a_1_1+2*b_2_2^4*a_1_1
271_[27]=b_2_3*a_7_8+2*b_2_2*b_2_3^2*a_3_5+b_2_2^2*b_2_3*a_3_5+2*b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*a_3_5-2*b_2_2^3*b_2_3*a_1_1+2*b_2_2^4*a_1_1
272_[28]=b_8_9*a_1_0-b_2_2*b_2_3^3*a_1_1+b_2_2^2*b_2_3^2*a_1_1+2*b_2_2^4*a_1_1
273_[29]=b_8_9*a_1_1+b_2_2*b_2_3^3*a_1_1+2*b_2_2^3*b_2_3*a_1_1-b_2_2^4*a_1_1
274_[30]=a_1_0*a_9_11+2*b_2_2*b_2_3^2*a_1_1*a_3_5+2*b_2_2^2*b_2_3*a_1_1*a_3_5+b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5+b_2_2^3*a_1_0*a_3_4
275_[31]=a_1_1*a_9_11-b_2_3^3*a_1_1*a_3_5+2*b_2_2*b_2_3^2*a_1_1*a_3_5+b_2_2^2*b_2_3*a_1_1*a_3_5-b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5
276_[32]=a_3_4*a_7_8-b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5-b_2_2^3*a_1_1*a_3_5
277_[33]=a_3_5*a_7_8-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5-2*b_2_2^3*a_1_0*a_3_5
278_[34]=a_2_0*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5-2*b_2_2^3*a_1_0*a_3_5
279_[35]=a_2_1*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5
280_[36]=b_2_2*b_8_9-b_2_2*b_2_3^4+b_2_2^2*b_2_3^3+2*b_2_2^4*b_2_3-2*b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5
281_[37]=b_2_3*b_8_9+b_2_2*b_2_3^4+2*b_2_2^3*b_2_3^2-b_2_2^4*b_2_3-2*b_2_3^3*a_1_1*a_3_5-b_2_2*b_2_3^2*a_1_1*a_3_5
282_[38]=a_2_0*a_9_11
283_[39]=a_2_1*a_9_11
284_[40]=b_2_2*b_2_3^4*a_1_1-b_2_2^5*a_1_1
285_[41]=b_2_2*a_9_11+2*b_2_2*b_2_3^3*a_3_5+2*b_2_2^2*b_2_3^2*a_3_5-b_2_2^2*b_2_3^3*a_1_1+b_2_2^3*b_2_3*a_3_5-b_2_2^4*a_3_5+b_2_2^4*a_3_4+2*b_2_2^4*b_2_3*a_1_1
286_[42]=b_2_3*a_9_11-b_2_3^4*a_3_5+2*b_2_2*b_2_3^3*a_3_5+b_2_2^2*b_2_3^2*a_3_5-b_2_2^3*b_2_3*a_3_5+2*b_2_2^3*b_2_3^2*a_1_1-b_2_2^4*a_3_5+2*b_2_2^4*b_2_3*a_1_1+b_2_2^5*a_1_1
287_[43]=b_8_9*a_3_4-b_2_2*b_2_3^3*a_3_5+b_2_2^2*b_2_3^2*a_3_5+2*b_2_2^3*b_2_3^2*a_1_1+2*b_2_2^4*a_3_5-b_2_2^4*b_2_3*a_1_1+2*b_2_2^5*a_1_1
288_[44]=b_8_9*a_3_5+b_2_2*b_2_3^3*a_3_5+2*b_2_2^3*b_2_3*a_3_5-b_2_2^4*a_3_5
289_[45]=b_2_2*b_2_3^3*a_1_1*a_3_5-b_2_2^4*a_1_0*a_3_5
290_[46]=a_3_4*a_9_11-b_2_2^2*b_2_3^2*a_1_1*a_3_5+b_2_2^3*b_2_3*a_1_1*a_3_5-2*b_2_2^4*a_1_1*a_3_5+2*b_2_2^4*a_1_0*a_3_5
291_[47]=a_3_5*a_9_11-2*b_2_2^3*b_2_3*a_1_1*a_3_5-2*b_2_2^4*a_1_1*a_3_5-b_2_2^4*a_1_0*a_3_5
292_[48]=b_2_2*b_2_3^5-b_2_2^5*b_2_3
293_[49]=b_2_2*b_2_3^4*a_3_5-b_2_2^5*a_3_5
294_[50]=b_8_9*a_7_8+2*b_2_2^3*b_2_3^3*a_3_5-2*b_2_2^4*b_2_3^2*a_3_5-b_2_2^4*b_2_3^3*a_1_1-b_2_2^5*b_2_3^2*a_1_1-2*b_2_2^6*a_3_5+b_2_2^6*b_2_3*a_1_1+2*b_2_2^7*a_1_1
295_[51]=a_7_8*a_9_11-2*b_2_2^4*b_2_3^2*a_1_1*a_3_5+b_2_2^5*b_2_3*a_1_1*a_3_5+b_2_2^6*a_1_0*a_3_5
296_[52]=b_8_9^2+2*b_2_2^5*b_2_3^3-b_2_2^7*b_2_3+2*b_2_2^5*b_2_3*a_1_1*a_3_5+2*b_2_2^6*a_1_1*a_3_5-2*b_2_2^6*a_1_0*a_3_5
297_[53]=b_8_9*a_9_11+2*b_2_2^5*b_2_3^2*a_3_5-b_2_2^5*b_2_3^3*a_1_1+b_2_2^6*b_2_3*a_3_5+2*b_2_2^7*a_3_5-2*b_2_2^7*b_2_3*a_1_1-2*b_2_2^8*a_1_1
298_[54]=a_1_0^2
299_[55]=a_1_1^2
300_[56]=a_3_4^2
301_[57]=a_3_5^2
302_[58]=a_7_8^2
303_[59]=a_9_11^2
304sca.quotient.bug.sing 102>
305sca.quotient.bug.sing 103. ideal FRS = c_10_12, b_2_2^2-b_2_2*b_2_3+b_2_3^2;
306sca.quotient.bug.sing 104> quotient(ideal(0),ideal(FRS[1])); // q1
307_[1]=0
308sca.quotient.bug.sing 105>
309sca.quotient.bug.sing 106. FRS[1];
310c_10_12
311sca.quotient.bug.sing 107> FRS[2];
312b_2_3^2-b_2_2*b_2_3+b_2_2^2
313sca.quotient.bug.sing 108>
314sca.quotient.bug.sing 109. quotient(ideal(FRS[1]),ideal(FRS[2])); // q2
315
316// ***dError: assume violation at sca.cc:1078 condition: ((strat->P.p)->next) != strat->tail occured at:
317
318// ***dPolyError: Zero coef
319 occured at
320 occured for poly: 0  addr:0x2a96707ae8 size:152 allocated at
321  #0 at pInline1.h:99        in p_Init             
322
323// ***dPolyError: Zero coef
324 occured at
325 occured for poly: 0  addr:0x2a96707ae8 size:152 allocated at
326  #0 at pInline1.h:99        in p_Init             
327
328// ***dPolyError: Zero coef
329 occured at
330 occured for poly: 0+b_2_2*b_2_3*c_10_12*gen(1)+...  addr:0x2a96707ae8 size:152 allocated at
331  #0 at pInline1.h:99        in p_Init             
332
333// ***dPolyError: Zero coef
334 occured at
335 occured for poly: 0+b_2_2*b_2_3*c_10_12*gen(1)+...  addr:0x2a96707ae8 size:152 allocated at
336  #0 at pInline1.h:99        in p_Init             
337wrong mod p number 64507 at pDebug.cc,239
338
339// ***dPolyError: mixed poly/vector
340 occured at
341 occured for poly: --64502*b_2_2*b_2_3*c_10_12*gen(1)--64502*b_2_2^2*c_10_12*gen(1)+...  addr:0x2a96712928 size:152 allocated at
342  #0 at sca.cc:271           in sca_mm_Mult_mm     
343wrong mod p number 64507 at pDebug.cc,239
344wrong mod p number 64507 at pDebug.cc,239
345wrong mod p number 64507 at pDebug.cc,239
346wrong mod p number 64507 at pDebug.cc,239
347wrong mod p number 64507 at pDebug.cc,239
348wrong mod p number 64507 at pDebug.cc,239
349// ** Multiplication in the left module from the right
350wrong mod p number 64507 at pDebug.cc,239
351
352// ***dPolyError: mixed poly/vector
353 occured at
354 occured for poly: --64502*b_2_2*b_2_3*c_10_12*gen(1)--64502*b_2_2^2*c_10_12*gen(1)+...  addr:0x2a9670d228 size:152 allocated at  ra=0x2a9644f0f7
355wrong mod p number 64507 at pDebug.cc,239
356wrong mod p number 64507 at pDebug.cc,239
357wrong mod p number 64507 at pDebug.cc,239
358wrong mod p number 64507 at pDebug.cc,239
359wrong mod p number 64507 at pDebug.cc,239
360wrong mod p number 64507 at pDebug.cc,239
361   ? sca_mm_Mult_p: exponent mismatch 1 and 1
362
363// ** Multiplication in the left module from the right
364wrong mod p number 64507 at pDebug.cc,239
365
366// ***dPolyError: mixed poly/vector
367 occured at
368 occured for poly: --64502*b_2_2*b_2_3*c_10_12*gen(1)--64502*b_2_2^2*c_10_12*gen(1)+...  addr:0x2a963b55a8 size:152 allocated at  ra=0x2a9644f0f7
369wrong mod p number 64507 at pDebug.cc,239
370wrong mod p number 64507 at pDebug.cc,239
371wrong mod p number 64507 at pDebug.cc,239
372wrong mod p number 64507 at pDebug.cc,239
373wrong mod p number 64507 at pDebug.cc,239
374wrong mod p number 64507 at pDebug.cc,239
375   ? sca_mm_Mult_p: exponent mismatch 1 and 1
376
377wrong mod p number 64507 at pDebug.cc,239
378
379// ***dPolyError: mixed poly/vector
380 occured at
381 occured for poly: --64502*b_2_2*b_2_3*c_10_12*gen(1)--64502*b_2_2^2*c_10_12*gen(1)+...  addr:0x2a96712928 size:152 allocated at
382  #0 at sca.cc:271           in sca_mm_Mult_mm     
383wrong mod p number 64507 at pDebug.cc,239
384
385// ***dPolyError: mixed poly/vector
386 occured at
387 occured for poly: --64502*b_2_2*b_2_3*c_10_12*gen(1)--64502*b_2_2^2*c_10_12*gen(1)+...  addr:0x2a96712928 size:152 allocated at
388  #0 at sca.cc:271           in sca_mm_Mult_mm     
389// ** Multiplication in the left module from the right
390wrong mod p number 64507 at pDebug.cc,239
391wrong mod p number 64507 at pDebug.cc,239
392wrong mod p number 64507 at pDebug.cc,239
393wrong mod p number 64507 at pDebug.cc,239
394wrong mod p number 64507 at pDebug.cc,239
395wrong mod p number 64507 at pDebug.cc,239
396   ? sca_mm_Mult_pp: exponent mismatch 1 and 1
397
398// ** Multiplication in the left module from the right
399wrong mod p number 64507 at pDebug.cc,239
400wrong mod p number 64507 at pDebug.cc,239
401wrong mod p number 64507 at pDebug.cc,239
402wrong mod p number 64507 at pDebug.cc,239
403wrong mod p number 64507 at pDebug.cc,239
404wrong mod p number 64507 at pDebug.cc,239
405   ? sca_mm_Mult_pp: exponent mismatch 1 and 1
406
407***omError_FreedAddrOrMemoryCorrupted: addr had previosuly been freed  or memory corrupted
408 occured at:
409  #0 at pDebug.cc:213        in _p_Test             
410 occured for addr:0x2a96707ae8 size:152 allocated at
411  #0 at pInline1.h:99        in p_Init             
412 freed at
413  #0 at pInline2.h:266       in p_DeleteLm         
414
415// ***dPolyError: memory error
416 occured at
417 occured for poly: Singular : signal 11 (v: 3042/2008041813):
418Segment fault/Bus error occurred at 2a964145a8 because of 10282 (r:1208521040)
419please inform the authors
420
421// ***dError: Caught Signal 11 occured at: