Spracherkennung für: .g vermutete Sprache: Lisp {Lisp[80] Masm[80] R[40]} [Methode: maximale Elemente, drei Dimensionen]
LoadPackage( "CddInterface" );
L := List( [ 1 .. 30 ], i -> List( [ 1 .. 30 ], j-> Random( [ 1 .. 10 ] ) ) );
C := Cdd_PolyhedronByInequalities( L );
#V := Cdd_V_Rep( C );
[Dauer der Verarbeitung: 0.1 Sekunden, vorverarbeitet 2026-10-24]
