

%% 
%% 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{x5},\Mvariable{x6}];  \\
\noalign{\vspace{0.625ex}}  \\
D=\Muserfunction{point}[\Mvariable{u2},\Mvariable{u3}];e=\Muserfunction{point}[\Mvariable{x1},\Mvariable{x2}];  \\
\noalign{\vspace{0.625ex}}  \\
F=\Muserfunction{point}[\Mvariable{x3},\Mvariable{x4}];
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Verdreifachung}\multsp \Mvariable{des}\multsp \Mvariable{Winkels}\multsp \Mvariable{wBAD}*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{Bad}=\Muserfunction{sympoint}[B,\Muserfunction{ppline}[A,D]]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\Big\{\frac{\Mvariable{u1}\multsp {{\Mvariable{u2}}^2}-\Mvariable{u1}\multsp {{\Mvariable{u3}}^2}}{{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}},\frac{2\multsp
\Mvariable{u1}\multsp \Mvariable{u2}\multsp \Mvariable{u3}}{{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}}\Big\}
}

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

\dispSFoutmath{
\Big\{\frac{{{\Mvariable{u2}}^3}-3\multsp \Mvariable{u2}\multsp {{\Mvariable{u3}}^2}}{{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}},\frac{3\multsp {{\Mvariable{u2}}^2}\multsp
\Mvariable{u3}-{{\Mvariable{u3}}^3}}{{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}}\Big\}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Verdreifachung}\multsp \Mvariable{des}\multsp \Mvariable{Winkels}\multsp \Mvariable{wABD}*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{Abd}=\Muserfunction{sympoint}[A,\Muserfunction{ppline}[B,D]]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\Big\{\frac{2\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}}{{{\Mvariable{u1}}^2}-2\multsp \Mvariable{u2}\multsp \Mvariable{u1}+{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}},\frac{2\multsp
\Mvariable{u1}\multsp (\Mvariable{u1}-\Mvariable{u2})\multsp \Mvariable{u3}}{{{\Mvariable{u1}}^2}-2\multsp \Mvariable{u2}\multsp \Mvariable{u1}+{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}}\Big\}
}

\dispSFinmath{
\Mvariable{Db}=\Muserfunction{sympoint}[D,\Muserfunction{ppline}[B,\Mvariable{Abd}]]
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
\Big\{\frac{{{\Mvariable{u2}}^3}-2\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^2}+{{\Mvariable{u1}}^2}\multsp \Mvariable{u2}-3\multsp {{\Mvariable{u3}}^2}\multsp
\Mvariable{u2}+4\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}}{{{\Mvariable{u1}}^2}-2\multsp \Mvariable{u2}\multsp \Mvariable{u1}+{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}},
 \\
\noalign{\vspace{1.42188ex}}
\hspace{1.em} \frac{-{{\Mvariable{u3}}^3}+3\multsp {{\Mvariable{u1}}^2}\multsp \Mvariable{u3}+3\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}-6\multsp
\Mvariable{u1}\multsp \Mvariable{u2}\multsp \Mvariable{u3}}{{{\Mvariable{u1}}^2}-2\multsp \Mvariable{u2}\multsp \Mvariable{u1}+{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}}\Big\}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Bestimme}\multsp C*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{gleichungc}=\Muserfunction{intersectionpoint}[\Muserfunction{ppline}[A,\Mvariable{Da}],  \\
\noalign{\vspace{0.625ex}}
\hspace{2.em} \Muserfunction{ppline}[B,\Mvariable{Db}]]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
\Big\{\frac{(3\multsp {{\Mvariable{u1}}^2}-6\multsp \Mvariable{u2}\multsp \Mvariable{u1}+3\multsp {{\Mvariable{u2}}^2}-{{\Mvariable{u3}}^2})\multsp
({{\Mvariable{u2}}^3}-3\multsp \Mvariable{u2}\multsp {{\Mvariable{u3}}^2})}{3\multsp {{\Mvariable{u2}}^4}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}+3\multsp
{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}+6\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^2}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp
\Mvariable{u2}+3\multsp {{\Mvariable{u3}}^4}-{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^2}},  \\
\noalign{\vspace{1.42188ex}}
\hspace{1.em} \frac{\Mvariable{u3}\multsp (3\multsp {{\Mvariable{u2}}^2}-{{\Mvariable{u3}}^2})\multsp (3\multsp {{\Mvariable{u1}}^2}-6\multsp \Mvariable{u2}\multsp
\Mvariable{u1}+3\multsp {{\Mvariable{u2}}^2}-{{\Mvariable{u3}}^2})}{3\multsp {{\Mvariable{u2}}^4}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}+3\multsp
{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}+6\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^2}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp
\Mvariable{u2}+3\multsp {{\Mvariable{u3}}^4}-{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^2}}\Big\}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
\Muserfunction{AddGleichung}[\Muserfunction{gleichungc}[[1]]-\Mfunction{C}[[1]]]  \\
\noalign{\vspace{0.625ex}}  \\
\Muserfunction{AddGleichung}[\Muserfunction{gleichungc}[[2]]-\Mfunction{C}[[2]]]
\MathEnd{MathArray}
}

\dispSFoutmath{
\frac{(3\multsp {{\Mvariable{u1}}^2}-6\multsp \Mvariable{u2}\multsp \Mvariable{u1}+3\multsp {{\Mvariable{u2}}^2}-{{\Mvariable{u3}}^2})\multsp ({{\Mvariable{u2}}^3}-3\multsp
\Mvariable{u2}\multsp {{\Mvariable{u3}}^2})}{3\multsp {{\Mvariable{u2}}^4}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}+3\multsp {{\Mvariable{u1}}^2}\multsp
{{\Mvariable{u2}}^2}+6\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^2}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{u2}+3\multsp
{{\Mvariable{u3}}^4}-{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^2}}-\Mvariable{x5}
}

\dispSFoutmath{
\frac{\Mvariable{u3}\multsp (3\multsp {{\Mvariable{u2}}^2}-{{\Mvariable{u3}}^2})\multsp (3\multsp {{\Mvariable{u1}}^2}-6\multsp \Mvariable{u2}\multsp
\Mvariable{u1}+3\multsp {{\Mvariable{u2}}^2}-{{\Mvariable{u3}}^2})}{3\multsp {{\Mvariable{u2}}^4}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}+3\multsp
{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}+6\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^2}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp
\Mvariable{u2}+3\multsp {{\Mvariable{u3}}^4}-{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^2}}-\Mvariable{x6}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Bestimmung}\multsp \Mvariable{der}\multsp \Mvariable{Geradenwinkel}\multsp (\Mvariable{Drittelwinkel})*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{V3}=\tan [\pi /3]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
{\sqrt{3}}
}

\dispSFinmath{
\Mvariable{wA3}=\Muserfunction{p3angle}[D,A,B]
}

\dispSFoutmath{
\frac{\Mvariable{u3}}{\Mvariable{u2}}
}

\dispSFinmath{
\Mvariable{wB3}=\Muserfunction{p3angle}[A,B,D]
}

\dispSFoutmath{
\frac{\Mvariable{u3}}{\Mvariable{u1}-\Mvariable{u2}}
}

\dispSFinmath{
\Mvariable{wC3}=\Muserfunction{p3angle}[F,C,A]
}

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

\dispSFinmath{
\Mvariable{dreineu}=\Muserfunction{anglesum}[\Mvariable{V3},-\Muserfunction{anglesum}[\Mvariable{wA3},\Mvariable{wB3}]]-\Mvariable{wC3}
}

\dispSFoutmath{
\frac{-{\sqrt{3}}\multsp {{\Mvariable{u2}}^2}+{\sqrt{3}}\multsp \Mvariable{u1}\multsp \Mvariable{u2}-{\sqrt{3}}\multsp {{\Mvariable{u3}}^2}-\Mvariable{u1}\multsp
\Mvariable{u3}}{-{{\Mvariable{u2}}^2}+\Mvariable{u1}\multsp \Mvariable{u2}-{{\Mvariable{u3}}^2}+{\sqrt{3}}\multsp \Mvariable{u1}\multsp \Mvariable{u3}}-\frac{\Mvariable{x3}\multsp
\Mvariable{x6}-\Mvariable{x4}\multsp \Mvariable{x5}}{{{\Mvariable{x5}}^2}-\Mvariable{x3}\multsp \Mvariable{x5}+{{\Mvariable{x6}}^2}-\Mvariable{x4}\multsp
\Mvariable{x6}}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Bestimme}\multsp F*)  \\
\noalign{\vspace{0.625ex}}\Muserfunction{AddGleichung}[\Mvariable{dreineu}]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\frac{-{\sqrt{3}}\multsp {{\Mvariable{u2}}^2}+{\sqrt{3}}\multsp \Mvariable{u1}\multsp \Mvariable{u2}-{\sqrt{3}}\multsp {{\Mvariable{u3}}^2}-\Mvariable{u1}\multsp
\Mvariable{u3}}{-{{\Mvariable{u2}}^2}+\Mvariable{u1}\multsp \Mvariable{u2}-{{\Mvariable{u3}}^2}+{\sqrt{3}}\multsp \Mvariable{u1}\multsp \Mvariable{u3}}-\frac{\Mvariable{x3}\multsp
\Mvariable{x6}-\Mvariable{x4}\multsp \Mvariable{x5}}{{{\Mvariable{x5}}^2}-\Mvariable{x3}\multsp \Mvariable{x5}+{{\Mvariable{x6}}^2}-\Mvariable{x4}\multsp
\Mvariable{x6}}
}

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

\dispSFoutmath{
-\Mvariable{x4}\multsp {{\Mvariable{u2}}^2}+2\multsp \Mvariable{u3}\multsp \Mvariable{x3}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2}\multsp \Mvariable{x4}
}

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

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

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Bestimme}\multsp e*)  \\
\noalign{\vspace{0.625ex}}\Muserfunction{AddGleichung}[\Muserfunction{online}[e,\Muserfunction{ppline}[C,\Mvariable{Acf}]]]\\
\MathEnd{MathArray}
}

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

\dispSFinmath{
\Muserfunction{AddGleichung}[\Muserfunction{online}[e,\Muserfunction{ppline}[B,\Mvariable{Abd}]]]
}

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

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

\dispSFoutmath{
\MathBegin{MathArray}[p]{l}
\big\{3\multsp {{\Mvariable{u2}}^5}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^4}-3\multsp \Mvariable{x5}\multsp {{\Mvariable{u2}}^4}+3\multsp
{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^3}-10\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^3}+  \\
\noalign{\vspace{0.726563ex}}
\hspace{2.em} 6\multsp \Mvariable{u1}\multsp \Mvariable{x5}\multsp {{\Mvariable{u2}}^3}+18\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp
{{\Mvariable{u2}}^2}-3\multsp {{\Mvariable{u1}}^2}\multsp \Mvariable{x5}\multsp {{\Mvariable{u2}}^2}-6\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x5}\multsp
{{\Mvariable{u2}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 3\multsp {{\Mvariable{u3}}^4}\multsp \Mvariable{u2}-9\multsp {{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{u2}+6\multsp
\Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x5}\multsp \Mvariable{u2}-3\multsp {{\Mvariable{u3}}^4}\multsp \Mvariable{x5}+{{\Mvariable{u1}}^2}\multsp
{{\Mvariable{u3}}^2}\multsp \Mvariable{x5},  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} {{\Mvariable{u3}}^5}-3\multsp \Mvariable{x6}\multsp {{\Mvariable{u3}}^4}-3\multsp {{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^3}-6\multsp
{{\Mvariable{u2}}^2}\multsp {{\Mvariable{u3}}^3}+6\multsp \Mvariable{u1}\multsp \Mvariable{u2}\multsp {{\Mvariable{u3}}^3}+{{\Mvariable{u1}}^2}\multsp
\Mvariable{x6}\multsp {{\Mvariable{u3}}^2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 6\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{x6}\multsp {{\Mvariable{u3}}^2}+6\multsp \Mvariable{u1}\multsp \Mvariable{u2}\multsp
\Mvariable{x6}\multsp {{\Mvariable{u3}}^2}+9\multsp {{\Mvariable{u2}}^4}\multsp \Mvariable{u3}-18\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}\multsp
\Mvariable{u3}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 9\multsp {{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}-3\multsp {{\Mvariable{u2}}^4}\multsp \Mvariable{x6}+6\multsp
\Mvariable{u1}\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{x6}-3\multsp {{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{x6},
 \\
\noalign{\vspace{0.6875ex}}
\hspace{1.em} -{\sqrt{3}}\multsp {{\Mvariable{x5}}^2}\multsp {{\Mvariable{u2}}^2}-{\sqrt{3}}\multsp {{\Mvariable{x6}}^2}\multsp {{\Mvariable{u2}}^2}+{\sqrt{3}}\multsp
\Mvariable{x3}\multsp \Mvariable{x5}\multsp {{\Mvariable{u2}}^2}-\Mvariable{x4}\multsp \Mvariable{x5}\multsp {{\Mvariable{u2}}^2}+\Mvariable{x3}\multsp
\Mvariable{x6}\multsp {{\Mvariable{u2}}^2}+  \\
\noalign{\vspace{0.6875ex}}
\hspace{2.em} {\sqrt{3}}\multsp \Mvariable{x4}\multsp \Mvariable{x6}\multsp {{\Mvariable{u2}}^2}+{\sqrt{3}}\multsp \Mvariable{u1}\multsp {{\Mvariable{x5}}^2}\multsp
\Mvariable{u2}+{\sqrt{3}}\multsp \Mvariable{u1}\multsp {{\Mvariable{x6}}^2}\multsp \Mvariable{u2}-{\sqrt{3}}\multsp \Mvariable{u1}\multsp \Mvariable{x3}\multsp
\Mvariable{x5}\multsp \Mvariable{u2}+  \\
\noalign{\vspace{0.6875ex}}
\hspace{2.em} \Mvariable{u1}\multsp \Mvariable{x4}\multsp \Mvariable{x5}\multsp \Mvariable{u2}-\Mvariable{u1}\multsp \Mvariable{x3}\multsp \Mvariable{x6}\multsp
\Mvariable{u2}-{\sqrt{3}}\multsp \Mvariable{u1}\multsp \Mvariable{x4}\multsp \Mvariable{x6}\multsp \Mvariable{u2}-{\sqrt{3}}\multsp {{\Mvariable{u3}}^2}\multsp
{{\Mvariable{x5}}^2}-\Mvariable{u1}\multsp \Mvariable{u3}\multsp {{\Mvariable{x5}}^2}-  \\
\noalign{\vspace{0.6875ex}}
\hspace{2.em} {\sqrt{3}}\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{x6}}^2}-\Mvariable{u1}\multsp \Mvariable{u3}\multsp {{\Mvariable{x6}}^2}+{\sqrt{3}}\multsp
{{\Mvariable{u3}}^2}\multsp \Mvariable{x3}\multsp \Mvariable{x5}+\Mvariable{u1}\multsp \Mvariable{u3}\multsp \Mvariable{x3}\multsp \Mvariable{x5}-{{\Mvariable{u3}}^2}\multsp
\Mvariable{x4}\multsp \Mvariable{x5}+  \\
\noalign{\vspace{0.6875ex}}
\hspace{2.em} {\sqrt{3}}\multsp \Mvariable{u1}\multsp \Mvariable{u3}\multsp \Mvariable{x4}\multsp \Mvariable{x5}+{{\Mvariable{u3}}^2}\multsp \Mvariable{x3}\multsp
\Mvariable{x6}-{\sqrt{3}}\multsp \Mvariable{u1}\multsp \Mvariable{u3}\multsp \Mvariable{x3}\multsp \Mvariable{x6}+{\sqrt{3}}\multsp {{\Mvariable{u3}}^2}\multsp
\Mvariable{x4}\multsp \Mvariable{x6}+\Mvariable{u1}\multsp \Mvariable{u3}\multsp \Mvariable{x4}\multsp \Mvariable{x6},  \\
\noalign{\vspace{0.726563ex}}
\hspace{1.em} -\Mvariable{x4}\multsp {{\Mvariable{u2}}^2}+2\multsp \Mvariable{u3}\multsp \Mvariable{x3}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2}\multsp
\Mvariable{x4},\Mvariable{x2}\multsp {{\Mvariable{x5}}^3}-2\multsp \Mvariable{x4}\multsp {{\Mvariable{x5}}^3}-2\multsp \Mvariable{x2}\multsp \Mvariable{x3}\multsp
{{\Mvariable{x5}}^2}+2\multsp \Mvariable{x1}\multsp \Mvariable{x4}\multsp {{\Mvariable{x5}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp {{\Mvariable{x5}}^2}-\Mvariable{x1}\multsp \Mvariable{x6}\multsp {{\Mvariable{x5}}^2}+2\multsp
\Mvariable{x3}\multsp \Mvariable{x6}\multsp {{\Mvariable{x5}}^2}+\Mvariable{x2}\multsp {{\Mvariable{x3}}^2}\multsp \Mvariable{x5}-\Mvariable{x2}\multsp
{{\Mvariable{x4}}^2}\multsp \Mvariable{x5}+\Mvariable{x2}\multsp {{\Mvariable{x6}}^2}\multsp \Mvariable{x5}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp \Mvariable{x4}\multsp {{\Mvariable{x6}}^2}\multsp \Mvariable{x5}-2\multsp \Mvariable{x1}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp
\Mvariable{x5}-2\multsp {{\Mvariable{x3}}^2}\multsp \Mvariable{x6}\multsp \Mvariable{x5}+2\multsp {{\Mvariable{x4}}^2}\multsp \Mvariable{x6}\multsp
\Mvariable{x5}-\Mvariable{x1}\multsp {{\Mvariable{x6}}^3}+2\multsp \Mvariable{x3}\multsp {{\Mvariable{x6}}^3}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp \Mvariable{x2}\multsp \Mvariable{x3}\multsp {{\Mvariable{x6}}^2}+2\multsp \Mvariable{x1}\multsp \Mvariable{x4}\multsp {{\Mvariable{x6}}^2}-2\multsp
\Mvariable{x3}\multsp \Mvariable{x4}\multsp {{\Mvariable{x6}}^2}+\Mvariable{x1}\multsp {{\Mvariable{x3}}^2}\multsp \Mvariable{x6}-\Mvariable{x1}\multsp
{{\Mvariable{x4}}^2}\multsp \Mvariable{x6}+2\multsp \Mvariable{x2}\multsp \Mvariable{x3}\multsp \Mvariable{x4}\multsp \Mvariable{x6},  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} -2\multsp \Mvariable{u3}\multsp {{\Mvariable{u1}}^2}+\Mvariable{x2}\multsp {{\Mvariable{u1}}^2}+2\multsp \Mvariable{u2}\multsp \Mvariable{u3}\multsp
\Mvariable{u1}+2\multsp \Mvariable{u3}\multsp \Mvariable{x1}\multsp \Mvariable{u1}-  \\
\noalign{\vspace{0.726563ex}}
\hspace{2.em} 2\multsp \Mvariable{u2}\multsp \Mvariable{x2}\multsp \Mvariable{u1}-2\multsp \Mvariable{u2}\multsp \Mvariable{u3}\multsp \Mvariable{x1}+{{\Mvariable{u2}}^2}\multsp
\Mvariable{x2}-{{\Mvariable{u3}}^2}\multsp \Mvariable{x2}\big\}\\
\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{u2}}^2}-2\multsp \Mvariable{x1}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2}-{{\Mvariable{x3}}^2}-{{\Mvariable{x4}}^2}-2\multsp \Mvariable{u3}\multsp
\Mvariable{x2}+2\multsp \Mvariable{x1}\multsp \Mvariable{x3}+2\multsp \Mvariable{x2}\multsp \Mvariable{x4}
}

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

\dispSFoutmath{
{{\Mvariable{x1}}^2}-2\multsp \Mvariable{u2}\multsp \Mvariable{x1}+{{\Mvariable{x2}}^2}-{{\Mvariable{x3}}^2}-{{\Mvariable{x4}}^2}-2\multsp \Mvariable{u3}\multsp
\Mvariable{x2}+2\multsp \Mvariable{u2}\multsp \Mvariable{x3}+2\multsp \Mvariable{u3}\multsp \Mvariable{x4}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
\{\Muserfunction{IdealMember}[\Mvariable{con1},\Mvariable{polys},\Mvariable{vars}],  \\
\noalign{\vspace{0.625ex}}
\hspace{2.em} \Muserfunction{IdealMember}[\Mvariable{con2},\Mvariable{polys},\Mvariable{vars}]\}//\Mfunction{Timing}\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\{80.105\multsp \Mvariable{Second},\{\Mvariable{True},\Mvariable{True}\}\}
}


\end{document}
