[BACK]Return to standard_natural_numbers.ads CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers / standard_natural_numbers.ads (download)

Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:26 2000 UTC (23 years, 7 months ago) by maekawa
Branch: PHC, MAIN
CVS Tags: v2, maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, HEAD
Changes since 1.1: +0 -0 lines 

Import the second public release of PHCpack.

OKed by Jan Verschelde.

package Standard_Natural_Numbers is

-- DESCRIPTION :
--   With the operations in this package the Standard_Natural_Ring is build.

  function Create ( n : natural ) return natural;

  function Equal ( a,b : natural ) return boolean;
  procedure Copy ( a : in natural; b : in out natural );

  procedure Add ( a : in out natural; b : in natural );      -- a := a+b;
  procedure Sub ( a : in out natural; b : in natural );      -- a := a-b;
  procedure Min ( a : in out natural );                      -- a := -a;
  procedure Mul ( a : in out natural; b : in natural );      -- a := a*b;

  procedure Clear ( a : in out natural );

end Standard_Natural_Numbers;