spielwiese
Last change
on this file since 3f623f was
a78ff81,
checked in by Oleksandr Motsak <motsak@…>, 13 years ago
|
ADD: in an algebraic extension: Q2 does NOT get reduced (wrt minpoly)...
|
-
Property mode set to
100644
|
File size:
250 bytes
|
Line | |
---|
1 | LIB "tst.lib"; tst_init(); |
---|
2 | |
---|
3 | ring r=(0,Q),(x,y,z),dp; basering; |
---|
4 | |
---|
5 | minpoly = Q2-Q+1; basering; |
---|
6 | |
---|
7 | minpoly; |
---|
8 | |
---|
9 | number qm2 = 1/Q2; // -Q? |
---|
10 | qm2; |
---|
11 | qm2 == (-Q); |
---|
12 | |
---|
13 | |
---|
14 | |
---|
15 | number q2 = Q2; // Q-1! |
---|
16 | q2; |
---|
17 | q2 == (Q-1); // BUG! |
---|
18 | |
---|
19 | |
---|
20 | q2 * qm2; // 1? |
---|
21 | qm2 * q2; // 1? |
---|
22 | |
---|
23 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.