Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/multprec_floating_ring-ffield.ads, Revision 1.1.1.1
1.1 maekawa 1: with Multprec_Floating_Ring;
2: with Multprec_Floating_Numbers; use Multprec_Floating_Numbers;
3: with Abstract_Ring.Field;
4:
5: package Multprec_Floating_Ring.FField is
6: new Multprec_Floating_Ring.Field("<",">",AbsVal,"/",Div);
7:
8: -- DESCRIPTION :
9: -- Defines the extension of the ring of multi-precision floating-point
10: -- numbers to a field.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>