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:
552 bytes
|
Rev | Line | |
---|
[1] | 1 | head 1.1;
|
---|
| 2 | access;
|
---|
| 3 | symbols;
|
---|
| 4 | locks; strict;
|
---|
| 5 | comment @# @;
|
---|
| 6 |
|
---|
| 7 |
|
---|
| 8 | 1.1
|
---|
| 9 | date 2009.01.19.09.12.21; author marek; state Exp;
|
---|
| 10 | branches;
|
---|
| 11 | next ;
|
---|
| 12 |
|
---|
| 13 |
|
---|
| 14 | desc
|
---|
| 15 | @@
|
---|
| 16 |
|
---|
| 17 |
|
---|
| 18 | 1.1
|
---|
| 19 | log
|
---|
| 20 | @Initial revision
|
---|
| 21 | @
|
---|
| 22 | text
|
---|
| 23 | @if get('geometry,'version)=false then load(geometry);
|
---|
| 24 |
|
---|
| 25 | /* Points */
|
---|
| 26 | A:[0,0];
|
---|
| 27 | B:[u1,0];
|
---|
| 28 | C:[0,u2];
|
---|
| 29 | M1:[x1,0];
|
---|
| 30 | M2:[0,x2];
|
---|
| 31 | M3:[x3,x4];
|
---|
| 32 | H:[x5,x6];
|
---|
| 33 | O:[x7,x8];
|
---|
| 34 |
|
---|
| 35 | /* Equations */
|
---|
| 36 | eqns:append(
|
---|
| 37 | append(
|
---|
| 38 | midpoint(M1,A,B),
|
---|
| 39 | midpoint(M2,A,C),
|
---|
| 40 | midpoint(M3,B,C)
|
---|
| 41 | ),
|
---|
| 42 | [
|
---|
| 43 | perp(A,H,B,C),
|
---|
| 44 | collinear(B,H,C),
|
---|
| 45 | eqlen(O,A,O,M1),
|
---|
| 46 | eqlen(O,A,O,M2),
|
---|
| 47 | eqlen(O,A,O,M3),
|
---|
| 48 | eqlen(O,A,O,H)
|
---|
| 49 | ]);
|
---|
| 50 | @
|
---|
Note:
See
TracBrowser
for help on using the repository browser.