public void mod_create_imp() { var n = new N15(); Mod <N15> x = 5; Claim.eq(Mod.Define(5, n), x); var a0 = x + 2; Claim.eq(Mod.Define(7, n), a0); }
public void mod_sub() { var n = new N15(); Mod <N15> a = 5; var b14a = a + 9; Claim.eq(Mod.Define(14, n), b14a); var b14b = a - 6; Claim.eq(Mod.Define(14, n), b14a); }
public static BitBlock <BitBlock15> ToBitBlock(this BitString src, N15 n) => BitBlock.FromSpan <BitBlock15>(src.BitSeq);