Context Navigation

ngeometry.macsyma@ 1

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: 531 bytes

Line
1	/*
2	A declarative language for specifying geometric problems
3	and geometric theorem proving
4	*/
5
6	/* Conventions:
7	* Points and angles are denoted with a symbol;
8	* If A is a point then xA, yA denote its x and y coordinates;
9	* If A is an angle then cA and sA denote ist cos and sin
10	* If A and B are points than lA_B denotes the distance from A to B
11
12	A specification of a geometric problem will look like this
13	begin_hypotheses();
14	parallel(A,B,C,D);
15	parallel(A,C,B,D);
16	angle(P,A,B,C);
17	end_hypotheses();
18
19	....
20	*/
21

Note: See TracBrowser for help on using the repository browser.