Last change
on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago |
First import of a version circa 1997.
|
File size:
370 bytes
|
Rev | Line | |
---|
[1] | 1 | if get('geometry,'version)=false then load(geometry);
|
---|
| 2 | ginit();
|
---|
| 3 |
|
---|
| 4 | gpoints(A,B,C,D,M1,M2,P,Q,R); /* Declare points */
|
---|
| 5 | garbitrary(A,B,C); /* Declare arbitrary points */
|
---|
| 6 |
|
---|
| 7 | /* Geometrical hypotheses */
|
---|
| 8 | parallel(A,B,C,D);
|
---|
| 9 | parallel(A,C,B,D);
|
---|
| 10 | midpoint(M1,A,C);
|
---|
| 11 | midpoint(M2,B,D);
|
---|
| 12 | ghypot();
|
---|
| 13 |
|
---|
| 14 | /* Geometrical conclusions */
|
---|
| 15 | identical(M1,M2);
|
---|
| 16 | gconcl();
|
---|
| 17 |
|
---|
| 18 | /* Generate ideal */
|
---|
| 19 | gideal();
|
---|
Note:
See
TracBrowser
for help on using the repository browser.