pub fn checked_lifted_product_binary_shape(
group: &FiniteGroupSpec,
left_rows: usize,
left_cols: usize,
right_rows: usize,
right_cols: usize,
) -> Result<LiftedProductRingShape>Expand description
Return the ring-level shape and also preflight the post-lift binary shape.