(24 . 11)(24 . 11)
202
203 pragma Pure;
204
205 -- 'Egyptological' multiplier. XY_Lo and XY_Hi hold result of X*Y.
206 procedure FZ_Mul_Egyptian(X : in FZ;
207 Y : in FZ;
208 XY_Lo : out FZ;
209 XY_Hi : out FZ);
210 -- Comba's multiplier.
211 procedure FZ_Mul_Comba(X : in FZ;
212 Y : in FZ;
213 XY_Lo : out FZ;
214 XY_Hi : out FZ);
215 pragma Precondition(X'Length = Y'Length and
216 XY_Lo'Length = XY_Hi'Length and
217 XY_Lo'Length = ((X'Length + Y'Length) / 2));