Spracherkennung für: .g vermutete Sprache: Lisp {Lisp[60] Masm[60] Fortran[20]} [Methode: maximale Elemente, drei Dimensionen]
LoadPackage( "Cdd" );
C := Cdd_PolyhedronByInequalities( [ [ 0, 1, 1 ] ] );
D := Cdd_V_Rep( C );
[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-10-20]