github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

Wrap constant poly at degree.

Browse Source
This commit is contained in:
chriseth
2023-03-06 11:36:18 +01:00
parent 0752c5fe5e
commit 2cafdd876f
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/constant_evaluator/mod.rs
View File

@@ -88,7 +88,8 @@ impl<'a> Evaluator<'a> {
Expression::FunctionCall(name, args) => {
let arg_values = args.iter().map(|a| self.evaluate(a)).collect::<Vec<_>>();
assert!(arg_values.len() == 1);
self.other_constants[name][abstract_to_degree(&arg_values[0]) as usize].clone()
let values = &self.other_constants[name];
values[abstract_to_degree(&arg_values[0]) as usize % values.len()].clone()
}
}
}