Bug in QuotientSggiByNormalSubgroup (Gap's fault)

SupposeNot / RAMP

Research Assistant for Maps and Polytopes

4 stars 0 forks source link

Bug in QuotientSggiByNormalSubgroup (Gap's fault) #173

Closed CunningGabe closed 2 years ago

CunningGabe commented 2 years ago

quotients.gi Line 357 - NaturalHomomorphismEtc is not respecting the generator order. So let's fix that and maybe make our own utility for "generator-respecting natural homomorphism"

SupposeNot commented 2 years ago

Fixed in bc7480710ebe42c6f9cfbae64603362506e7d05a. Introduces function ReallyNaturalHomomorphismByNormalSubgroup.