Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs 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.12 Sekunden, vorverarbeitet 2026-06-18]
