Return to multprec_floating_norms_equals.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/multprec_floating_norms_equals.ads, Revision 1.1

1.1     ! maekawa     1: with Multprec_Floating_Ring;
        !             2: with Multprec_Floating_Ring.FField;
        !             3: with Multprec_Floating_Vectors;
        !             4: with Multprec_Floating_Matrices;
        !             5: with Generic_Norms_Equals;
        !             6:
        !             7: package Multprec_Floating_Norms_Equals is
        !             8:   new Generic_Norms_Equals(Multprec_Floating_Ring,
        !             9:                            Multprec_Floating_Ring.FField,
        !            10:                            Multprec_Floating_Vectors,
        !            11:                            Multprec_Floating_Matrices);
        !            12:
        !            13: -- DESCRIPTION :
        !            14: --   Defines norms and equalities for multi-precision floating-point numbers.