geometry - OpenGrok cross reference for /dports/math/reduce/Reduce-svn5758-src/packages/geometry/

This directory contains the Reduce GeoProver Package sources.

     GeoProver.red	    - the main package
     GeoProver.tst	    - a test file (plain ASCII)
     supp.red		    - a supplement used in GeoProver.tst
     GeoProver.out	    - output of the test
     GeoProver.html	    - A help file in HTML


There are some old files with names like old-geometry.red that represent
an earlier version of this code.

on 16 March 2015 we have:
"geometry.red should be removed since it is a predecessor of geoprover.red.
Best regards, Hans-Gert"

Also note that up to date versions of geoprover (which is supported on
several algebra systems, not just Reduce) can be found at at
               https://github.com/hg-graebe/GeoProver/
Name		Date	Size	#Lines	LOC
..		12-Apr-2021	-
README	H A D	16-Mar-2015	728	22	14
geometry.red	H A D	30-Mar-2015	788	18	15
geoprover.red	H A D	30-Mar-2015	13.4 KiB	414	329
geoprover.rlg	H A D	30-Mar-2015	24.9 KiB	1,230	710
geoprover.tst	H A D	30-Mar-2015	12.3 KiB	440	384
geoprover_1_2.htm	H A D	08-Jan-2009	3.7 KiB	82	79
old-geometry.bib	H A D	16-Mar-2015	2.4 KiB	95	82
old-geometry.red	H A D	30-Mar-2015	13.7 KiB	440	343
old-geometry.rlg	H A D	16-Mar-2015	39.2 KiB	2,390	1,189
old-geometry.tex	H A D	16-Mar-2015	59.7 KiB	1,476	1,314
old-geometry.tst	H A D	30-Mar-2015	14.2 KiB	628	425
supp.red	H A D	08-Jan-2009	2.5 KiB	78	64