github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 04:08:33 +00:00
Code Issues Projects Releases Wiki Activity

fix test

Browse source
This commit is contained in:
schaeff 2019-01-30 18:40:44 +01:00
parent c55fdf98b8
commit a853934adb
1 changed files with 9 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
zokrates_field/src/field.rs
View file

@ -628,25 +628,26 @@ mod tests {
}
#[test]
fn display() {
fn compact_representation() {
let one = FieldPrime::from(1);
assert_eq!(String::from("1"), format!("{}", one));
assert_eq!("1", &one.to_compact_dec_string());
let minus_one = FieldPrime::from(0) - one;
assert_eq!(String::from("(-1)"), format!("{}", minus_one));
assert_eq!("(-1)", &minus_one.to_compact_dec_string());
// (p-1)/2 -> positive notation
let p_minus_one_over_two =
(FieldPrime::from(0) - FieldPrime::from(1)) / FieldPrime::from(2);
assert_eq!(
String::from(
"10944121435919637611123202872628637544274182200208017171849102093287904247808"
),
format!("{}", p_minus_one_over_two)
"10944121435919637611123202872628637544274182200208017171849102093287904247808",
&p_minus_one_over_two.to_compact_dec_string()
);
// (p-1)/2 + 1 -> negative notation (p-1)/2 + 1 - p == (-p+1)/2
let p_minus_one_over_two_plus_one = ((FieldPrime::from(0) - FieldPrime::from(1))
/ FieldPrime::from(2))
+ FieldPrime::from(1);
assert_eq!(String::from("(-10944121435919637611123202872628637544274182200208017171849102093287904247808)"), format!("{}", p_minus_one_over_two_plus_one));
assert_eq!(
"(-10944121435919637611123202872628637544274182200208017171849102093287904247808)",
&p_minus_one_over_two_plus_one.to_compact_dec_string()
);
}
}