Ticket #119: mres_vl.tst.log

File mres_vl.tst.log, 4.6 KB (added by Oleksandr , 14 years ago)

my log with Segmentation fault

Line 
1Singular for x86_64-Linux version 3-1-0 (3100-2009032419)  Mar 26 2009 19:41:20
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=1238510318
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> system("NCUseExtensions", 0); // NO SCA!!!
241
25mres_vl.tst   2> option(prot); // option(redTail); option(redSB);
26mres_vl.tst   3> LIB "ncalg.lib";
27mres_vl.tst   4>
28mres_vl.tst   5.
29mres_vl.tst   6. def U = makeUsl2(); setring U;
30ncalg.lib::makeUsl2  74. parameter list #; 
31ncalg.lib::makeUsl2  75>    int @p = defInt(#);
32ncalg.lib::makeUsl2  76>    ring @@@rrr=@p,(e,f,h),dp;
33ncalg.lib::makeUsl2  77>    matrix D[3][3]=0;
34ncalg.lib::makeUsl2  78>    D[1,2]=-h;
35ncalg.lib::makeUsl2  79>    D[1,3]=2*e;
36ncalg.lib::makeUsl2  80>    D[2,3]=-2*f;
37ncalg.lib::makeUsl2  81>    def @@RR=nc_algebra(1,D);
38ncalg.lib::makeUsl2  82>    return(@@RR);
39mres_vl.tst   7> // Test(); // G-algebra // No bug here!
40mres_vl.tst   8.
41mres_vl.tst   9. ideal Q = twostd(ideal(var(3)));
421s
43product criterion:0 chain criterion:0
44rt
45rt
461(2)product criterion:0 chain criterion:0
47r
48r
49r
50r
51r
52r
53mres_vl.tst  10> Q;
54Q[1]=h
55Q[2]=f
56Q[3]=e
57mres_vl.tst  11> qring RQ = Q;
58mres_vl.tst  12>
59mres_vl.tst  13. // Test(); // GR-algebra... Segmentation fault!!!???
60mres_vl.tst  14.
61mres_vl.tst  15.
62mres_vl.tst  16.   ////////////////////////////////////////////////////////
63mres_vl.tst  17.   basering;
64//   characteristic : 0
65//   number of vars : 3
66//        block   1 : ordering dp
67//                  : names    e f h
68//        block   2 : ordering C
69//   noncommutative relations:
70//    fe=ef-h
71//    he=eh+2e
72//    hf=fh-2f
73//   noncommutative type:3
74//      is skew constant:1
75//                 ncref:1
76//               commref:1
77//               baseref:1
78// quotient ring from ideal
79_[1]=h
80_[2]=f
81_[3]=e
82mres_vl.tst  18>
83mres_vl.tst  19.   ideal I = maxideal(1);
84mres_vl.tst  20>
85mres_vl.tst  21.   def RR = nres(I, 0);
86// ** full resolution in a qring may be infinite, setting max length to 3
87{1}1(2)s
88s
89s
90product criterion:0 chain criterion:0
91(2)s
92// ** gnc_CreateSpolyNew: vector & poly in SPoly!
93// ** gnc_CreateSpolyNew: vector & poly in SPoly!
94// ** gnc_CreateSpolyNew: vector & poly in SPoly!
951s
96(3)s
97// ** gnc_CreateSpolyNew: vector & poly in SPoly!
98// ** gnc_CreateSpolyNew: vector & poly in SPoly!
99// ** gnc_CreateSpolyNew: vector & poly in SPoly!
100// ** gnc_CreateSpolyNew: vector & poly in SPoly!
101// ** gnc_CreateSpolyNew: vector & poly in SPoly!
102// ** gnc_CreateSpolyNew: vector & poly in SPoly!
103product criterion:0 chain criterion:0
104[1]
105{4}1(2)s
106(4)s
107(6)s
108// ** gnc_CreateSpolyNew: vector & poly in SPoly!
1092(8)// ** gnc_CreateSpolyNew: vector & poly in SPoly!
110(7)// ** gnc_CreateSpolyNew: vector & poly in SPoly!
111(6)// ** gnc_CreateSpolyNew: vector & poly in SPoly!
112(5)// ** gnc_CreateSpolyNew: vector & poly in SPoly!
113(4)// ** gnc_CreateSpolyNew: vector & poly in SPoly!
114(3)// ** gnc_CreateSpolyNew: vector & poly in SPoly!
115(2)// ** gnc_CreateSpolyNew: vector & poly in SPoly!
116// ** gnc_CreateSpolyNew: vector & poly in SPoly!
117product criterion:0 chain criterion:0
118product criterion:0 chain criterion:0
119[2]
120m
121mres_vl.tst  22>   RR;
122  1       3       3       
123RQ <--  RQ <--  RQ
124
1250       1       2       
126resolution not minimized yet
127
128mres_vl.tst  23>
129mres_vl.tst  24.   def R = mres(I, 0);
130// ** full resolution in a qring may be infinite, setting max length to 5
131{1}VVV[1]
132mfSingular : signal 11 (v: 3100/2009032419):
133current line:>>  def R = mres(I, 0);<<
134Segment fault/Bus error occurred at 2ba7cd2decb0 because of 10202 (r:1238510318)
135please inform the authors
136
137// ***dError: Caught Signal 11 occured at: