Given is_in_subgroup already checks for the cyclotomatic group we dont need to do it twice (in fact when looking at it, both checks do the same !) - I'm keeping the is_cyc for convenience and also because these are really two separated checks but we should always only use is_in_subgroup now (which i tried to modify in the rest)
Given is_in_subgroup already checks for the cyclotomatic group we dont need to do it twice (in fact when looking at it, both checks do the same !) - I'm keeping the is_cyc for convenience and also because these are really two separated checks but we should always only use is_in_subgroup now (which i tried to modify in the rest)