(41 . 11)(41 . 11)
113 pragma Precondition(Dividend'Length = Divisor'Length and
114 Dividend'Length = Quotient'Length);
115
116 -- Exactly same thing as IDiv, but keep only the Remainder
117 -- Modulus. Permits the asymmetric Dividend and Divisor in FZ_Mod_Exp.
118 procedure FZ_Mod(Dividend : in FZ;
119 Divisor : in FZ;
120 Remainder : out FZ);
121 pragma Precondition(Dividend'Length = Divisor'Length and
122 Dividend'Length = Remainder'Length);
123 pragma Precondition(Dividend'Length >= Divisor'Length and
124 Divisor'Length = Remainder'Length);
125
126 end FZ_Divis;