Algorithmus zur Berechnung von Standardbasen eines Ideals I in der Lokalisierung eines Polynomenringes nach einem durch die Ordnung definierten multiplikativ abgeschlossenen System.

Es handelt sich um eine Verallgemeinerung des Buchberger-Algorithmus’ durch T. Mora für lokale Monomenordnungen (der Buchberger-Algorithmus terminiert nur für Wohlordnungen). Dabei muß die im Buchberger-Algorithmus verwendete Normalform (Normalform eines Polynoms) geeignet modifiziert werden.