private static void inversionResult(int[] p, int ac, int[] a, int[] z) { if (ac < 0) { Nat.add(p.length, a, p, z); } else { System.arraycopy(a, 0, z, 0, p.length); } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(12, xx, yy, zz); if (c != 0 || (zz[11] == PExt11 && Nat.gte(12, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(12, zz, PExtInv.length); } } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(12, xx, yy, zz); if (c != 0 || (zz[11] == PExt11 && Nat.gte(12, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(12, zz, PExtInv.length); } } }
private static void inversionResult(int[] p, int ac, int[] a, int[] z) { if (ac < 0) { Nat.add(p.length, a, p, z); } else { System.arraycopy(a, 0, z, 0, p.length); } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(10, xx, yy, zz); if (c != 0 || (zz[9] == PExt9 && Nat.gte(10, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(10, zz, PExtInv.length); } } }
public static void add(int[] p, int[] x, int[] y, int[] z) { int len = p.length; int c = Nat.add(len, x, y, z); if (c != 0) { Nat.subFrom(len, p, z); } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(24, xx, yy, zz); if (c != 0 || (zz[23] == PExt23 && Nat.gte(24, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(24, zz, PExtInv.length); } } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(12, x, 0, z); } else { int c = Nat.add(12, x, P, z); Nat.shiftDownBit(12, z, c); } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(12, xx, yy, zz); if (c != 0 || (zz[11] == PExt11 && Nat.gte(12, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(12, zz, PExtInv.length); } } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(16, xx, yy, zz); if (c != 0 || ((zz[15] >>> 1) >= PExt15s1 && Nat.gte(16, zz, PExt))) { Nat.subFrom(16, PExt, zz); } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(14, xx, yy, zz); if (c != 0 || (zz[13] == PExt13 && Nat.gte(14, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(14, zz, PExtInv.length); } } }
public static void addExt(int[] xx, int[] yy, int[] zz) { Nat.add(16, xx, yy, zz); if (Nat.gte(16, zz, PExt)) { subPExtFrom(zz); } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(14, xx, yy, zz); if (c != 0 || (zz[13] == PExt13 && Nat.gte(14, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(14, zz, PExtInv.length); } } }
public static void add(int[] x, int[] y, int[] z) { int c = Nat.add(16, x, y, z) + x[16] + y[16]; if (c > P16 || (c == P16 && Nat.eq(16, z, P))) { c += Nat.inc(16, z); c &= P16; } z[16] = c; }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(14, xx, yy, zz); if (c != 0 || (zz[13] == PExt13 && Nat.gte(14, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(14, zz, PExtInv.length); } } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(16, xx, yy, zz); if (c != 0 || ((zz[15] & PExt15) == PExt15 && Nat.gte(16, zz, PExt))) { Nat.subFrom(16, PExt, zz); } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(16, xx, yy, zz); if (c != 0 || (zz[15] == PExt15 && Nat.gte(16, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(16, zz, PExtInv.length); } } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(16, xx, yy, zz); if (c != 0 || ((zz[15] >>> 1) >= PExt15s1 && Nat.gte(16, zz, PExt))) { Nat.subFrom(16, PExt, zz); } }
public static void addExt(int[] xx, int[] yy, int[] zz) { int c = Nat.add(10, xx, yy, zz); if (c != 0 || (zz[9] == PExt9 && Nat.gte(10, zz, PExt))) { if (Nat.addTo(PExtInv.length, PExtInv, zz) != 0) { Nat.incAt(10, zz, PExtInv.length); } } }
public static void add(int[] x, int[] y, int[] z) { int c = Nat.add(12, x, y, z); if (c != 0 || (z[11] == P11 && Nat.gte(12, z, P))) { addPInvTo(z); } }