Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Imperative_HOL/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 682 B image not shown  

SSL 2017-07-06-DoImmutableMatrix.tst   Sprache: unbekannt

 
# handling of finite fields of size q <= 256 but not GF(q)
gap> f1 := AlgebraicExtension(GF(3), CyclotomicPolynomial(GF(3), 5));
<field of size 81>
gap> a := RootOfDefiningPolynomial(f1);
a
gap> mat := [[a]];
[ [ a ] ]
gap> DoImmutableMatrix(f1, mat, false);
[ [ a ] ]

[ Verzeichnis aufwärts0.16unsichere Verbindung  Übersetzung europäischer Sprachen durch Browser  ]