1 | Singular for x86_64-Linux version 3-1-0 (3100-2009033118) Mar 31 2009 19:22:14 |
---|
2 | with |
---|
3 | factory(@(#) factoryVersion = 3.1.0),libfac(3.1.0,Aug 2008), |
---|
4 | GMP(4.2),NTL(5.4.2),64bit,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=1238780907 |
---|
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 (4.1.2 (Gentoo 4.1.2 p1.3)) |
---|
8 | argv[0] : ../Singularg |
---|
9 | SearchPath: /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/Singular/LIB |
---|
10 | Singular : /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/Singular/Singularg.OK |
---|
11 | BinDir : /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/Singular |
---|
12 | RootDir : /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS |
---|
13 | DefaultDir: /users/schlupp/guest/motsak/MY.Math/CVS |
---|
14 | InfoFile : |
---|
15 | IdxFile : |
---|
16 | HtmlDir : |
---|
17 | ManualUrl : http://www.singular.uni-kl.de/Manual/3-1-0 |
---|
18 | ExDir : |
---|
19 | Path : /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/Singular:/usr/local/bin:/bin:/sbin:/usr/bin:/usr/sbin:/usr/bin/X11:/users/schlupp/guest/motsak/bin:. |
---|
20 | EmacsDir : /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/emacs |
---|
21 | Available HelpBrowsers: dummy, emacs, |
---|
22 | Current HelpBrowser: dummy |
---|
23 | mres_vl.tst 1> proc Test() |
---|
24 | mres_vl.tst 2. { |
---|
25 | mres_vl.tst 3. //////////////////////////////////////////////////////// |
---|
26 | mres_vl.tst 5. basering; |
---|
27 | mres_vl.tst 7. |
---|
28 | mres_vl.tst 9. |
---|
29 | mres_vl.tst 11. ideal I = maxideal(1); |
---|
30 | mres_vl.tst 13. |
---|
31 | mres_vl.tst 15. def RR = nres(I, 0); |
---|
32 | mres_vl.tst 17. RR; |
---|
33 | mres_vl.tst 19. list LL = RR; |
---|
34 | mres_vl.tst 21. LL; |
---|
35 | mres_vl.tst 23. |
---|
36 | mres_vl.tst 25. |
---|
37 | mres_vl.tst 27. def R = mres(I, 0); // BUG! |
---|
38 | mres_vl.tst 29. R; |
---|
39 | mres_vl.tst 31. |
---|
40 | mres_vl.tst 33. list L = R; |
---|
41 | mres_vl.tst 35. |
---|
42 | mres_vl.tst 37. "Resolution: "; |
---|
43 | mres_vl.tst 39. |
---|
44 | mres_vl.tst 41. L; |
---|
45 | mres_vl.tst 43. |
---|
46 | mres_vl.tst 45. "Syzygy: "; |
---|
47 | mres_vl.tst 47. |
---|
48 | mres_vl.tst 49. syz(I); |
---|
49 | mres_vl.tst 51. |
---|
50 | mres_vl.tst 53. "Syzygy(Syzygy):"; |
---|
51 | mres_vl.tst 55. |
---|
52 | mres_vl.tst 57. syz(syz(I)); |
---|
53 | mres_vl.tst 59. } |
---|
54 | mres_vl.tst 60> |
---|
55 | mres_vl.tst 61. system("NCUseExtensions", 0); // NO SCA!!! |
---|
56 | 1 |
---|
57 | mres_vl.tst 62> option(prot); // option(redTail); option(redSB); |
---|
58 | mres_vl.tst 63> LIB "ncalg.lib"; |
---|
59 | mres_vl.tst 64> |
---|
60 | mres_vl.tst 65. |
---|
61 | mres_vl.tst 66. |
---|
62 | mres_vl.tst 67. |
---|
63 | mres_vl.tst 68. |
---|
64 | mres_vl.tst 69. ring r; |
---|
65 | // ** Could not open dynamic library: /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/Singular/p_Procs_FieldIndep.sog |
---|
66 | // ** Error message from system: /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/Singular/p_Procs_FieldIndep.sog: cannot open shared object file: No such file or directory |
---|
67 | // ** Singular will work properly, but much slower. |
---|
68 | // ** See the INSTALL section in the Singular manual for details. |
---|
69 | mres_vl.tst 70> qring q = std(maxideal(1)); |
---|
70 | [1048575:1]1(2)sss |
---|
71 | product criterion:3 chain criterion:0 |
---|
72 | mres_vl.tst 71> |
---|
73 | mres_vl.tst 72. Test(); // BUG: resolution minimization in a factor algebra: Segmentation fault!!! |
---|
74 | ::Test 1. |
---|
75 | ::Test 2. |
---|
76 | ::Test 3. //////////////////////////////////////////////////////// |
---|
77 | ::Test 4. basering; |
---|
78 | // characteristic : 32003 |
---|
79 | // number of vars : 3 |
---|
80 | // block 1 : ordering dp |
---|
81 | // : names x y z |
---|
82 | // block 2 : ordering C |
---|
83 | // quotient ring from ideal |
---|
84 | _[1]=z |
---|
85 | _[2]=y |
---|
86 | _[3]=x |
---|
87 | ::Test 5> |
---|
88 | ::Test 6. |
---|
89 | ::Test 7. ideal I = maxideal(1); |
---|
90 | ::Test 8> |
---|
91 | ::Test 9. def RR = nres(I, 0); |
---|
92 | // ** full resolution in a qring may be infinite, setting max length to 3 |
---|
93 | {1}1(2)sss |
---|
94 | // ***dError: assume violation at kutil.cc:5482 condition: p.FDeg == p.pFDeg() occured at: |
---|
95 | |
---|
96 | // ***dError: assume violation at kInline.cc:399 condition: FDeg == this->pFDeg() occured at: |
---|
97 | |
---|
98 | // ***dError: T[3] FDeg error: has 0, specified to have 1 occured at: |
---|
99 | |
---|
100 | product criterion:0 chain criterion:0 |
---|
101 | (2)s1ss |
---|
102 | product criterion:0 chain criterion:0 |
---|
103 | [1] |
---|
104 | {4}(2)sss |
---|
105 | 1(2)s(4)s(6)s2(8)-------- |
---|
106 | product criterion:0 chain criterion:0 |
---|
107 | [1048575:4] |
---|
108 | product criterion:0 chain criterion:0 |
---|
109 | [2] |
---|
110 | m |
---|
111 | ::Test 10> RR; |
---|
112 | 1 3 3 |
---|
113 | q <-- q <-- q |
---|
114 | |
---|
115 | 0 1 2 |
---|
116 | resolution not minimized yet |
---|
117 | |
---|
118 | ::Test 11> list LL = RR; |
---|
119 | ::Test 12> LL; |
---|
120 | [1]: |
---|
121 | _[1]=x |
---|
122 | _[2]=y |
---|
123 | _[3]=z |
---|
124 | [2]: |
---|
125 | _[1]=gen(1) |
---|
126 | _[2]=gen(2) |
---|
127 | _[3]=gen(3) |
---|
128 | [3]: |
---|
129 | _[1]=0 |
---|
130 | ::Test 13> |
---|
131 | ::Test 14. |
---|
132 | ::Test 15. def R = mres(I, 0); // BUG! |
---|
133 | // ** full resolution in a qring may be infinite, setting max length to 5 |
---|
134 | {1}VVV[1048575:4] |
---|
135 | [1] |
---|
136 | mfSingular : signal 11 (v: 3100/2009033118): |
---|
137 | current line:>> def R = mres(I, 0); // BUG!<< |
---|
138 | Segment fault/Bus error occurred at 2b294650a850 because of 10206 (r:1238780907) |
---|
139 | please inform the authors |
---|
140 | |
---|
141 | // ***dError: Caught Signal 11 occured at: |
---|