Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/cddinterface/tst/   (GAP Algebra Version 4.15.1©)  Datei vom 24.5.2025 mit Größe 436 B image not shown  

Quelle  etest_1.tst   Sprache: unbekannt

 
Spracherkennung für: .tst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

gap> inequalities := [ [ -12161335039290869319572858042364783623509104285436155, 10301051460877537453973547267843, 1 ], [ -50046646252225799669024107132291046291965254437457, 42391158275216203514294433201, -1 ] ];;
gap> vertices_and_rays := [ [ 1, 2^70-1, 2^75-2 ], [ 0, 1, 3^60 ], [ 0, 1, -3^65 ] ];;
gap> P := Cdd_PolyhedronByGenerators( vertices_and_rays );;
gap> Q := Cdd_PolyhedronByInequalities( inequalities );;
gap> P = Q;
true

[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-06-06]