spielwiese
Last change
on this file since 0917a96 was
0917a96,
checked in by Oleksandr Motsak <motsak@…>, 12 years ago
|
adaptation of dyn_modules/syzextra for spielwiese
fix: fixed dyn_modules/syzextra to work with spielwiese
chg: use n_Init for long -> bigint conversion
NOTE: the resulting bigint may be negative for (implicitly) casted unsigned longs (e.g. for raw poly/vector exponents)
chg: further minor adaptations
|
-
Property mode set to
100644
|
File size:
534 bytes
|
Line | |
---|
1 | echo = 2; |
---|
2 | |
---|
3 | "ndebug?: ", system("with", "ndebug"); |
---|
4 | "om_ndebug?: ", system("with", "om_ndebug"); |
---|
5 | |
---|
6 | if( system("with", "ndebug") ) |
---|
7 | { |
---|
8 | "Loading the Release version!"; |
---|
9 | LIB("./syzextra.so"); |
---|
10 | } |
---|
11 | else |
---|
12 | { |
---|
13 | "Loading the Debug version!"; |
---|
14 | LIB("./syzextra_g.sog"); |
---|
15 | } |
---|
16 | |
---|
17 | noop(); |
---|
18 | |
---|
19 | ring r; |
---|
20 | |
---|
21 | DetailedPrint(r); |
---|
22 | |
---|
23 | poly p = x +y +z; |
---|
24 | |
---|
25 | DetailedPrint(p, 2); |
---|
26 | |
---|
27 | ideal I = maxideal(1); |
---|
28 | |
---|
29 | DetailedPrint(I, 2); |
---|
30 | |
---|
31 | vector v =3 *xyz * [0, 0, 1, x, y, z]; |
---|
32 | v; |
---|
33 | DetailedPrint(v, 2); |
---|
34 | |
---|
35 | leadmonom(v);leadcomp(v); |
---|
36 | leadrawexp(v); |
---|
37 | |
---|
38 | |
---|
39 | |
---|
40 | |
---|
41 | def l = res(I, 0); DetailedPrint(l); |
---|
42 | |
---|
43 | $$$ |
---|
44 | |
---|
Note: See
TracBrowser
for help on using the repository browser.