Spracherkennung für: .g vermutete Sprache: Lisp {Lisp[90] Masm[90] ABAP[10]} [Methode: maximale Elemente, drei Dimensionen]
Q := Quiver( 3, [ [1,2,"a"], [2,3,"b"] ] );
PA := PathAlgebra( Rationals, Q );
rels := [ PA.a*PA.b ];
gb := GBNPGroebnerBasis( rels, PA );
I := Ideal( PA, gb );
grb := GroebnerBasis( I, gb );
alg := PA/I;
IsGroebnerBasis(gb);
IsGroebnerBasis(grb);
####################
[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-10-22]
