Ticket #119: mres_vl.log

File mres_vl.log, 4.7 KB (added by Oleksandr , 15 years ago)

same bug in commutative qring!

Line 
1Singular for x86_64-Linux version 3-1-0 (3100-2009033118)  Mar 31 2009 19:22:14
2with
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))
8argv[0]   :     ../Singularg
9SearchPath:     /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/Singular/LIB
10Singular  :     /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/Singular/Singularg.OK
11BinDir    :     /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/Singular
12RootDir   :     /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS
13DefaultDir:     /users/schlupp/guest/motsak/MY.Math/CVS
14InfoFile  :     
15IdxFile   :     
16HtmlDir   :     
17ManualUrl :     http://www.singular.uni-kl.de/Manual/3-1-0
18ExDir     :     
19Path      :     /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:.
20EmacsDir  :     /var/autofs/nfs/schlupp/guest/motsak/MY.Math/CVS/emacs
21Available HelpBrowsers: dummy, emacs,
22Current HelpBrowser: dummy
23mres_vl.tst   1> proc Test()
24mres_vl.tst   2. {
25mres_vl.tst   3.   ////////////////////////////////////////////////////////
26mres_vl.tst   5.   basering;
27mres_vl.tst   7.
28mres_vl.tst   9.
29mres_vl.tst  11.   ideal I = maxideal(1);
30mres_vl.tst  13.
31mres_vl.tst  15.   def RR = nres(I, 0);
32mres_vl.tst  17.   RR;
33mres_vl.tst  19.   list LL = RR;
34mres_vl.tst  21.   LL;
35mres_vl.tst  23.   
36mres_vl.tst  25.
37mres_vl.tst  27.   def R = mres(I, 0); // BUG!
38mres_vl.tst  29.   R;
39mres_vl.tst  31.
40mres_vl.tst  33.   list L = R;
41mres_vl.tst  35.
42mres_vl.tst  37.   "Resolution: ";
43mres_vl.tst  39.   
44mres_vl.tst  41.   L;
45mres_vl.tst  43.
46mres_vl.tst  45.   "Syzygy: ";
47mres_vl.tst  47.
48mres_vl.tst  49.   syz(I);
49mres_vl.tst  51.
50mres_vl.tst  53.   "Syzygy(Syzygy):";
51mres_vl.tst  55.
52mres_vl.tst  57.   syz(syz(I));
53mres_vl.tst  59. }
54mres_vl.tst  60>
55mres_vl.tst  61. system("NCUseExtensions", 0); // NO SCA!!!
561
57mres_vl.tst  62> option(prot); // option(redTail); option(redSB);
58mres_vl.tst  63> LIB "ncalg.lib";
59mres_vl.tst  64>
60mres_vl.tst  65.
61mres_vl.tst  66.
62mres_vl.tst  67.
63mres_vl.tst  68.
64mres_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.
69mres_vl.tst  70> qring q = std(maxideal(1));
70[1048575:1]1(2)sss
71product criterion:3 chain criterion:0
72mres_vl.tst  71>
73mres_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
100product criterion:0 chain criterion:0
101(2)s1ss
102product criterion:0 chain criterion:0
103[1]
104{4}(2)sss
1051(2)s(4)s(6)s2(8)--------
106product criterion:0 chain criterion:0
107[1048575:4]
108product criterion:0 chain criterion:0
109[2]
110m
111::Test  10>   RR;
112 1      3      3     
113q <--  q <--  q
114
1150      1      2     
116resolution 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]
136mfSingular : signal 11 (v: 3100/2009033118):
137current line:>>  def R = mres(I, 0); // BUG!<<
138Segment fault/Bus error occurred at 2b294650a850 because of 10206 (r:1238780907)
139please inform the authors
140
141// ***dError: Caught Signal 11 occured at: