Context Navigation

std_integer6.tst @ 83b334

spielwiese

Last change on this file since 83b334 was 83b334, checked in by Adi Popescu <adi_popescum@…>, 9 years ago
add tests (don't run them yet till i am ready with pshing all the changes into spielwiese)
Property mode set to `100644`
File size: 5.3 KB

Line
1	LIB "tst.lib"; tst_init();
2
3
4	// Example 6
5	ring rng = (integer),(x,y,z),dp;
6
7	ideal I = 242x^3z+y^2z-yz+11*y,
8	y^3z^2-y^2z^2+11y^2z+484,
9	y^4z-y^3z-10648x^3+11y^3-44y^2+44y,
10	x^3yz^2-2,
11	11x^3y^2z+484x^3+2y^2-2y,
12	117128x^6-121x^3y^3+968x^3y^2-968x^3y+2y^4-4y^3+2y^2,
13	121x^6z^3+y*z-z+11,
14	2178x^2y^2z^3-1452x^2yz^3+15972x^2y*z^2,
15	1452x^2y^3z^2-1452x^2y^2z^2+7986x^2y^2*z,
16	-726x^3y^2z^2+484x^3yz^2+y^4z^2-5324x^3yz-y^3z^2+22y^3z-11y^2z+121y^2,
17	2904x^2y^3z^2-2178x^2y^2z^2+23958x^2y^2z+351384x^2,
18	726x^2y^4z-726x^2y^3z+7730448x^5+31944x^2y^2-31944x^2*y,
19	-968x^3y^3z+726x^3y^2z-2y^5z-7986x^3y^2+4y^4z+21296x^3y-22y^4-2y^3z-10648x^3+110y^3-132y^2+44*y,
20	95832x^2y^2z^2-63888x^2yz^2+702768x^2y*z,
21	63888x^2y^3z-63888x^2y^2z+351384x^2y^2,
22	-5y^6z^2+9y^5z^2-88y^5z-4y^4z^2+253y^4z-363y^4-264y^3z+968y^3+88y^2z-484*y^2,
23	726x^5z^3-6x^2y^2z^3+3x^2yz^3-33x^2y*z^2,
24	726x^5yz^2-3x^2y^3z^2+3x^2y^2*z^2,
25	-242x^6z^2+3x^3y^2z^2-x^3yz^2+22x^3yz,
26	-9x^2y^3z^4+6x^2y^2z^4-66x^2y^2*z^3,
27	-6x^2y^4z^3+6x^2y^3z^3-33x^2y^3*z^2,
28	4x^3y^3z^3-2x^3y^2z^3+33x^3y^2*z^2,
29	-12x^2y^4z^3+9x^2y^3z^3-31944x^5z^2-99x^2y^3z^2+264x^2y^2z^2-132x^2y*z^2,
30	-3x^2y^5z^2+3x^2y^4z^2-63888x^5y*z,
31	7x^3y^4z^2-5x^3y^3z^2+66x^3y^3z-176x^3y^2z+88x^3y*z,
32	15972x^5yz^2-66x^2y^3z^2+33x^2y^2z^2-363x^2y^2z-15972*x^2,
33	-33x^2y^4z+33x^2y^3z-351384x^5-1452x^2y^2+1452x^2*y,
34	-5324x^6yz+11x^3y^2z+121x^3y^2-968x^3y+484x^3-4y^3+6y^2-2y,
35	-99x^2y^4z^3+66x^2y^3z^3-726x^2y^3z^2-4356x^2y^2z^2+2904x^2yz^2-31944x^2yz,
36	-66x^2y^5z^2+66x^2y^4z^2-363x^2y^4z-2904x^2y^3z+2904x^2y^2z-15972x^2*y^2,
37	-11x^3y^4z^2+22x^3y^3z^2-8y^4z+12y^3z-44y^3-4y^2z+22y^2,
38	-132x^2y^5z^2+99x^2y^4z^2-702768x^5yz-1089x^2y^4z-2904x^2y^3z+2904x^2y^2z-47916x^2y^2,
39	-33x^2y^6z+33x^2y^5z-351384x^5y^2-1452x^2y^4+1452x^2y^3,
40	22x^3y^5z-11x^3y^4z+363x^3y^4-968x^3y^3+484x^3y^2-4y^5+6y^4-2*y^3,
41	33x^5y^2z^3-1452x^5z^2+12x^2y^2z^2-6x^2y*z^2,
42	-33x^5y^3z^2-2904x^5yz,
43	-33x^6y^2z^2-8x^3y^2z+4x^3y*z,
44	-263538x^5y^2z+726x^2y^4z-363x^2y^3z-7730448x^5+3993x^2y^3-31944x^2y^2+31944x^2y,
45	-170069856x^8+87846x^5y^3-1405536x^5y^2+363x^2y^5+1405536x^5y-3267x^2y^4+5808x^2y^3-2904x^2*y^2,
46	87846x^6y^2-468512x^6y+363x^3y^4+234256x^6-4235x^3y^3+5808x^3y^2-8y^5-1936x^3y+20y^4-16y^3+4*y^2,
47	-2108304x^5y^2z^2+1089x^2y^5z^2+1405536x^5yz^2-9438x^2y^4z^2-15460896x^5yz+7986x^2y^4z+14520x^2y^3z^2-63888x^2y^3z-5808x^2y^2z^2+63888x^2y^2z,
48	-1405536x^5y^3z+726x^2y^6z+1405536x^5y^2z-6534x^2y^5z-7730448x^5y^2+3993x^2y^5+11616x^2y^4z-31944x^2y^4-5808x^2y^3z+31944x^2y^3,
49	726x^3y^5z-4598x^3y^4z+3993x^3y^4+5808x^3y^3z-16y^6z-21296x^3y^3-1936x^3y^2z+40y^5z+10648x^3y^2-88y^5-32y^4z+132y^4+8y^3z-44*y^3,
50	-2811072x^5y^3z+1452x^2y^6z+2108304x^5y^2z-12705x^2y^5z-11595672x^5y^2+11979x^2y^5+20328x^2y^4z-127776x^2y^4-8712x^2y^3z+111804x^2y^3,
51	-702768x^5y^4+363x^2y^7+702768x^5y^3-3267x^2y^6+5808x^2y^5-2904x^2y^4,
52	363x^3y^6-2299x^3y^5+2904x^3y^4-8y^7-968x^3y^3+20y^6-16y^5+4y^4,
53	-702768x^8z^2-726x^5y^3z^2+2904x^5y^2z^2+24x^2y^4z^2-36x^2y^3z^2+12x^2y^2*z^2,
54	-1405536x^8yz+726x^5y^4z-5808x^5y^3z+5808x^5y^2z,
55	726x^6y^3z-3872x^6y^2z+1936x^6yz-16x^3y^4z+24x^3y^3z-8x^3y^2z,
56	-15460896x^8yz-3993x^5y^4z+31944x^5y^2z+264x^2y^5z-527076x^5y^2-396x^2y^4z+1452x^2y^4+132x^2y^3z-726x^2y^3,
57	-7730448x^8y^2+3993x^5y^5-31944x^5y^4+31944x^5y^3,
58	3993x^6y^4-21296x^6y^3+10648x^6y^2-88x^3y^5+132x^3y^4-44x^3y^3,
59	-1452x^5yz^4+726x^5z^4-7986x^5z^3+726x^2*z^2,
60	87846x^8z^3-726x^5y^2z^3+726x^5yz^3+726x^2yz-726x^2*z,
61	726x^6yz^3-363x^6z^3+3993x^6z^2-242x^3z+y^2z-2yz+11*y+z-11,
62	-2178x^5y^2z^5+1452x^5yz^5-15972x^5y*z^4,
63	-1452x^5y^3z^4+1452x^5y^2z^4-7986x^5y^2*z^3,
64	1089x^6y^2z^4-726x^6yz^4+7986x^6yz^3+y^3z^2-3y^2z^2+11y^2z+2yz^2-22yz,
65	-2904x^5y^3z^4+2178x^5y^2z^4-23958x^5y^2z^3+63888x^5yz^3-31944x^5z^3-31944x^2z,
66	-726x^5y^4z^3+726x^5y^3z^3-11595672x^8z^2-31944x^2y+31944*x^2,
67	1452x^6y^3z^3-1089x^6y^2z^3+11979x^6y^2z^2-31944x^6yz^2+15972x^6z^2+3y^4z-6y^3z+33y^3+3y^2z-121y^2+132*y-44,
68	-726x^8z^5+3x^2y*z^3,
69	-363x^8yz^4+3x^2y^2z^2-3x^2y*z^2,
70	363x^9z^4-x^3yz^2-x^3*z^2,
71	-15972x^8yz^4-2904x^5yz^3+1452x^5z^3+33x^2y^2z^2+1452x^2*z,
72	3993x^8y^2z^3+527076x^8z^2+33x^2y^3z-33x^2y^2z+1452x^2y-1452x^2,
73	7986x^9yz^3+1452x^6yz^2-726x^6z^2+11x^3y^2z-22x^3yz+4y^2-6y+2,
74	263538x^8y^2z^3-1405536x^8yz^3+702768x^8z^3-5808x^5y^3z^3+8712x^5y^2z^3-2904x^5yz^3+702768x^5z-363x^2y^3z+2904x^2y^2z-2904x^2yz,
75	255104784x^11z^2-131769x^8y^3z^2+1054152x^8y^2z^2-1054152x^8yz^2+702768x^5y-363x^2y^4-702768x^5+3267x^2y^3-5808x^2y^2+2904x^2y,
76	-131769x^9y^2z^2+702768x^9yz^2-351384x^9z^2+2904x^6y^3z^2-4356x^6y^2z^2+1452x^6yz^2-363x^3y^3+2299x^3y^2-2904x^3y+8y^4+968x^3-20y^3+16y^2-4y;
77	ideal stdI = std(I);
78	stdI;
79
80
81	tst_status(1);$

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format