Function collapsed_dual_system 

pub fn collapsed_dual_system(
    inst: &SymmetricInstance,
    degree: usize,
) -> CollapsedDual

Build the CollapsedDual of an instance at degree d. The type column set comes from the bounded orbit quotient (one canonization per orbit); the rows from one multiplier representative per orbit against every generator, each product’s monomials bucketed by cached type.