Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
LoadPackage( "ModulePresentationsForCAP" );
LoadPackage( "GeneralizedMorphismsForCAP" );
LoadPackage( "RingsForHomalg" );
is_artinian_left := function( module )
local mat;
mat := UnderlyingMatrix( module );
return IsZero( HilbertPolynomial( mat ) );
end;
is_artinian_right := function( module )
local mat;
mat := UnderlyingMatrix( module );
mat := TransposedMat( mat );
return IsZero( HilbertPolynomial( mat ) );
end;
R := HomalgFieldOfRationalsInSingular( ) * "x,y,z";
serre_quotient := LeftPresentations( R ) / is_artinian_left;
[Dauer der Verarbeitung: 0.18 Sekunden, vorverarbeitet 2026-06-17]
