source = DirectoryName[
    ToFileName["FileName"/.NotebookInformation[EvaluationNotebook[]]]];
SetDirectory[source];
Needs["GeoBeweiser`"]
clearndg[];
Clear["u1","u2","u3","x1","x2","x3","x4","x5","x6","x7","x8","y"];

vars := {x1, x2, x3, x4, x5, x6, x7, x8, y};
parameters := {u1, u2};

\(\(\( (*Punkte*) \)\(
\)\(\(Unprotect[C, 
        M];\)

    \(A = point[0, 0];\)

    \(B = point[u1, 0];\)

    \(C = point[0, u2];\)

    \(M1 = point[x1, 0];\)

    \(M2 = point[0, x2];\)

    \(M3 = point[x3, x4];\)

    \(H = point[x5, x6];\)

    \(M = point[x7, x8];\)\)\)\)

\(\(\( (*definiere\ M1, M2, 
      M3\ asl\ Mittelpunkte\ der\ Seiten*) \)\(
\)\(AddGleichung[
      midpoint[A, B] - M1]

    AddGleichung[midpoint[C, A] - M2]

    AddGleichung[midpoint[C, B] - M3]


    AddGleichung[pedalpoint[A, ppline[B, C]] - H]\)\)\)

Kreis = 
      p3circle[M1, M2, M3]

    M = circlecenter[Kreis]

polys = 
      Gleichungen

con = 
      oncircle[H, Kreis]

    con2 = oncircle[A, Kreis]

IdealMember[con, polys, vars] // Timing
IdealMember[con2, polys, vars] // Timing