(2 . 7)(2 . 7)
882 ------------------------------------------------------------------------------
883 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
884 -- --
885 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org ) --
886 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org ) --
887 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
888 -- --
889 -- You do not have, nor can you ever acquire the right to use, copy or --
(51 . 4)(51 . 12)
891 X'Length mod 2 = 0;
892 -- CAUTION: Inlining prohibited for Low_Mul !
893
894 -- Low-Only Multiplier. Preserves the inputs.
895 procedure FZ_Low_Multiply_Buffered(X : in FZ;
896 Y : in FZ;
897 XY : out FZ)
898 with Pre => X'Length = Y'Length and
899 XY'Length = X'Length and
900 X'Length mod 2 = 0;
901
902 end FZ_LoMul;