1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | // tr.590 ------------------------------------------------------------------------------------ |
---|
5 | proc f; |
---|
6 | f; // was: NULL deref which printing internal structure |
---|
7 | |
---|
8 | // tr.588 ------------------------------------------------------------------------------------ |
---|
9 | // the functions syz, intersect, quotient return a standard base instead of a generating set if returnSB is set. |
---|
10 | option(returnSB); |
---|
11 | ring r=32003,(x,y,z),dp; |
---|
12 | |
---|
13 | module m=syz(ideal(x+y,x+z)); |
---|
14 | attrib(m); |
---|
15 | m; |
---|
16 | std(m); |
---|
17 | |
---|
18 | ideal i=intersect(ideal(x+y),ideal(x2+z,y3)); |
---|
19 | i; |
---|
20 | attrib(i); |
---|
21 | i=intersect(ideal(x+y),ideal(x2+z,y3),ideal(y)); |
---|
22 | i; |
---|
23 | attrib(i); |
---|
24 | std(i); |
---|
25 | |
---|
26 | i=quotient(ideal(x+y,z5),ideal(z)); |
---|
27 | i; |
---|
28 | attrib(i); |
---|
29 | i=quotient(ideal(x+y,z5),ideal(y,z)); |
---|
30 | i; |
---|
31 | attrib(i); |
---|
32 | |
---|
33 | ideal h1=x,y,z; |
---|
34 | ideal h2=x; |
---|
35 | module m=modulo(h1,h2); |
---|
36 | print(m); |
---|
37 | attrib(m); |
---|
38 | print(std(m)); |
---|
39 | |
---|
40 | // tr.579 ----------------------------------------------------------------------------------------- |
---|
41 | // trying dumb things with minpoly |
---|
42 | ring rng = (0,a),x,dp; |
---|
43 | minpoly = a^2-1; |
---|
44 | minpoly = a^2-2; |
---|
45 | minpoly = a^2-2; |
---|
46 | |
---|
47 | // tr.576 ----------------------------------------------------------------------------------------- |
---|
48 | // trying dumb things with minpoly (was: refering to undef memory) |
---|
49 | ring rng = 5^5,x,dp; |
---|
50 | ring rng = 5^2,x,dp; |
---|
51 | ring rng = 25,x,dp; |
---|
52 | ring rng = (integer,5^5),x,dp; |
---|
53 | basering; |
---|
54 | noether=1; |
---|
55 | ring rng = (integer,5^2),x,dp; |
---|
56 | basering; |
---|
57 | minpoly; |
---|
58 | noether; |
---|
59 | ring rng = (integer,5,2),x,dp; |
---|
60 | ring rng = 5^5,x,dp; |
---|
61 | ring rng = 5^2,x,dp; |
---|
62 | ring rng = 25,x,dp; |
---|
63 | ring rng = (integer,5^5),x,dp; |
---|
64 | basering; |
---|
65 | ring rng = (integer,5^2),x,dp; |
---|
66 | basering; |
---|
67 | minpoly; |
---|
68 | ring rng = (integer,5,2),x,dp; |
---|
69 | |
---|
70 | tst_status(1);$ |
---|
71 | |
---|