From ecf246a02d89954f277de16cbbe67ddc5ef386e1 Mon Sep 17 00:00:00 2001 From: Michael Carilli Date: Fri, 13 Oct 2023 16:33:55 -0600 Subject: [PATCH] Checks that denom_at_zero length is zero if lookup is unused (#13) --- boojum-cuda/src/ops_complex.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/boojum-cuda/src/ops_complex.rs b/boojum-cuda/src/ops_complex.rs index 4ea162f..2032c28 100644 --- a/boojum-cuda/src/ops_complex.rs +++ b/boojum-cuda/src/ops_complex.rs @@ -1280,7 +1280,6 @@ pub fn deep_quotient_except_public_inputs( ); assert_eq!(denom_at_z.slice().len(), count); assert_eq!(denom_at_z_omega.slice().len(), count); - assert_eq!(denom_at_zero.slice().len(), count); assert_eq!(quotient.slice().len(), count); let mut num_terms_at_z = 0; num_terms_at_z += @@ -1309,6 +1308,11 @@ pub fn deep_quotient_except_public_inputs( let num_permutation_cols = permutation_cols.cols() as u32; let num_partial_products = partial_products.cols() as u32; let num_multiplicity_cols = multiplicity_cols.cols() as u32; + if num_multiplicity_cols > 0 { + assert_eq!(denom_at_zero.slice().len(), count) + } else { + assert_eq!(denom_at_zero.slice().len(), 0) + } let num_lookup_a_polys = lookup_a_polys.cols() as u32; let num_lookup_b_polys = lookup_b_polys.cols() as u32; let num_table_cols = table_cols.cols() as u32;