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
|
Line | |
---|
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.