dense_mlpoly.rs: Fix bound functions (#73)

asn-d6 · web-flow · commit f65cbeaf8fe6 · 2024-09-30T10:44:20.000-07:00
diff --git a/src/dense_mlpoly.rs b/src/dense_mlpoly.rs
@@ -216,6 +216,7 @@ impl DensePolynomial {
     for i in 0..n {
       self.Z[i] = self.Z[i] + r * (self.Z[i + n] - self.Z[i]);
     }
+    self.Z.truncate(n); // Resize the vector Z to the new length
     self.num_vars -= 1;
     self.len = n;
   }
@@ -225,6 +226,7 @@ impl DensePolynomial {
     for i in 0..n {
       self.Z[i] = self.Z[2 * i] + r * (self.Z[2 * i + 1] - self.Z[2 * i]);
     }
+    self.Z.truncate(n); // Resize the vector Z to the new length
     self.num_vars -= 1;
     self.len = n;
   }

Original file line number	Diff line number	Diff line change
`@@ -216,6 +216,7 @@ impl DensePolynomial {`
`216`	`216`	`for i in 0..n {`
`217`	`217`	`self.Z[i] = self.Z[i] + r * (self.Z[i + n] - self.Z[i]);`
`218`	`218`	`}`
	`219`	`+ self.Z.truncate(n); // Resize the vector Z to the new length`
`219`	`220`	`self.num_vars -= 1;`
`220`	`221`	`self.len = n;`
`221`	`222`	`}`
`@@ -225,6 +226,7 @@ impl DensePolynomial {`
`225`	`226`	`for i in 0..n {`
`226`	`227`	`self.Z[i] = self.Z[2 * i] + r * (self.Z[2 * i + 1] - self.Z[2 * i]);`
`227`	`228`	`}`
	`229`	`+ self.Z.truncate(n); // Resize the vector Z to the new length`
`228`	`230`	`self.num_vars -= 1;`
`229`	`231`	`self.len = n;`
`230`	`232`	`}`