Return to standard_natural_numbers.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers

Import the second public release of PHCpack.

OKed by Jan Verschelde.

package body Standard_Natural_Numbers is

  function Create ( n : natural ) return natural is
  begin
    return n;
  end Create;

  function Equal ( a,b : natural ) return boolean is
  begin
    return (a = b);
  end Equal;

  procedure Copy ( a : in natural; b : in out natural ) is
  begin
    b := a;
  end Copy;

  procedure Add ( a : in out natural; b : in natural ) is
  begin
    a := a+b;
  end Add;

  procedure Sub ( a : in out natural; b : in natural ) is
  begin
    a := a-b;
  end Sub;

  procedure Min ( a : in out natural ) is
  begin
    a := -a;
  end Min;

  procedure Mul ( a : in out natural; b : in natural ) is
  begin
    a := a*b;
  end Mul;

  procedure Clear ( a : in out natural ) is
  begin
    null;
  end Clear;

end Standard_Natural_Numbers;