Function is_primitive 

pub fn is_primitive(degree: usize, gens: &[Perm]) -> bool

Is the group primitive — transitive with no non-trivial block system? Primitive groups are the indecomposable “atoms” of permutation-group structure; imprimitive ones split into blocks (minimal_block_system).