|
|
|
|
Quelle bugfix.tst
Sprache: unbekannt
|
|
gap> START_TEST("Orb package: bugfix.tst");
# See https://github.com/gap-packages/orb/issues/10
gap> S := Semigroup(PartialPerm([]));;
gap> o := Orb(GeneratorsOfSemigroup(S), [1], OnSets);
<open orbit, 1 points>
gap> Enumerate(o);
<closed orbit, 2 points>
gap> AsList(o);
[ [ 1 ], [ ] ]
gap> [] in o;
true
# Verify crash in https://github.com/gap-packages/orb/issues/29 is fixed
gap> bl := BlistList([1 .. 10000], []);;
gap> ht := HTCreate(bl);;
gap> HTAdd(ht, 1, 1);
Error, hash function not applicable to key of type integer
# verify equal vectors either have equal hashes, or at least one gives fail
# (here for 8 bit vector rep)
gap> v:=[1..100]*Z(5);;
gap> w:=[1..100]*Z(5);;
gap> ConvertToVectorRep(w,5);;
gap> v = w;
true
gap> IsPlistRep(v);
true
gap> Is8BitVectorRep(w);
true
gap> hf:=ChooseHashFunction(w, 1009);;
gap> hf.func(w, hf.data);
799
gap> hf.func(v, hf.data);
fail
# now the other way around
gap> hf:=ChooseHashFunction(v, 1009);;
gap> hf.func(w, hf.data);
651
gap> hf.func(v, hf.data);
651
# same check for GF(2)
gap> v:=[1..100]*Z(2);;
gap> w:=[1..100]*Z(2);;
gap> ConvertToVectorRep(w,2);;
gap> v = w;
true
gap> IsPlistRep(v);
true
gap> IsGF2VectorRep(w);
true
gap> hf:=ChooseHashFunction(w, 1009);;
gap> hf.func(w, hf.data);
573
gap> hf.func(v, hf.data);
fail
# now the other way around
gap> hf:=ChooseHashFunction(v, 1009);;
gap> hf.func(w, hf.data);
446
gap> hf.func(v, hf.data);
446
#
gap> STOP_TEST("Orb package: bugfix.tst", 0);
[ Dauer der Verarbeitung: 0.21 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|
|
|
|
|
