Quellcodebibliothek
Statistik
Leitseite
products
/
sources
/
formale Sprachen
/
Java
/
Tomcat
/
test
/
webapp
/
bug5nnnn
/ (
Apache Software Stiftung
Version 11.0
©
) Datei vom 10.10.2023 mit Größe 1 kB
Bilddatei
stab_orbs_timing2.include
products/Sources/formale Sprachen/GAP/pkg/fining/examples/include/stab_orbs_timing2.include
gap> ps := ParabolicQuadric(4,4); Q(4, 4) gap> g := CollineationGroup(ps); PGammaO(5,4) gap> l1 := Random(Lines(ps)); <a line in Q(4, 4)> gap> l2 := Random(Lines(ps)); <a line in Q(4, 4)> gap> g1 := Stabilizer(g,Set([l1,l2]),OnSets); <projective collineation group of size 2304 with 6 generators> gap> time; 2633 gap> g2 := FiningSetwiseStabiliser(g,Set([l1,l2])); #I Computing adjusted stabilizer chain... <projective collineation group with 5 generators> gap> time; 70 gap> g1=g2; true
2026-03-28