Spracherkennung für: .gd vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
DeclareCategory( "IsPoset", IsObject and IsAttributeStoringRep );
DeclareRepresentation( "IsPosetRep", IsPoset, [ "set", "binary_relation", "minimal_relations", "lessthan" ] );
DeclareAttribute( "Size", IsPoset );
DeclareOperation( "Poset", [ IsList, IsList ] );
DeclareOperation( "UnderlyingSet", [ IsPoset ] );
DeclareOperation( "PartialOrderOfPoset", [ IsPoset ] );
BindGlobal( "TheFamilyOfPosets", NewFamily( "TheFamilyOfPosets" ) );
BindGlobal( "TheTypePoset", NewType( TheFamilyOfPosets, IsPosetRep ) );
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-06-18]
