Context Navigation

ngeometry.macsyma@ 5

Last change on this file since 5 was 1, checked in by Marek Rychlik, 17 years ago
First import of a version circa 1997.
File size: 531 bytes

Rev	Line
[1]	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.