1 | Singular for x86_64-Linux version 3-1-0 (3100-2009032419) Mar 26 2009 20:51:12 |
---|
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=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)) |
---|
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 |
---|
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 | opposite.tst 1> LIB "nctools.lib"; |
---|
24 | opposite.tst 2> ring r; |
---|
25 | opposite.tst 3> def E = Exterior(); setring E; E; |
---|
26 | nctools.lib::Exterior 1217. parameter list #; |
---|
27 | nctools.lib::Exterior 1218> string rname=nameof(basering); |
---|
28 | nctools.lib::Exterior 1219> if ( rname == "basering") // i.e. no ring has been set yet |
---|
29 | nctools.lib::Exterior 1220. { |
---|
30 | nctools.lib::Exterior 1223. "You have to call the procedure from the ring"; |
---|
31 | nctools.lib::Exterior 1224> int N = nvars(basering); |
---|
32 | nctools.lib::Exterior 1225> string NewRing = "ring @R=("+charstr(basering)+"),("+varstr(basering)+"),("+ordstr(basering)+");"; |
---|
33 | nctools.lib::Exterior 1226> execute(NewRing); |
---|
34 | nctools.lib::Exterior 1227> matrix @E = UpOneMatrix(N); |
---|
35 | nctools.lib::Exterior 1228> @E = -1*(@E); |
---|
36 | nctools.lib::Exterior 1229> def @@RR = nc_algebra(@E,0); setring @@RR; |
---|
37 | nctools.lib::Exterior 1230> int i; |
---|
38 | nctools.lib::Exterior 1231> ideal Q; |
---|
39 | nctools.lib::Exterior 1232> for ( i=1; i<=N; i++ ) |
---|
40 | nctools.lib::Exterior 1233. { |
---|
41 | nctools.lib::Exterior 1235. Q[i] = var(i)^2; |
---|
42 | nctools.lib::Exterior 1236> Q = twostd(Q); |
---|
43 | nctools.lib::Exterior 1237> qring @EA = Q; |
---|
44 | nctools.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 |
---|
65 | opposite.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 |
---|
91 | opposite.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) |
---|
206 | opposite.tst 6> $$$ |
---|