Function is_nilpotent 

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

Is the group nilpotent? (Its lower central series reaches the trivial group.) Strictly stronger than solvability — every p-group is nilpotent, but S₃ (solvable) is not.