src/multi_precision_integers-check.ads


1
2
3
4
5
6
7
8
9
10
11
12

package Multi_precision_integers.Check is

  -- check integrity
  procedure Test (m: Multi_int; test_last: Boolean:= True );

  -- i3 must be = i1 * i2
  procedure Check_Multiplication (i1, i2,i3: in Multi_int);

  -- i1 must be = i2 * q + r
  procedure Check_Div_Rem (i1, i2,q,r: in Multi_int);

end Multi_precision_integers.Check;