fieker-DuValspielwiese
|
Last change
on this file since 8bfe2d was
8bfe2d,
checked in by Hans Schoenemann <hannes@…>, 10 years ago
|
|
renamed in ring.lib: hasRingCoeffcientRing -> hasFieldCoeffcient
|
-
Property mode set to
100644
|
|
File size:
985 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | |
|---|
| 5 | LIB"ring.lib"; |
|---|
| 6 | |
|---|
| 7 | option("warn"); |
|---|
| 8 | ASSUME(0, optionIsSet("warn") ); |
|---|
| 9 | option("nowarn"); |
|---|
| 10 | ASSUME(0, 0 == optionIsSet("warn") ); |
|---|
| 11 | //---------------------------- |
|---|
| 12 | ring rng = real,x,dp; |
|---|
| 13 | ASSUME(0, 0== isQuotientRing(rng) ) ; |
|---|
| 14 | |
|---|
| 15 | qring qrng = 1; |
|---|
| 16 | ASSUME(0, isQuotientRing(qrng) ) ; |
|---|
| 17 | |
|---|
| 18 | ring rng2 = integer,x,dp; |
|---|
| 19 | ASSUME(0, 0 == isQuotientRing(rng2) ) ; |
|---|
| 20 | |
|---|
| 21 | qring qrng2=0; |
|---|
| 22 | ASSUME(0, not isQuotientRing(qrng2) ) ; |
|---|
| 23 | |
|---|
| 24 | ring rng3 = 0,x,dp; |
|---|
| 25 | ASSUME(0, 0 == isQuotientRing(rng3) ) ; |
|---|
| 26 | |
|---|
| 27 | qring qrng3=1; |
|---|
| 28 | ASSUME(0, isQuotientRing(qrng3) ) ; |
|---|
| 29 | //-------------------------- |
|---|
| 30 | ring rng = integer,x,dp; |
|---|
| 31 | ASSUME(0, !hasFieldCoefficient( rng ) ); |
|---|
| 32 | |
|---|
| 33 | qring q = ideal(x); |
|---|
| 34 | ASSUME(0, !hasFieldCoefficient( q ) ); |
|---|
| 35 | |
|---|
| 36 | ring rng2 = 0,x,dp; |
|---|
| 37 | ASSUME(0, 0==!hasFieldCoefficient( rng2 ) ); |
|---|
| 38 | |
|---|
| 39 | ring rng3 = (0,a),x,dp; |
|---|
| 40 | ASSUME(0, 0==!hasFieldCoefficient( rng3 ) ); |
|---|
| 41 | |
|---|
| 42 | ring rng4 = (real,a),x,dp; |
|---|
| 43 | ASSUME(0, 0==!hasFieldCoefficient( rng4 ) ); |
|---|
| 44 | |
|---|
| 45 | ring rng5 = (real),x,dp; |
|---|
| 46 | ASSUME(0, 0==!hasFieldCoefficient( rng5 ) ); |
|---|
| 47 | |
|---|
| 48 | |
|---|
| 49 | tst_status(1); $; |
|---|
| 50 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
