spielwiese
|
Last change
on this file since 4b79c7b was
4b79c7b,
checked in by Hans Schoenemann <hannes@…>, 5 years ago
|
|
tests: silence "extend .... warning for dyn. modules
|
-
Property mode set to
100644
|
|
File size:
437 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "fpadim.lib"; |
|---|
| 3 | ring r = 0,(x,y),dp; |
|---|
| 4 | def R = freeAlgebra(r,5); // constructs a Letterplace ring |
|---|
| 5 | setring R; // sets basering to Letterplace ring |
|---|
| 6 | ideal G = x*x, y*y,x*y*x; // Groebner basis |
|---|
| 7 | ideal I = x*x, y*x*y, x*y*x; // Groebner basis |
|---|
| 8 | lpKDimCheck(G); // invokes procedure, factor algebra is of finite K-dimension |
|---|
| 9 | lpKDimCheck(I); // invokes procedure, factor algebra is of infinite Kdimension |
|---|
| 10 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
