Return to standard_complex_ring.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/standard_complex_ring.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Complex_Numbers;           use Standard_Complex_Numbers;
        !             2: with Abstract_Ring;
        !             3:
        !             4: package Standard_Complex_Ring is
        !             5:   new Abstract_Ring(Complex_Number,Create(0),Create(1),
        !             6:                     Create,Equal,Copy,"+","+","-","-","*",
        !             7:                     Add,Sub,Min,Mul,Clear);
        !             8:
        !             9: -- DESCRIPTION :
        !            10: --   Defines the ring of standard complex numbers.