On Sun, Aug 22, 2021 at 05:10:20PM +0200, Mathieu Dutour wrote: > Dear all, > > in this file we have > > elif IsAbelian(E) and IsCyclic(F) then > > I think it should be > > elif IsAbelian(E) and IsCyclic(E) then Is it not redundant to test both IsAbelian and IsCyclic ? Cheers, Bill