C# (CSharp) Z0 N15の例

コード例 #1

        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);
        }

コード例 #2

        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);
        }

コード例 #3

ファイル: BitBlock.x.cs プロジェクト: 0xCM/arrows

 public static BitBlock <BitBlock15> ToBitBlock(this BitString src, N15 n)
 => BitBlock.FromSpan <BitBlock15>(src.BitSeq);