Ticket #46: 21 CET 2008.out

File 21 CET 2008.out, 9.1 KB (added by Oleksandr , 14 years ago)

Singular-3-1 output on murrumesh

Line 
1Singular for x86_64-Linux version 3-0-4 (3044-2008080713)  Aug  7 2008 13:20:08
2with
3        factory(@(#) factoryVersion = 3.0.4),libfac(3.0.4,Mar 2008),
4        GMP(4.2),NTL(5.4.2),static readline,Plural,DBM,
5        namespaces,dynamic modules,dynamic p_Procs,OM_CHECK=0,OM_TRACK=0,random=1227193821
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.0.2))
8argv[0]   :     Singular
9SearchPath:     /usr/local/Singular/3-0-4/x86_64-Linux/MOD:/usr/local/Singular/3-0-4/LIB:/users/urmel/alggeom/hannes/murrumesh/LIB
10Singular  :     /usr/local/Singular/3-0-4/x86_64-Linux/Singular
11BinDir    :     /usr/local/Singular/3-0-4/x86_64-Linux
12RootDir   :     /usr/local/Singular/3-0-4
13DefaultDir:     /users/urmel/alggeom/hannes/murrumesh
14InfoFile  :     /usr/local/Singular/3-0-4/info/singular.hlp
15IdxFile   :     /usr/local/Singular/3-0-4/doc/singular.idx
16HtmlDir   :     /usr/local/Singular/3-0-4/html
17ManualUrl :     http://www.singular.uni-kl.de/Manual/3-0-4
18ExDir     :     /usr/local/Singular/3-0-4/examples
19Path      :     /usr/local/Singular/3-0-4/x86_64-Linux:/usr/local/bin:/bin:/sbin:/usr/bin:/usr/sbin:/usr/bin/X11:/users/schlupp/guest/motsak/bin:.
20EmacsDir  :     /usr/local/Singular/3-0-4/emacs
21Available HelpBrowsers: xinfo, info, lynx, builtin, dummy, emacs,
22Current HelpBrowser: xinfo
23                     SINGULAR                             /
24 A Computer Algebra System for Polynomial Computations   /   version 3-0-4
25                                                       0<
26     by: G.-M. Greuel, G. Pfister, H. Schoenemann        \   Nov 2007
27FB Mathematik der Universitaet, D-67653 Kaiserslautern    \
28test.sing   1> proc getRingWithVar()
29test.sing   2. {
30test.sing   3.   ring T = 0,(t),dp;  ideal B = maxideal(2); 
31test.sing   5.
32test.sing   7.   export B; //!!! ok here!!!
33test.sing   9.   return(T);
34test.sing  11. }
35test.sing  12>
36test.sing  13. proc BugHere(def T)
37test.sing  14. {
38test.sing  15.   "mapPower";
39test.sing  17.
40test.sing  19.   def save = basering;
41test.sing  21.
42test.sing  23.   "/-------T----------"; listvar(T); "/////////////////";
43test.sing  25.
44test.sing  27.   setring T;
45test.sing  29.   "ring T:", T;
46test.sing  31.
47test.sing  33.   "/-------T----------"; listvar(T); "/////////////////";
48test.sing  35.
49test.sing  37.
50test.sing  39.   listvar();
51test.sing  41.   
52test.sing  43.   "Defined(A)?: ", defined(A); 
53test.sing  45.   B;
54test.sing  47.   A; 
55test.sing  49.   
56test.sing  51.   return(1);
57test.sing  53. }
58test.sing  54>
59test.sing  55. proc Test()
60test.sing  56. {
61test.sing  57.   def save = basering;
62test.sing  59.
63test.sing  61.   def T = getRingWithVar(); setring T;
64test.sing  63.
65test.sing  65.   ideal A = B;
66test.sing  67.
67test.sing  69.   if(Export == 1)
68test.sing  71.   {
69test.sing  73.     export A; //??? Why ?????
70test.sing  75.   }
71test.sing  77.
72test.sing  79.   "Temporary Source Ring", T;
73test.sing  81.   "S^k(Source Basis)", A;
74test.sing  83.
75test.sing  85.   listvar();
76test.sing  87.   "/-------Tn----------"; listvar(T); "/////////////////";
77test.sing  89.
78test.sing  91.   setring save; 
79test.sing  93.
80test.sing  95.   listvar();
81test.sing  97.   "/-------T----------"; listvar(T); "/////////////////";
82test.sing  99.
83test.sing 101.   setring T;
84test.sing 103.   A;
85test.sing 105.   B; // still here after all these setrings...
86test.sing 107.
87test.sing 109.   setring save; 
88test.sing 111.
89test.sing 113.   return(BugHere(T));
90test.sing 115. }
91test.sing 116>
92test.sing 117.
93test.sing 118.
94test.sing 119. // "main"
95test.sing 120. ring r;
96test.sing 121> int Export  = 1;
97test.sing 122> Test();
98::Test   1.
99::Test   2.
100::Test   3.   def save = basering;
101::Test   4>
102::Test   5.   def T = getRingWithVar(); setring T;
103::Test   6>
104::Test   7.   ideal A = B;
105::Test   8>
106::Test   9.   if(Export == 1)
107::Test  10.   {
108::Test  12.     export A; //??? Why ?????
109::Test  13.
110::Test  14.   "Temporary Source Ring", T;
111Temporary Source Ring //   characteristic : 0
112//   number of vars : 1
113//        block   1 : ordering dp
114//                  : names    t
115//        block   2 : ordering C
116::Test  15>   "S^k(Source Basis)", A;
117S^k(Source Basis) A[1]=t2
118::Test  16>
119::Test  17.   listvar();
120// T                    [1]  *ring
121//      A                    [0]  ideal (SB), 1 generator(s)
122//      B                    [0]  ideal (SB), 1 generator(s)
123// save                 [1]  ring
124// Export               [0]  int 1
125// r                    [0]  ring
126::Test  18>   "/-------Tn----------"; listvar(T); "/////////////////";
127/-------Tn----------
128// T                    [1]  *ring
129// A                    [0]  ideal (SB), 1 generator(s)
130// B                    [0]  ideal (SB), 1 generator(s)
131/////////////////
132::Test  19>
133::Test  20.   setring save; 
134::Test  21>
135::Test  22.   listvar();
136// T                    [1]  ring
137// save                 [1]  *ring
138// Export               [0]  int 1
139// r                    [0]  ring(*)
140::Test  23>   "/-------T----------"; listvar(T); "/////////////////";
141/-------T----------
142// T                    [1]  ring
143// A                    [0]  ideal (SB), 1 generator(s)
144// B                    [0]  ideal (SB), 1 generator(s)
145/////////////////
146::Test  24>
147::Test  25.   setring T;
148::Test  26>   A;
149A[1]=t2
150::Test  27>   B; // still here after all these setrings...
151B[1]=t2
152::Test  28>
153::Test  29.   setring save; 
154::Test  30>
155::Test  31.   return(BugHere(T));
156mapPower
157/-------T----------
158// T                    [2]  ring
159// A                    [0]  ideal (SB), 1 generator(s)
160// B                    [0]  ideal (SB), 1 generator(s)
161/////////////////
162ring T: //   characteristic : 0
163//   number of vars : 1
164//        block   1 : ordering dp
165//                  : names    t
166//        block   2 : ordering C
167/-------T----------
168// T                    [2]  *ring
169// A                    [0]  ideal (SB), 1 generator(s)
170// B                    [0]  ideal (SB), 1 generator(s)
171/////////////////
172// save                 [2]  ring
173// T                    [2]  *ring
174//      A                    [0]  ideal (SB), 1 generator(s)
175//      B                    [0]  ideal (SB), 1 generator(s)
176// T                    [1]  ring(*)
177// save                 [1]  ring
178// Export               [0]  int 1
179// r                    [0]  ring
180Defined(A)?:  1
181B[1]=t2
182A[1]=t2
1831
184test.sing 123>
185test.sing 124.
186test.sing 125. int Export  = 0;
187// ** redefining Export **
188test.sing 126> Test();
189::Test   1.
190::Test   2.
191::Test   3.   def save = basering;
192::Test   4>
193::Test   5.   def T = getRingWithVar(); setring T;
194::Test   6>
195::Test   7.   ideal A = B;
196::Test   8>
197::Test   9.   if(Export == 1)
198::Test  10.   {
199::Test  12.     export A; //??? Why ?????
200::Test  13>
201::Test  14.   "Temporary Source Ring", T;
202Temporary Source Ring //   characteristic : 0
203//   number of vars : 1
204//        block   1 : ordering dp
205//                  : names    t
206//        block   2 : ordering C
207::Test  15>   "S^k(Source Basis)", A;
208S^k(Source Basis) A[1]=t2
209::Test  16>
210::Test  17.   listvar();
211// T                    [1]  *ring
212//      A                    [1]  ideal (SB), 1 generator(s)
213//      B                    [0]  ideal (SB), 1 generator(s)
214// save                 [1]  ring
215// Export               [0]  int 0
216// r                    [0]  ring
217::Test  18>   "/-------Tn----------"; listvar(T); "/////////////////";
218/-------Tn----------
219// T                    [1]  *ring
220// A                    [1]  ideal (SB), 1 generator(s)
221// B                    [0]  ideal (SB), 1 generator(s)
222/////////////////
223::Test  19>
224::Test  20.   setring save; 
225::Test  21>
226::Test  22.   listvar();
227// T                    [1]  ring
228// save                 [1]  *ring
229// Export               [0]  int 0
230// r                    [0]  ring(*)
231::Test  23>   "/-------T----------"; listvar(T); "/////////////////";
232/-------T----------
233// T                    [1]  ring
234// A                    [1]  ideal (SB), 1 generator(s)
235// B                    [0]  ideal (SB), 1 generator(s)
236/////////////////
237::Test  24>
238::Test  25.   setring T;
239::Test  26>   A;
240A[1]=t2
241::Test  27>   B; // still here after all these setrings...
242B[1]=t2
243::Test  28>
244::Test  29.   setring save; 
245::Test  30>
246::Test  31.   return(BugHere(T));
247mapPower
248/-------T----------
249// T                    [2]  ring
250// A                    [1]  ideal (SB), 1 generator(s)
251// B                    [0]  ideal (SB), 1 generator(s)
252/////////////////
253ring T: //   characteristic : 0
254//   number of vars : 1
255//        block   1 : ordering dp
256//                  : names    t
257//        block   2 : ordering C
258/-------T----------
259// T                    [2]  *ring
260// A                    [1]  ideal (SB), 1 generator(s)
261// B                    [0]  ideal (SB), 1 generator(s)
262/////////////////
263// save                 [2]  ring
264// T                    [2]  *ring
265//      A                    [1]  ideal (SB), 1 generator(s)
266//      B                    [0]  ideal (SB), 1 generator(s)
267// T                    [1]  ring(*)
268// save                 [1]  ring
269// Export               [0]  int 0
270// r                    [0]  ring
271Defined(A)?:  0
272B[1]=t2
273   ? `A` is undefined
274   ? error occurred in ::BugHere line 18: `  A;  `
2751
276test.sing 127>
277test.sing 128.
278test.sing 129. $
279$Bye.