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:
662 bytes
|
Rev | Line | |
---|
[1] | 1 | if get('geometry2, 'version)=false then load(geometry2);
|
---|
| 2 | /* Specifications */
|
---|
| 3 | x1:0;
|
---|
| 4 | y1:0;
|
---|
| 5 | x2:1;
|
---|
| 6 | y2:0;
|
---|
| 7 | y3:0;
|
---|
| 8 |
|
---|
| 9 | X:[x1,y1]; Y:[x2,y2]; Z:[x3,y3]; /* First line */
|
---|
| 10 | P:[u1,v1]; Q:[u2,v2]; R:[u3,v3]; /* Second line */
|
---|
| 11 | U:[z1,w1]; V:[z2,w2]; W:[z3,w3]; /* Intersection points */
|
---|
| 12 |
|
---|
| 13 | params:listofvars(append(X,Y,U,V));
|
---|
| 14 | vars:cons(s,listofvars(append(P,Q,R,Z,W)));
|
---|
| 15 | concl: collinear(P,Q,R);
|
---|
| 16 | eqns:
|
---|
| 17 | [
|
---|
| 18 | /* collinear(X,Y,Z), */
|
---|
| 19 | collinear(X,P,V),
|
---|
| 20 | collinear(U,P,Y),
|
---|
| 21 | collinear(Y,R,W),
|
---|
| 22 | collinear(Z,R,V),
|
---|
| 23 | collinear(U,Q,Z),
|
---|
| 24 | collinear(X,Q,W),
|
---|
| 25 | collinear(U,V,W),
|
---|
| 26 | 1-s*concl
|
---|
| 27 | ];
|
---|
| 28 |
|
---|
| 29 | cover: [[],[]];
|
---|
| 30 |
|
---|
| 31 | eqns:expand(eqns);
|
---|
| 32 | cover:expand(cover);
|
---|
| 33 | stringout("pappus2.out",eqns,vars,params,cover);
|
---|
Note:
See
TracBrowser
for help on using the repository browser.