\begin{verbatim}
(*  GeoBeweiser von Volker Messerschmidt (Juli 2004)*)
(*  http://www.vm4.de/diplom/ *)
(*  abgeleitet von *)
(*  GeoProver | Version 1.3a | Jan 20 2003 *)
(*  Author: H.-G. Graebe, Univ. Leipzig, Germany *)
(*  http://www.informatik.uni-leipzig.de/~graebe *)

BeginPackage["GeoBeweiser`"]

(* GeoBeweiser *)

point::usage:="Punktkonstruktor";
line::usage:="Linienkonstruktor";
circle::usage:="Kreiskonstruktor";

altitude::usage:="Entfernung von A zur Geraden BC";
anglesum::usage:="Addition der Winkel tan(alpha) und tan(beta) 
	zu tan(alpha+beta)";
centroid::usage:="Schwerpunkt des Dreiecks ABC, Schnittpunkt der 
	Mittellinien";
circlecenter::usage:="Mittelpunkt des Kreises";
circleslider::usage:="Wähle einen Punkt auf dem Kreis mit 
	Mittelpunkt M und Randpunkt A";
circlesqradius::usage:="Quadrat des Radius des Kreises";
circumcenter::usage:="Mittelpunkt des Umkreis des Dreiecks ABC";
csympoint::usage:="Punkt symmetrisch zu P mit Q als Symmetriepunkt";
eqangle::usage:="Test auf gleichgroße Winkel w(ABC) = w(DEF)";
eqdist::usage:="Test auf gleiche Distanz d(AB) = d(CD)";
fixedpoint::usage:="Fester Punkt auf der Linie AB. u ist ein 
	fester Wert";
intersectionpoint::usage:="Schnittpunkt zweier Linien";
iscctangent::usage:="Test, ob zwei Kreise tangential liegen";
iscltangent::usage:="Test, ob eine Linie tangential zum Kreis 
	liegt";
iscollinear::usage:="Test, ob drei Punkte auf einer Geraden 
	liegen";
isconcurrent::usage:="Test, ob drei Geraden durch einen Punkt 
	gehen";
isconcyclic::usage:="Test, ob vier Punkte auf einem Kreis liegen";
isequal::usage:="Test auf Gleichheit von zwei Objekten";
isorthogonal::usage:="Test, ob zwei Geraden orthogonal sind";
isparallel::usage:="Test, ob zwei Geraden parallel sind";
l2angle::usage:="Tangens des Winkels zwischen den Geraden a und b";
lineslider::usage:="Wählt einen Punkt auf einer Geraden";
median::usage:="Gerade von A zum Mittelpunkt von BC";
midpoint::usage:="Mittelpunkt zwischen A und B";
onbisector::usage:="Testet, ob P ein Punkt auf der (inneren oder 
	äußeren) Winkelhalbierenden von ABC ist";
oncircle::usage:="Test, ob ein Punkt auf einem Kreis liegt";
online::usage:="Test, ob ein Punkt auf der Geraden liegt";
ortholine::usage:="Gerade durch P orthogonal zu a";
orthocenter::usage:="Höhenschnittpunkt des Dreiecks ABC";
otherccpoint::usage:="Zwei Kreise schneiden sich im Punkt P. 
	Ergibt den zweiten Schnittpunkt";
otherclpoint::usage:="Gerade und Kreis schneiden sich im Punkt P. 
	Ergibt den zweiten Schnittpunkt";
otherincenter::usage:="M ist der Inkreismittelpunkt von ABC. 
	Gibt den Ankreismittelpunkt von ABC auf der Winkelhalbierenden CM aus.";
p3angle::usage:="Tangens des Winkels zwischen BA und BC";
p3circle::usage:="Kreis durch drei gegebene Punkte";
p9center::usage:="Mittelpunkt des Neunpunktekreises des 
	Dreiecks ABC";
p9circle::usage:="Neunpunktekreis des Dreiecks ABC";
pappusline::usage:="Pappuslinie von einem kegelförmigen 
	6-Tupel von Punkten";
parline::usage:="Gerade durch den Punkt P parallel zur Geraden a";
parpoint::usage:="Punkt D, der ABCD zu einem einem Parallelogramm 
	macht";
pbisector::usage:="Mittelsenkrechte von BC";
pccircle::usage:="Kreis mit Mittelpunkt M und Randpunkt A";
pedalpoint::usage:="Fusspunkt der Senkrechten von Punkt P auf 
	die Gerade a";
ppline::usage:="Gerade durch A und B";
radicalaxis::usage:="Die Radikalachse von zwei Kreisen";
rotate::usage:="Rotiere Punkt A um den Punkt C, mit angle*Pi 
	(für angle nur Konstanten erlaubt)";
sqrdist::usage:="Quadrat der Entfernung von Punkt A zu Punkt B";
sqrdistpl::usage:="Quadrat der Entfernung von Punkt A zu der 
	Gerade l";
symline::usage:="Spiegelung der Geraden a an l";
sympoint::usage:="Punkt P gespiegelt an der Geraden l";
trianglearea::usage:="Flächeninhalt des Dreiecks ABC";
varpoint::usage:="Variabler Punkt auf der Geraden AB mit u als 
	Parameter";

clearndg::usage:="degeneracy tracing";
printndg::usage:="degeneracy tracing";
addndg::usage:="degeneracy tracing";

(* Neue Funktionen (nicht in GeoProver enthalten)*)
dreiteilung::usage="Winkeldreiteilung (Vollerwinkel, Drittelwinkel)";
IdealMember::usage="Test, ob ein Polynom im Radikal eines Ideals 
	enthalten ist";
AddGleichung::usage="Sammelt die Gleichung ein für die 
	Funktion Gleichungen";
Gleichungen::usage="Gibt die gesammelten Gleichungen zurück";
LoeschGleichungen::usage="Löscht die Gleichungen"

\end{verbatim}