search

SupposeNot / RAMP

Research Assistant for Maps and Polytopes
4 stars 0 forks source link

Bug with Dual #147

Closed Mixer2021 closed 2 years ago

Mixer2021 commented 2 years ago

M:=ToroidalMap44([1,2],[2,-1]);; IsChiral(M);; M2:=EnantiomorphicForm(M);;

Dual(M2);

Error, List Assignment: must be a mutable list in Gcd( sym[k - 1], 2 ) at /Users/markmixer/gap-4.11.1/pkg/RAMP/lib/sggi.gi:210 called from COXETER_GROUP_SIZES( sym ) at /Users/markmixer/gap-4.11.1/pkg/RAMP/lib/sggi.gi:237 called from UniversalSggi( SchlafliSymbol( M ) ) at /Users/markmixer/gap-4.11.1/pkg/RAMP/lib/groups.gi:265 called from ExtraRelators( M ) at /Users/markmixer/gap-4.11.1/pkg/RAMP/lib/duality.gi:10 called from Dual( p ) at /Users/markmixer/gap-4.11.1/pkg/RAMP/lib/duality.gi:55 called from <function "IsSelfDual method">( ) called from read-eval loop at stdin:13 type 'quit;' to quit to outer loop brk>

CunningGabe commented 2 years ago

OK, I think this particular bug is now fixed in 645eeb9d0185cf8b13aa80e7775c301b21f0de76.

There are some other things going on here though. See #149 for the new real bug.