Return to standard_natural_numbers.ads CVS log | 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, 9 months ago) by maekawa
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;