Lines Matching defs:modp
48 GFP2_ONB(const Integer &p) : modp(p)
54 const Integer& GetModulus() const {return modp.GetModulus();}
58 t = modp.Inverse(modp.ConvertIn(a));
63 {return GFP2Element(modp.ConvertIn(a.c1), modp.ConvertIn(a.c2));}
66 {return GFP2Element(modp.ConvertOut(a.c1), modp.ConvertOut(a.c2));}
70 return modp.Equal(a.c1, b.c1) && modp.Equal(a.c2, b.c2);
80 result.c1 = modp.Add(a.c1, b.c1);
81 result.c2 = modp.Add(a.c2, b.c2);
87 result.c1 = modp.Inverse(a.c1);
88 result.c2 = modp.Inverse(a.c2);
94 result.c1 = modp.Double(a.c1);
95 result.c2 = modp.Double(a.c2);
101 result.c1 = modp.Subtract(a.c1, b.c1);
102 result.c2 = modp.Subtract(a.c2, b.c2);
108 modp.Accumulate(a.c1, b.c1);
109 modp.Accumulate(a.c2, b.c2);
115 modp.Reduce(a.c1, b.c1);
116 modp.Reduce(a.c2, b.c2);
127 result.c1 = result.c2 = modp.Inverse(modp.MultiplicativeIdentity());
133 t = modp.Add(a.c1, a.c2);
134 t = modp.Multiply(t, modp.Add(b.c1, b.c2));
135 result.c1 = modp.Multiply(a.c1, b.c1);
136 result.c2 = modp.Multiply(a.c2, b.c2);
138 modp.Reduce(t, result.c1);
139 modp.Reduce(t, result.c2);
140 modp.Reduce(result.c1, t);
141 modp.Reduce(result.c2, t);
147 return result = Exponentiate(a, modp.GetModulus()-2);
153 result.c1 = modp.Multiply(modp.Subtract(modp.Subtract(a.c2, a.c1), a.c1), a.c2);
154 result.c2 = modp.Multiply(modp.Subtract(modp.Subtract(ac1, a.c2), a.c2), ac1);
161 Integer::Divide(emodp, edivp, e, modp.GetModulus());
183 modp.Reduce(result.c1, a.c2);
184 modp.Reduce(result.c1, a.c2);
185 modp.Reduce(result.c2, a.c1);
186 modp.Reduce(result.c2, a.c1);
194 t = modp.Add(x.c2, y.c2);
195 result.c1 = modp.Multiply(z.c1, modp.Subtract(y.c1, t));
196 modp.Accumulate(result.c1, modp.Multiply(z.c2, modp.Subtract(t, x.c1)));
197 t = modp.Add(x.c1, y.c1);
198 result.c2 = modp.Multiply(z.c2, modp.Subtract(y.c2, t));
199 modp.Accumulate(result.c2, modp.Multiply(z.c1, modp.Subtract(t, x.c2)));
204 BaseField modp;