[ ofset-Bugs-drgeo-939175 ] Geometry property checker

Bugs-drgeo item #939175, was opened at 2004-04-21 09:32
Message generated for change (Comment added) made by hilaire
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=530554&aid=939175&group_id=13320

Category: Feature
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Hilaire Fernandes (hilaire)
Assigned to: Nobody/Anonymous (nobody)
Summary: Geometry property checker

Initial Comment:
Implement a geometry property checker. Can be based on
Scheme or even on CLIPS a 1st generation expert system
(http://www.ghg.net/clips/CLIPS.html).

The other way will be to go the Algebraic way but
Dr.Geo is only Decimal number aware...

----------------------------------------------------------------------

>Comment By: Hilaire Fernandes (hilaire)
Date: 2004-04-21 09:41

Message:
Logged In: YES 
user_id=14191

Comments from Andrea:

Introduce proof utilities like checking if three points are
collinear, if two lines are perpendicular or parallel, if a
point belongs to an object. More generally it could be good
to improve a "proof apparatus";

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=530554&aid=939175&group_id=13320


-------------------------------------------------------
This SF.Net email is sponsored by: IBM Linux Tutorials
Free Linux tutorial presented by Daniel Robbins, President and CEO of
GenToo technologies. Learn everything from fundamentals to system
administration.http://ads.osdn.com/?ad_id=1470&alloc_id=3638&op=click