A direct approach to computing the \(\mu\)-basis of planar rational curves (Q5938549)

Die Arbeit gibt zunächst einen Überblick über die vorhandenen Methoden zur Implizitisierung (Herstellung der impliziten Gleichung) und Parametrisierung (Herstellung einer Parameterdarstellung) einer ebenen rationalen Kurve der Ordnung \(n\). Als sehr brauchbares Werkzeug wird die \(\mu\)-Basis einer solchen Kurve herausgestellt. Es handelt sich dabei um zwei geeignete Begleitgeraden \(p\) (vom Grad \(\mu\)) und \(q\) (vom Grad \(n\)-\(\mu\)) der Kurve. Mit Hilfe ihrer \(\mu\)-Basis läßt sich z.B. ihre implizite Gleichung aus einer Determinante gewinnen, die kleiner ist als jene, die sich bei Verwendung der Resultate einer Parameterdarstellung einstellt. Die Autoren präsentieren nun einen auf Gröbnerbasis-Techniken beruhenden neuen Algorithmus zur Berechnung der \(\mu\)-Basis einer ebenen rationalen Kurve der Ordnung \(n\), ausgehend von einer Parameterdarstellung \(r(t)\) der Kurve in homogenen Koordinaten. Der vorgestellte Algorithmus arbeitet mit der Berechnungskomplexität \(O(n^2)\), während die bisherige Methode, die die Lösung eines linearen Gleichungssystems verlangt, einen \(O(n^3)\)-Algorithmus verwendet. Der neue Algorithmus wird am Beispiel eines Kegelschnitts demonstriert.