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:
416 bytes
|
Rev | Line | |
---|
[1] | 1 | if get('geometry2, 'version)=false then load(geometry2);
|
---|
| 2 | X:[x1,y1]; Y:[x2,y2]; O1:[a,0]; O2:[-a,0];
|
---|
| 3 | vars:[]; params:[a,x1,y1,x2,y2,r1,r2,s1,s2];
|
---|
| 4 |
|
---|
| 5 | eqns:[r1+s1-u*r1*s1];
|
---|
| 6 |
|
---|
| 7 | cover:[
|
---|
| 8 | [
|
---|
| 9 | distance(X,O1,r1),
|
---|
| 10 | distance(X,O2,r2),
|
---|
| 11 | r1+r2-2,
|
---|
| 12 | distance(Y,O1,s1),
|
---|
| 13 | distance(Y,O2,s2),
|
---|
| 14 | s1+s2-2,
|
---|
| 15 | collinear(X,Y,O1),
|
---|
| 16 | u*(1-a^2)-2
|
---|
| 17 | ],
|
---|
| 18 | [a,x1-x2]
|
---|
| 19 | ];
|
---|
| 20 |
|
---|
| 21 | eqns:expand(eqns);
|
---|
| 22 | cover:expand(cover);
|
---|
| 23 | stringout("klee3.out",eqns,vars,params,cover);
|
---|
Note:
See
TracBrowser
for help on using the repository browser.