Return to multprec_natural_ring.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/multprec_natural_ring.ads, Revision 1.1.1.1

1.1       maekawa     1: with Multprec_Natural_Numbers;           use Multprec_Natural_Numbers;
                      2: with Abstract_Ring;
                      3:
                      4: package Multprec_Natural_Ring is
                      5:   new Abstract_Ring(Natural_Number,
                      6:                     Multprec_Natural_Numbers.Create(0),
                      7:                     Multprec_Natural_Numbers.Create(1),
                      8:                     Create,Equal,Copy,"+","+","-","-","*",
                      9:                     Add,Sub,Min,Mul,Clear);
                     10:
                     11: -- DESCRIPTION :
                     12: --   Defines the ring of multi-precision natural numbers.