fieker-DuValspielwiese
Last change
on this file since 197c4e was
75f460,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
format
|
-
Property mode set to
100644
|
File size:
429 bytes
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | LIB("normal.lib"); |
---|
5 | |
---|
6 | ring rng = 0,( x, y, z),dp; |
---|
7 | |
---|
8 | ideal EI = -5*x^2*y, -9*z^3+5; |
---|
9 | genus(EI); |
---|
10 | genus(EI,"nor"); |
---|
11 | genus(EI,"pri"); |
---|
12 | |
---|
13 | ASSUME(0, genus(EI) == genus(EI,"pri") ); |
---|
14 | ASSUME(0, genus(EI,"nor") == genus(EI,"pri") ); |
---|
15 | |
---|
16 | EI = z^2, x*y; |
---|
17 | genus(EI); |
---|
18 | genus(EI,"nor"); |
---|
19 | genus(EI,"pri"); |
---|
20 | |
---|
21 | ASSUME(0, genus(EI) == genus(EI,"pri") ); |
---|
22 | ASSUME(0, genus(EI,"nor") == genus(EI,"pri") ); |
---|
23 | |
---|
24 | |
---|
25 | tst_status(1); $ |
---|
26 | |
---|
Note: See
TracBrowser
for help on using the repository browser.