Return to multprec_complex_ring-complex.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/multprec_complex_ring-complex.ads, Revision 1.1

1.1     ! maekawa     1: with Multprec_Floating_Ring;
        !             2: with Multprec_Floating_Ring.Field;
        !             3: with Multprec_Complex_Ring;
        !             4: with Multprec_Complex_Numbers;           use Multprec_Complex_Numbers;
        !             5: with Abstract_Ring.Complex;
        !             6:
        !             7: package Multprec_Complex_Ring.Complex is
        !             8:   new Multprec_Complex_Ring.Complex(Multprec_Floating_Ring,
        !             9:                                     Multprec_Floating_Ring.Field,
        !            10:                                     AbsVal,"/",Div);
        !            11:
        !            12: -- DESCRIPTION :
        !            13: --   Defines the extension of the ring of multi-precision complex numbers
        !            14: --   to a complex field.