[GAP Forum] speed of Core vs IsNormal
William DeMeo
williamdemeo at gmail.com
Sat Jan 22 04:11:55 GMT 2011
I apologize if this is a dumb question, but I'm trying to speed up a
program that is searching for certain groups. In the examples I'm
looking for, I have a subgroup H of a group G and I need to test
(among other things) whether it is core-free. I was wondering if
someone could tell me whether it would speed things up greatly if I
first tested to see if the subgroup itself is normal.
So, I'm wondering if I should simply do:
e:=Group([Identity(G)]);
if Core(G,H)=e then
# test other search criteria
...
Or would I do better to test for normality of the subgroup first:
if IsNormal(G,H) and H<>e then
# do nothing
elif Core(G,H)=e then
# test other search criteria
Would the latter speed things up greatly? Is computing Core much more
expensive than first testing IsNormal?
Thanks and, again, I apologize if this is dumb.
-William
More information about the Forum
mailing list