fieker-DuValspielwiese
|
Last change
on this file since 85bcd6 was
894057,
checked in by Oleksandr Motsak <motsak@…>, 13 years ago
|
|
ADD: Tests from online manual (res+stat on mamawutz): short ones Tst/Manual/s.lst
|
-
Property mode set to
100644
|
|
File size:
310 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "grobcov.lib"; |
|---|
| 3 | "Generic segment for the extended Steiner-Lehmus theorem"; |
|---|
| 4 | ring R=(0,x,y),(a,b,m,n,p,r),lp; |
|---|
| 5 | ideal S=p^2-(x^2+y^2), |
|---|
| 6 | -a*(y)+b*(x+p), |
|---|
| 7 | -a*y+b*(x-1)+y, |
|---|
| 8 | (r-1)^2-((x-1)^2+y^2), |
|---|
| 9 | -m*(y)+n*(x+r-2) +y, |
|---|
| 10 | -m*y+n*x, |
|---|
| 11 | (a^2+b^2)-((m-1)^2+n^2); |
|---|
| 12 | short=0; |
|---|
| 13 | gencase1(S); |
|---|
| 14 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
