Peter Blanchard wrote:
I suggest that a call to InConsistent be included as part of the
function AgGroupFpGroup. It is not especially time consuming, and
an optional argument to AgGroupFpGroup could be used to bypass the
call to InConsistent if so desired. I don't see any reason not to
do this. Have I missed something?
No, that is correct and basically describes the route we have taken in
GAP 4, that is to say, the default function will do the confluence
check and there is a no check version which trusts you.