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:
655 bytes
|
Line | |
---|
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:cons(s,listofvars(append(X,Y,Z,U,V,W)));
|
---|
14 | vars:listofvars(append(P,Q,R));
|
---|
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("pappus.out",eqns,vars,params,cover);
|
---|
Note:
See
TracBrowser
for help on using the repository browser.