Ticket #113: opposite.tst.log

File opposite.tst.log, 8.3 KB (added by Oleksandr , 15 years ago)

results of my test of opposite for Exterior algebra: BUG!!!!!!!! (memory access!)

Line 
1Singular for x86_64-Linux version 3-1-0 (3100-2009032419)  Mar 26 2009 20:51:12
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=1238449449
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
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
23opposite.tst   1> LIB "nctools.lib";
24opposite.tst   2> ring r;
25opposite.tst   3> def E = Exterior(); setring E; E;
26nctools.lib::Exterior 1217. parameter list #; 
27nctools.lib::Exterior 1218>   string rname=nameof(basering);
28nctools.lib::Exterior 1219>   if ( rname == "basering") // i.e. no ring has been set yet
29nctools.lib::Exterior 1220.   {
30nctools.lib::Exterior 1223.     "You have to call the procedure from the ring";
31nctools.lib::Exterior 1224>   int N = nvars(basering);
32nctools.lib::Exterior 1225>   string NewRing = "ring @R=("+charstr(basering)+"),("+varstr(basering)+"),("+ordstr(basering)+");";
33nctools.lib::Exterior 1226>   execute(NewRing);
34nctools.lib::Exterior 1227>   matrix @E = UpOneMatrix(N);
35nctools.lib::Exterior 1228>   @E = -1*(@E);
36nctools.lib::Exterior 1229>   def @@RR = nc_algebra(@E,0); setring @@RR;
37nctools.lib::Exterior 1230>   int i;
38nctools.lib::Exterior 1231>   ideal Q;
39nctools.lib::Exterior 1232>   for ( i=1; i<=N; i++ )
40nctools.lib::Exterior 1233.   {
41nctools.lib::Exterior 1235.     Q[i] = var(i)^2;
42nctools.lib::Exterior 1236>   Q = twostd(Q);
43nctools.lib::Exterior 1237>   qring @EA = Q;
44nctools.lib::Exterior 1238>   return(@EA);
45//   characteristic : 32003
46//   number of vars : 3
47//        block   1 : ordering dp
48//                  : names    x y z
49//        block   2 : ordering C
50//   noncommutative relations:
51//    yx=-xy
52//    zx=-xz
53//    zy=-yz
54//   noncommutative type:5
55//      is skew constant:1
56//                 ncref:1
57//               commref:1
58//               baseref:1
59//   alternating variables: [1, 3]
60//   quotient of sca by ideal (NULL)
61// quotient ring from ideal
62_[1]=z2
63_[2]=y2
64_[3]=x2
65opposite.tst   4> def S = opposite(E); setring S; S;
66
67// ***dError: assume violation at ring.cc:4641 condition: ncRingType(r) == ncRingType(src) occured at:
68//   characteristic : 32003
69//   number of vars : 3
70//        block   1 : ordering a
71//                  : names    Z Y X
72//                  : weights  1 1 1
73//        block   2 : ordering ls
74//                  : names    Z Y X
75//        block   3 : ordering C
76//   noncommutative relations:
77//    YZ=-ZY
78//    XZ=-ZX
79//    XY=-YX
80//   noncommutative type:5
81//      is skew constant:1
82//                 ncref:1
83//               commref:1
84//               baseref:1
85//   alternating variables: [1, 3]
86//   quotient of sca by ideal (NULL)
87// quotient ring from ideal
88_[1]=Z2
89_[2]=Y2
90_[3]=X2
91opposite.tst   5> def SS = opposite(S); setring SS; SS;
92
93// ***dError: assume violation at ring.cc:4641 condition: ncRingType(r) == ncRingType(src) occured at:
94***omError_WrongSize: wrong size specification of addr
95 occured at:
96  #0 at pDebug.cc:213        in _p_Test             
97 occured for addr:0x2af99f0acf48 size:40 specified size:48 allocated at
98  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
99
100// ***dPolyError: memory error
101 occured at
102 occured for poly:  addr:0x2af99f0acf48 size:40 allocated at
103  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
104***omError_WrongSize: wrong size specification of addr
105 occured at:
106  #0 at pDebug.cc:213        in _p_Test             
107 occured for addr:0x2af99f0acf48 size:40 specified size:48 allocated at
108  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
109
110// ***dPolyError: memory error
111 occured at
112 occured for poly:  addr:0x2af99f0acf48 size:40 allocated at
113  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
114***omError_WrongSize: wrong size specification of addr
115 occured at:
116  #0 at pDebug.cc:213        in _p_Test             
117 occured for addr:0x2af99f0acf48 size:40 specified size:48 allocated at
118  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
119
120// ***dPolyError: memory error
121 occured at
122 occured for poly:  addr:0x2af99f0acf48 size:40 allocated at
123  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
124***omError_WrongSize: wrong size specification of addr
125 occured at:
126  #0 at pDebug.cc:213        in _p_Test             
127 occured for addr:0x2af99f0aced8 size:40 specified size:48 allocated at
128  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
129
130// ***dPolyError: memory error
131 occured at
132 occured for poly:  addr:0x2af99f0aced8 size:40 allocated at
133  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
134***omError_WrongSize: wrong size specification of addr
135 occured at:
136  #0 at pDebug.cc:213        in _p_Test             
137 occured for addr:0x2af99f0aced8 size:40 specified size:48 allocated at
138  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
139
140// ***dPolyError: memory error
141 occured at
142 occured for poly:  addr:0x2af99f0aced8 size:40 allocated at
143  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
144***omError_WrongSize: wrong size specification of addr
145 occured at:
146  #0 at pDebug.cc:213        in _p_Test             
147 occured for addr:0x2af99f0aced8 size:40 specified size:48 allocated at
148  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
149
150// ***dPolyError: memory error
151 occured at
152 occured for poly:  addr:0x2af99f0aced8 size:40 allocated at
153  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
154***omError_WrongSize: wrong size specification of addr
155 occured at:
156  #0 at pDebug.cc:213        in _p_Test             
157 occured for addr:0x2af99f0ace68 size:40 specified size:48 allocated at
158  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
159
160// ***dPolyError: memory error
161 occured at
162 occured for poly:  addr:0x2af99f0ace68 size:40 allocated at
163  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
164***omError_WrongSize: wrong size specification of addr
165 occured at:
166  #0 at pDebug.cc:213        in _p_Test             
167 occured for addr:0x2af99f0ace68 size:40 specified size:48 allocated at
168  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
169
170// ***dPolyError: memory error
171 occured at
172 occured for poly:  addr:0x2af99f0ace68 size:40 allocated at
173  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
174***omError_WrongSize: wrong size specification of addr
175 occured at:
176  #0 at pDebug.cc:213        in _p_Test             
177 occured for addr:0x2af99f0ace68 size:40 specified size:48 allocated at
178  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
179
180// ***dPolyError: memory error
181 occured at
182 occured for poly:  addr:0x2af99f0ace68 size:40 allocated at
183  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral
184//   characteristic : 32003
185//   number of vars : 3
186//        block   1 : ordering wp
187//                  : names    x y z
188//                  : weights  1 1 1
189//        block   2 : ordering C
190//        block   3 : ordering C
191//   noncommutative relations:
192//    yx=-xy
193//    zx=-xz
194//    zy=-yz
195//   noncommutative type:5
196//      is skew constant:1
197//                 ncref:1
198//               commref:1
199//               baseref:1
200//   alternating variables: [1, 3]
201//   quotient of sca by ideal (NULL)
202// quotient ring from ideal
203_[1]=z2*gen(-50529028)
204_[2]=y2*gen(-50529028)
205_[3]=x2*gen(-50529028)
206opposite.tst   6> $$$