

%% 
%% This is a LaTeX document generated by automatic conversion of a
%% Mathematica notebook using Mathematica 5.0.
%% 
%% This document uses special macros that are defined in a LaTeX 
%% package file named notebook2e.sty.  Appropriate commands for 
%% loading the package have been included in this document.
%% 
%% The LaTeX package files can be found in a directory with path:
%% 
%% D:\Programme\Wolfram Research\Mathematica\5.0\SystemFiles\IncludeFiles\TeX\
%% 
%% The LaTeX package used in this document may require that your 
%% LaTeX implementation support fonts other than the standard 
%% Computer Modern fonts that are used by LaTeX.  For more
%% information see the Additional Information under TeXSave
%% in the Help Browser, or at
%% 
%% http://documents.wolfram.com/functions/TeXSave.html
%% 
%% Implementation-specific instructions for installing TeX-related 
%% files can be found at
%% 
%% http://support.wolfram.com/mathematica/interface/export/virtualfonts.html
%% 
%% 

\documentclass{article}
\usepackage{notebook2e, latexsym}


\begin{document}

Morley mit Winkelsubtraktion

\dispSFinmath{
\MathBegin{MathArray}{l}
\MathBegin{MathArray}{l}
\Mvariable{SetDirectory}[  \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} "D:/Dokumente\multsp und\multsp Einstellungen/vmesser/Eigene\multsp   \\
\noalign{\vspace{0.625ex}}
\hspace{3.em} \Mvariable{Dateien/diplom/Mathematica"}];  \\
\noalign{\vspace{0.625ex}}\\
\MathEnd{MathArray}  \\
\MathBegin{MathArray}{l}
\Mfunction{Needs}["GeoBeweiser`"]  \\
\noalign{\vspace{0.625ex}}  \\
\noalign{\vspace{0.625ex}}\\
\MathEnd{MathArray}  \\
\Muserfunction{clearndg}[];  \\
\noalign{\vspace{0.625ex}}  \\
\Mfunction{Clear}[\Mvariable{u1},\Mvariable{u2},\Mvariable{u3},\Mvariable{x1},\Mvariable{x2},\Mvariable{x3},\Mvariable{x4},\Mvariable{x5},\Mvariable{x6},y];
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
\Mvariable{vars}:=\{\Mvariable{x1},\Mvariable{x2},\Mvariable{x3},\Mvariable{x4},\Mvariable{x5},\Mvariable{x6},y\};  \\
\noalign{\vspace{0.625ex}}  \\
\Mvariable{parameters}:=\{\Mvariable{u1},\Mvariable{u2},\Mvariable{u3}\};
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
\Mfunction{Unprotect}[C,D,e];  \\
\noalign{\vspace{0.625ex}}  \\
A=\Muserfunction{point}[0,0];B=\Muserfunction{point}[\Mvariable{u1},0];  \\
\noalign{\vspace{0.625ex}}  \\
C=\Muserfunction{point}[\Mvariable{u2},\Mvariable{u3}];  \\
\noalign{\vspace{0.625ex}}  \\
D=\Muserfunction{point}[\Mvariable{x5},\Mvariable{x6}];e=\Muserfunction{point}[\Mvariable{x1},\Mvariable{x2}];  \\
\noalign{\vspace{0.625ex}}  \\
F=\Muserfunction{point}[\Mvariable{x3},\Mvariable{x4}];  \\
\noalign{\vspace{0.625ex}}  \\
X=\Muserfunction{point}[\Mvariable{x7},\Mvariable{x8}];
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
\Muserfunction{AddGleichung}[\Muserfunction{dreiteilung}[\Muserfunction{p3angle}[B,A,C],  \\
\noalign{\vspace{0.625ex}}
\hspace{2.em} \Muserfunction{p3angle}[B,A,D]]];\\
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
\Muserfunction{AddGleichung}[\Muserfunction{dreiteilung}[\Muserfunction{p3angle}[C,B,A],  \\
\noalign{\vspace{0.625ex}}
\hspace{2.em} \Muserfunction{p3angle}[C,B,e]]];\\
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
\Muserfunction{AddGleichung}[\Muserfunction{dreiteilung}[\Muserfunction{p3angle}[A,C,B],  \\
\noalign{\vspace{0.625ex}}
\hspace{2.em} \Muserfunction{p3angle}[A,C,F]]];\\
\MathEnd{MathArray}
}

\dispSFinmath{
\Mvariable{Bad}=\Muserfunction{sympoint}[B,\Muserfunction{ppline}[A,D]]
}

\dispSFoutmath{
\Big\{\frac{\Mvariable{u1}\multsp {{\Mvariable{x5}}^2}-\Mvariable{u1}\multsp {{\Mvariable{x6}}^2}}{{{\Mvariable{x5}}^2}+{{\Mvariable{x6}}^2}},\frac{2\multsp
\Mvariable{u1}\multsp \Mvariable{x5}\multsp \Mvariable{x6}}{{{\Mvariable{x5}}^2}+{{\Mvariable{x6}}^2}}\Big\}
}

\dispSFinmath{
\Mvariable{Acf}=\Muserfunction{sympoint}[A,\Muserfunction{ppline}[C,F]]
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
\Big\{\frac{2\multsp (\Mvariable{u3}-\Mvariable{x4})\multsp (\Mvariable{u3}\multsp \Mvariable{x3}-\Mvariable{u2}\multsp \Mvariable{x4})}{{{\Mvariable{u2}}^2}-2\multsp
\Mvariable{x3}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2}+{{\Mvariable{x3}}^2}+{{\Mvariable{x4}}^2}-2\multsp \Mvariable{u3}\multsp \Mvariable{x4}},
 \\
\noalign{\vspace{1.21875ex}}
\hspace{1.em} \frac{2\multsp (\Mvariable{u2}-\Mvariable{x3})\multsp (\Mvariable{u2}\multsp \Mvariable{x4}-\Mvariable{u3}\multsp \Mvariable{x3})}{{{\Mvariable{u2}}^2}-2\multsp
\Mvariable{x3}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2}+{{\Mvariable{x3}}^2}+{{\Mvariable{x4}}^2}-2\multsp \Mvariable{u3}\multsp \Mvariable{x4}}\Big\}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\Mvariable{Cbe}=\Muserfunction{sympoint}[C,\Muserfunction{ppline}[B,e]]
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
\Big\{\frac{\Mvariable{u2}\multsp {{\Mvariable{u1}}^2}+2\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{u1}-2\multsp \Mvariable{u2}\multsp \Mvariable{x1}\multsp
\Mvariable{u1}-2\multsp \Mvariable{u3}\multsp \Mvariable{x2}\multsp \Mvariable{u1}+\Mvariable{u2}\multsp {{\Mvariable{x1}}^2}-\Mvariable{u2}\multsp
{{\Mvariable{x2}}^2}+2\multsp \Mvariable{u3}\multsp \Mvariable{x1}\multsp \Mvariable{x2}}{{{\Mvariable{u1}}^2}-2\multsp \Mvariable{x1}\multsp \Mvariable{u1}+{{\Mvariable{x1}}^2}+{{\Mvariable{x2}}^2}},
 \\
\noalign{\vspace{1.00781ex}}
\hspace{1.em} (-\Mvariable{u3}\multsp {{\Mvariable{u1}}^2}+2\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^2}+2\multsp \Mvariable{u3}\multsp \Mvariable{x1}\multsp
\Mvariable{u1}-2\multsp \Mvariable{u2}\multsp \Mvariable{x2}\multsp \Mvariable{u1}-2\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp \Mvariable{u1}-
 \\
\noalign{\vspace{0.875ex}}
\hspace{4.em} \Mvariable{u3}\multsp {{\Mvariable{x1}}^2}+\Mvariable{u3}\multsp {{\Mvariable{x2}}^2}+2\multsp \Mvariable{u2}\multsp \Mvariable{x1}\multsp
\Mvariable{x2})/({{\Mvariable{u1}}^2}-2\multsp \Mvariable{x1}\multsp \Mvariable{u1}+{{\Mvariable{x1}}^2}+{{\Mvariable{x2}}^2})\Big\}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\Muserfunction{AddGleichung}[\Muserfunction{online}[e,\Muserfunction{ppline}[\Mvariable{Acf},C]]]
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
-\Mvariable{x2}\multsp {{\Mvariable{u2}}^3}+2\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^3}+\Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{u2}}^2}-2\multsp
\Mvariable{u3}\multsp \Mvariable{x3}\multsp {{\Mvariable{u2}}^2}+2\multsp \Mvariable{x2}\multsp \Mvariable{x3}\multsp {{\Mvariable{u2}}^2}-2\multsp
\Mvariable{x1}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} 2\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^2}+2\multsp \Mvariable{u3}\multsp {{\Mvariable{x3}}^2}\multsp
\Mvariable{u2}-\Mvariable{x2}\multsp {{\Mvariable{x3}}^2}\multsp \Mvariable{u2}-2\multsp \Mvariable{u3}\multsp {{\Mvariable{x4}}^2}\multsp \Mvariable{u2}+\Mvariable{x2}\multsp
{{\Mvariable{x4}}^2}\multsp \Mvariable{u2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} {{\Mvariable{u3}}^2}\multsp \Mvariable{x2}\multsp \Mvariable{u2}+2\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x4}\multsp \Mvariable{u2}+2\multsp
\Mvariable{x1}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp \Mvariable{u2}-\Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{x3}}^2}+\Mvariable{u3}\multsp
\Mvariable{x1}\multsp {{\Mvariable{x4}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} {{\Mvariable{u3}}^3}\multsp \Mvariable{x1}-2\multsp {{\Mvariable{u3}}^3}\multsp \Mvariable{x3}+2\multsp {{\Mvariable{u3}}^2}\multsp
\Mvariable{x2}\multsp \Mvariable{x3}-2\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x1}\multsp \Mvariable{x4}+2\multsp {{\Mvariable{u3}}^2}\multsp
\Mvariable{x3}\multsp \Mvariable{x4}-2\multsp \Mvariable{u3}\multsp \Mvariable{x2}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\Muserfunction{AddGleichung}[\Muserfunction{online}[F,\Muserfunction{ppline}[\Mvariable{Bad},A]]]
}

\dispSFoutmath{
\Mvariable{x4}\multsp {{\Mvariable{x5}}^2}-2\multsp \Mvariable{x3}\multsp \Mvariable{x6}\multsp \Mvariable{x5}-\Mvariable{x4}\multsp {{\Mvariable{x6}}^2}
}

\dispSFinmath{
\Muserfunction{AddGleichung}[\Muserfunction{online}[D,\Muserfunction{ppline}[\Mvariable{Cbe},B]]]
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
-\Mvariable{u3}\multsp {{\Mvariable{u1}}^3}+2\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^3}-\Mvariable{x6}\multsp {{\Mvariable{u1}}^3}+2\multsp
\Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{u1}}^2}-2\multsp \Mvariable{u2}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^2}-2\multsp
\Mvariable{x1}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} \Mvariable{u3}\multsp \Mvariable{x5}\multsp {{\Mvariable{u1}}^2}-2\multsp \Mvariable{x2}\multsp \Mvariable{x5}\multsp {{\Mvariable{u1}}^2}+\Mvariable{u2}\multsp
\Mvariable{x6}\multsp {{\Mvariable{u1}}^2}+2\multsp \Mvariable{x1}\multsp \Mvariable{x6}\multsp {{\Mvariable{u1}}^2}-\Mvariable{u3}\multsp {{\Mvariable{x1}}^2}\multsp
\Mvariable{u1}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} \Mvariable{u3}\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{u1}+2\multsp \Mvariable{u2}\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp
\Mvariable{u1}-2\multsp \Mvariable{u3}\multsp \Mvariable{x1}\multsp \Mvariable{x5}\multsp \Mvariable{u1}+2\multsp \Mvariable{u2}\multsp \Mvariable{x2}\multsp
\Mvariable{x5}\multsp \Mvariable{u1}+2\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp \Mvariable{x5}\multsp \Mvariable{u1}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} {{\Mvariable{x1}}^2}\multsp \Mvariable{x6}\multsp \Mvariable{u1}+{{\Mvariable{x2}}^2}\multsp \Mvariable{x6}\multsp \Mvariable{u1}-2\multsp
\Mvariable{u2}\multsp \Mvariable{x1}\multsp \Mvariable{x6}\multsp \Mvariable{u1}-2\multsp \Mvariable{u3}\multsp \Mvariable{x2}\multsp \Mvariable{x6}\multsp
\Mvariable{u1}+\Mvariable{u3}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{x5}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} \Mvariable{u3}\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{x5}-2\multsp \Mvariable{u2}\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp
\Mvariable{x5}+\Mvariable{u2}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{x6}-\Mvariable{u2}\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{x6}+2\multsp
\Mvariable{u3}\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp \Mvariable{x6}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\Mvariable{polys}=\Mfunction{Map}[\Mfunction{Numerator}[\Mfunction{Together}[\#]]\&,\Mvariable{Gleichungen}]
}

\dispSFoutmath{
\MathBegin{MathArray}[p]{l}
\{\Mvariable{u3}\multsp {{\Mvariable{x5}}^3}-3\multsp \Mvariable{u2}\multsp \Mvariable{x6}\multsp {{\Mvariable{x5}}^2}-3\multsp \Mvariable{u3}\multsp
{{\Mvariable{x6}}^2}\multsp \Mvariable{x5}+\Mvariable{u2}\multsp {{\Mvariable{x6}}^3},  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} -2\multsp \Mvariable{u3}\multsp {{\Mvariable{u1}}^6}+3\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^6}+6\multsp \Mvariable{u2}\multsp
\Mvariable{u3}\multsp {{\Mvariable{u1}}^5}+6\multsp \Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{u1}}^5}-12\multsp \Mvariable{u2}\multsp
\Mvariable{x2}\multsp {{\Mvariable{u1}}^5}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^5}-2\multsp {{\Mvariable{u3}}^3}\multsp {{\Mvariable{u1}}^4}-{{\Mvariable{x2}}^3}\multsp
{{\Mvariable{u1}}^4}-6\multsp \Mvariable{u3}\multsp {{\Mvariable{x1}}^2}\multsp {{\Mvariable{u1}}^4}+6\multsp \Mvariable{u3}\multsp {{\Mvariable{x2}}^2}\multsp
{{\Mvariable{u1}}^4}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}\multsp {{\Mvariable{u1}}^4}-18\multsp \Mvariable{u2}\multsp \Mvariable{u3}\multsp
\Mvariable{x1}\multsp {{\Mvariable{u1}}^4}+18\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^4}+3\multsp {{\Mvariable{x1}}^2}\multsp
\Mvariable{x2}\multsp {{\Mvariable{u1}}^4}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 24\multsp \Mvariable{u2}\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^4}+2\multsp \Mvariable{u2}\multsp {{\Mvariable{u3}}^3}\multsp
{{\Mvariable{u1}}^3}+2\multsp \Mvariable{u3}\multsp {{\Mvariable{x1}}^3}\multsp {{\Mvariable{u1}}^3}+4\multsp \Mvariable{u2}\multsp {{\Mvariable{x2}}^3}\multsp
{{\Mvariable{u1}}^3}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 18\multsp \Mvariable{u2}\multsp \Mvariable{u3}\multsp {{\Mvariable{x1}}^2}\multsp {{\Mvariable{u1}}^3}-18\multsp \Mvariable{u2}\multsp
\Mvariable{u3}\multsp {{\Mvariable{x2}}^2}\multsp {{\Mvariable{u1}}^3}-6\multsp \Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{x2}}^2}\multsp
{{\Mvariable{u1}}^3}+2\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{u3}\multsp {{\Mvariable{u1}}^3}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp {{\Mvariable{u3}}^3}\multsp \Mvariable{x1}\multsp {{\Mvariable{u1}}^3}+18\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}\multsp
\Mvariable{x1}\multsp {{\Mvariable{u1}}^3}-12\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^3}-12\multsp \Mvariable{u2}\multsp
{{\Mvariable{x1}}^2}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^3}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 36\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^3}-6\multsp \Mvariable{u2}\multsp
\Mvariable{u3}\multsp {{\Mvariable{x1}}^3}\multsp {{\Mvariable{u1}}^2}-6\multsp {{\Mvariable{u2}}^2}\multsp {{\Mvariable{x2}}^3}\multsp {{\Mvariable{u1}}^2}-6\multsp
{{\Mvariable{u3}}^3}\multsp {{\Mvariable{x1}}^2}\multsp {{\Mvariable{u1}}^2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 18\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}\multsp {{\Mvariable{x1}}^2}\multsp {{\Mvariable{u1}}^2}+6\multsp {{\Mvariable{u3}}^3}\multsp
{{\Mvariable{x2}}^2}\multsp {{\Mvariable{u1}}^2}+18\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}\multsp {{\Mvariable{x2}}^2}\multsp {{\Mvariable{u1}}^2}+
 \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 18\multsp \Mvariable{u2}\multsp \Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{x2}}^2}\multsp {{\Mvariable{u1}}^2}-6\multsp
\Mvariable{u2}\multsp {{\Mvariable{u3}}^3}\multsp \Mvariable{x1}\multsp {{\Mvariable{u1}}^2}-6\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{u3}\multsp
\Mvariable{x1}\multsp {{\Mvariable{u1}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 3\multsp {{\Mvariable{u2}}^4}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^2}-3\multsp {{\Mvariable{u3}}^4}\multsp \Mvariable{x2}\multsp
{{\Mvariable{u1}}^2}+18\multsp {{\Mvariable{u2}}^2}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^2}+24\multsp {{\Mvariable{u2}}^3}\multsp
\Mvariable{x1}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp {{\Mvariable{u3}}^3}\multsp {{\Mvariable{x1}}^3}\multsp \Mvariable{u1}+6\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}\multsp
{{\Mvariable{x1}}^3}\multsp \Mvariable{u1}+4\multsp {{\Mvariable{u2}}^3}\multsp {{\Mvariable{x2}}^3}\multsp \Mvariable{u1}+6\multsp \Mvariable{u2}\multsp
{{\Mvariable{u3}}^3}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{u1}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{u3}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{u1}-6\multsp \Mvariable{u2}\multsp
{{\Mvariable{u3}}^3}\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{u1}-6\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{u3}\multsp {{\Mvariable{x2}}^2}\multsp
\Mvariable{u1}-6\multsp {{\Mvariable{u3}}^3}\multsp \Mvariable{x1}\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{u1}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 18\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{u1}-12\multsp
{{\Mvariable{u2}}^3}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{x2}\multsp \Mvariable{u1}-6\multsp {{\Mvariable{u2}}^4}\multsp \Mvariable{x1}\multsp
\Mvariable{x2}\multsp \Mvariable{u1}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp {{\Mvariable{u3}}^4}\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp \Mvariable{u1}-2\multsp \Mvariable{u2}\multsp {{\Mvariable{u3}}^3}\multsp
{{\Mvariable{x1}}^3}-2\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{u3}\multsp {{\Mvariable{x1}}^3}-{{\Mvariable{u2}}^4}\multsp {{\Mvariable{x2}}^3}+{{\Mvariable{u3}}^4}\multsp
{{\Mvariable{x2}}^3}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp \Mvariable{u2}\multsp {{\Mvariable{u3}}^3}\multsp \Mvariable{x1}\multsp {{\Mvariable{x2}}^2}+6\multsp {{\Mvariable{u2}}^3}\multsp
\Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{x2}}^2}+3\multsp {{\Mvariable{u2}}^4}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{x2}-3\multsp
{{\Mvariable{u3}}^4}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{x2},  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} -3\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^7}-\Mvariable{u1}\multsp \Mvariable{u3}\multsp {{\Mvariable{u2}}^6}+3\multsp \Mvariable{u3}\multsp
\Mvariable{x3}\multsp {{\Mvariable{u2}}^6}+3\multsp \Mvariable{u1}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^6}+6\multsp \Mvariable{x3}\multsp
\Mvariable{x4}\multsp {{\Mvariable{u2}}^6}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} {{\Mvariable{x4}}^3}\multsp {{\Mvariable{u2}}^5}-6\multsp \Mvariable{u3}\multsp {{\Mvariable{x3}}^2}\multsp {{\Mvariable{u2}}^5}+6\multsp
\Mvariable{u3}\multsp {{\Mvariable{x4}}^2}\multsp {{\Mvariable{u2}}^5}-9\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^5}-3\multsp
{{\Mvariable{x3}}^2}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^5}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp \Mvariable{u1}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^5}-3\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^3}\multsp
{{\Mvariable{u2}}^4}+3\multsp \Mvariable{u3}\multsp {{\Mvariable{x3}}^3}\multsp {{\Mvariable{u2}}^4}-\Mvariable{u1}\multsp {{\Mvariable{x4}}^3}\multsp
{{\Mvariable{u2}}^4}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 3\multsp \Mvariable{u1}\multsp \Mvariable{u3}\multsp {{\Mvariable{x3}}^2}\multsp {{\Mvariable{u2}}^4}-3\multsp \Mvariable{u1}\multsp
\Mvariable{u3}\multsp {{\Mvariable{x4}}^2}\multsp {{\Mvariable{u2}}^4}-9\multsp \Mvariable{u3}\multsp \Mvariable{x3}\multsp {{\Mvariable{x4}}^2}\multsp
{{\Mvariable{u2}}^4}+9\multsp {{\Mvariable{u3}}^3}\multsp \Mvariable{x3}\multsp {{\Mvariable{u2}}^4}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 9\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^4}+3\multsp \Mvariable{u1}\multsp
{{\Mvariable{x3}}^2}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^4}+6\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp
{{\Mvariable{u2}}^4}-2\multsp \Mvariable{u1}\multsp \Mvariable{u3}\multsp {{\Mvariable{x3}}^3}\multsp {{\Mvariable{u2}}^3}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{x4}}^3}\multsp {{\Mvariable{u2}}^3}-12\multsp {{\Mvariable{u3}}^3}\multsp {{\Mvariable{x3}}^2}\multsp
{{\Mvariable{u2}}^3}+12\multsp {{\Mvariable{u3}}^3}\multsp {{\Mvariable{x4}}^2}\multsp {{\Mvariable{u2}}^3}+6\multsp \Mvariable{u1}\multsp \Mvariable{u3}\multsp
\Mvariable{x3}\multsp {{\Mvariable{x4}}^2}\multsp {{\Mvariable{u2}}^3}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 9\multsp {{\Mvariable{u3}}^4}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^3}+6\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{x3}}^2}\multsp
\Mvariable{x4}\multsp {{\Mvariable{u2}}^3}-12\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp
{{\Mvariable{u2}}^3}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 3\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^5}\multsp {{\Mvariable{u2}}^2}+2\multsp {{\Mvariable{u3}}^3}\multsp {{\Mvariable{x3}}^3}\multsp
{{\Mvariable{u2}}^2}+6\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^3}\multsp {{\Mvariable{x3}}^2}\multsp {{\Mvariable{u2}}^2}-6\multsp \Mvariable{u1}\multsp
{{\Mvariable{u3}}^3}\multsp {{\Mvariable{x4}}^2}\multsp {{\Mvariable{u2}}^2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp {{\Mvariable{u3}}^3}\multsp \Mvariable{x3}\multsp {{\Mvariable{x4}}^2}\multsp {{\Mvariable{u2}}^2}+9\multsp {{\Mvariable{u3}}^5}\multsp
\Mvariable{x3}\multsp {{\Mvariable{u2}}^2}+9\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^4}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^2}-6\multsp
{{\Mvariable{u3}}^4}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^3}\multsp {{\Mvariable{x3}}^3}\multsp \Mvariable{u2}-3\multsp {{\Mvariable{u3}}^4}\multsp
{{\Mvariable{x4}}^3}\multsp \Mvariable{u2}-6\multsp {{\Mvariable{u3}}^5}\multsp {{\Mvariable{x3}}^2}\multsp \Mvariable{u2}+6\multsp {{\Mvariable{u3}}^5}\multsp
{{\Mvariable{x4}}^2}\multsp \Mvariable{u2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^3}\multsp \Mvariable{x3}\multsp {{\Mvariable{x4}}^2}\multsp \Mvariable{u2}-3\multsp
{{\Mvariable{u3}}^6}\multsp \Mvariable{x4}\multsp \Mvariable{u2}+9\multsp {{\Mvariable{u3}}^4}\multsp {{\Mvariable{x3}}^2}\multsp \Mvariable{x4}\multsp
\Mvariable{u2}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^4}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp \Mvariable{u2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} \Mvariable{u1}\multsp {{\Mvariable{u3}}^7}-{{\Mvariable{u3}}^5}\multsp {{\Mvariable{x3}}^3}+\Mvariable{u1}\multsp {{\Mvariable{u3}}^4}\multsp
{{\Mvariable{x4}}^3}+3\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^5}\multsp {{\Mvariable{x3}}^2}-3\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^5}\multsp
{{\Mvariable{x4}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 3\multsp {{\Mvariable{u3}}^5}\multsp \Mvariable{x3}\multsp {{\Mvariable{x4}}^2}+3\multsp {{\Mvariable{u3}}^7}\multsp \Mvariable{x3}+3\multsp
\Mvariable{u1}\multsp {{\Mvariable{u3}}^6}\multsp \Mvariable{x4}-3\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^4}\multsp {{\Mvariable{x3}}^2}\multsp
\Mvariable{x4}-6\multsp {{\Mvariable{u3}}^6}\multsp \Mvariable{x3}\multsp \Mvariable{x4},  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} -\Mvariable{x2}\multsp {{\Mvariable{u2}}^3}+2\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^3}+\Mvariable{u3}\multsp \Mvariable{x1}\multsp
{{\Mvariable{u2}}^2}-2\multsp \Mvariable{u3}\multsp \Mvariable{x3}\multsp {{\Mvariable{u2}}^2}+2\multsp \Mvariable{x2}\multsp \Mvariable{x3}\multsp
{{\Mvariable{u2}}^2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp \Mvariable{x1}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^2}-2\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp {{\Mvariable{u2}}^2}+2\multsp
\Mvariable{u3}\multsp {{\Mvariable{x3}}^2}\multsp \Mvariable{u2}-\Mvariable{x2}\multsp {{\Mvariable{x3}}^2}\multsp \Mvariable{u2}-2\multsp \Mvariable{u3}\multsp
{{\Mvariable{x4}}^2}\multsp \Mvariable{u2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} \Mvariable{x2}\multsp {{\Mvariable{x4}}^2}\multsp \Mvariable{u2}-{{\Mvariable{u3}}^2}\multsp \Mvariable{x2}\multsp \Mvariable{u2}+2\multsp
{{\Mvariable{u3}}^2}\multsp \Mvariable{x4}\multsp \Mvariable{u2}+2\multsp \Mvariable{x1}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp \Mvariable{u2}-\Mvariable{u3}\multsp
\Mvariable{x1}\multsp {{\Mvariable{x3}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} \Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{x4}}^2}+{{\Mvariable{u3}}^3}\multsp \Mvariable{x1}-2\multsp {{\Mvariable{u3}}^3}\multsp
\Mvariable{x3}+2\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x2}\multsp \Mvariable{x3}-2\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x1}\multsp
\Mvariable{x4}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x3}\multsp \Mvariable{x4}-2\multsp \Mvariable{u3}\multsp \Mvariable{x2}\multsp \Mvariable{x3}\multsp
\Mvariable{x4},\Mvariable{x4}\multsp {{\Mvariable{x5}}^2}-2\multsp \Mvariable{x3}\multsp \Mvariable{x6}\multsp \Mvariable{x5}-\Mvariable{x4}\multsp
{{\Mvariable{x6}}^2},  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} -\Mvariable{u3}\multsp {{\Mvariable{u1}}^3}+2\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^3}-\Mvariable{x6}\multsp {{\Mvariable{u1}}^3}+2\multsp
\Mvariable{u3}\multsp \Mvariable{x1}\multsp {{\Mvariable{u1}}^2}-2\multsp \Mvariable{u2}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^2}-2\multsp
\Mvariable{x1}\multsp \Mvariable{x2}\multsp {{\Mvariable{u1}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} \Mvariable{u3}\multsp \Mvariable{x5}\multsp {{\Mvariable{u1}}^2}-2\multsp \Mvariable{x2}\multsp \Mvariable{x5}\multsp {{\Mvariable{u1}}^2}+\Mvariable{u2}\multsp
\Mvariable{x6}\multsp {{\Mvariable{u1}}^2}+2\multsp \Mvariable{x1}\multsp \Mvariable{x6}\multsp {{\Mvariable{u1}}^2}-\Mvariable{u3}\multsp {{\Mvariable{x1}}^2}\multsp
\Mvariable{u1}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} \Mvariable{u3}\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{u1}+2\multsp \Mvariable{u2}\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp
\Mvariable{u1}-2\multsp \Mvariable{u3}\multsp \Mvariable{x1}\multsp \Mvariable{x5}\multsp \Mvariable{u1}+2\multsp \Mvariable{u2}\multsp \Mvariable{x2}\multsp
\Mvariable{x5}\multsp \Mvariable{u1}+2\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp \Mvariable{x5}\multsp \Mvariable{u1}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} {{\Mvariable{x1}}^2}\multsp \Mvariable{x6}\multsp \Mvariable{u1}+{{\Mvariable{x2}}^2}\multsp \Mvariable{x6}\multsp \Mvariable{u1}-2\multsp
\Mvariable{u2}\multsp \Mvariable{x1}\multsp \Mvariable{x6}\multsp \Mvariable{u1}-2\multsp \Mvariable{u3}\multsp \Mvariable{x2}\multsp \Mvariable{x6}\multsp
\Mvariable{u1}+\Mvariable{u3}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{x5}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} \Mvariable{u3}\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{x5}-2\multsp \Mvariable{u2}\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp
\Mvariable{x5}+\Mvariable{u2}\multsp {{\Mvariable{x1}}^2}\multsp \Mvariable{x6}-\Mvariable{u2}\multsp {{\Mvariable{x2}}^2}\multsp \Mvariable{x6}+2\multsp
\Mvariable{u3}\multsp \Mvariable{x1}\multsp \Mvariable{x2}\multsp \Mvariable{x6}\}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{conclusion}*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{con1}=\Muserfunction{sqrdist}[D,e]-\Muserfunction{sqrdist}[e,F]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
-{{\Mvariable{x3}}^2}+2\multsp \Mvariable{x1}\multsp \Mvariable{x3}-{{\Mvariable{x4}}^2}+{{\Mvariable{x5}}^2}+{{\Mvariable{x6}}^2}+2\multsp \Mvariable{x2}\multsp
\Mvariable{x4}-2\multsp \Mvariable{x1}\multsp \Mvariable{x5}-2\multsp \Mvariable{x2}\multsp \Mvariable{x6}
}

\dispSFinmath{
\Mvariable{con2}=\Muserfunction{sqrdist}[D,e]-\Muserfunction{sqrdist}[D,F]
}

\dispSFoutmath{
{{\Mvariable{x1}}^2}-2\multsp \Mvariable{x5}\multsp \Mvariable{x1}+{{\Mvariable{x2}}^2}-{{\Mvariable{x3}}^2}-{{\Mvariable{x4}}^2}+2\multsp \Mvariable{x3}\multsp
\Mvariable{x5}-2\multsp \Mvariable{x2}\multsp \Mvariable{x6}+2\multsp \Mvariable{x4}\multsp \Mvariable{x6}
}

\dispSFinmath{
\Muserfunction{IdealMember}[\Mvariable{con1},\Mvariable{polys},\Mvariable{vars}]//\Mfunction{Timing}
}

\Print{\\
No more memory available.\\
Mathematica kernel has shut down.\\
Try quitting other applications and then retry.}

\dispSFinmath{
\Muserfunction{IdealMember}[\Mvariable{con2},\Mvariable{polys},\Mvariable{vars}]//\Mfunction{Timing}
}

\Print{\\
No more memory available.\\
Mathematica kernel has shut down.\\
Try quitting other applications and then retry.}


\end{document}
