github/concrete
1
1
Fork 0
mirror of https://github.com/zama-ai/concrete.git synced 2026-02-17 08:01:20 -05:00
Code Issues Packages Projects Releases Wiki Activity

fix(optimizer): avoid asserting on manp >= 1

Browse Source 
zero tensor ops now use a MANP of 0
This commit is contained in:
youben11
2023-10-02 12:14:25 +01:00
committed by Ayoub Benaissa
parent 6a41c31370
commit 76b72b7feb
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
compilers/concrete-optimizer/concrete-optimizer/src/optimization/dag/multi_parameters/symbolic_variance.rs
View File

@@ -152,11 +152,11 @@ impl SymbolicVariance {
let pbs_noise_coeff = self.coeffs[partition_offset + VALUE_INDEX_PBS];
current_max = current_max.max(fresh_coeff).max(pbs_noise_coeff);
}
assert!(1.0 <= current_max);
assert!(
current_max <= new_coeff,
"Non monotonious levelled op: {current_max} <= {new_coeff}"
);
// assert!(1.0 <= current_max);
// assert!(
// current_max <= new_coeff,
// "Non monotonious levelled op: {current_max} <= {new_coeff}"
// );
// replace all current_max by new_coeff
// multiply everything else by new_coeff / current_max
let mut new = self.clone();