[BACK]Return to standard_complex_ring.ads CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers

File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers / standard_complex_ring.ads (download)

Revision 1.1, Sun Oct 29 17:45:26 2000 UTC (23 years, 8 months ago) by maekawa
Branch point for: MAIN

Initial revision

with Standard_Complex_Numbers;           use Standard_Complex_Numbers;
with Abstract_Ring;

package Standard_Complex_Ring is
  new Abstract_Ring(Complex_Number,Create(0),Create(1),
                    Create,Equal,Copy,"+","+","-","-","*",
                    Add,Sub,Min,Mul,Clear);

-- DESCRIPTION :
--   Defines the ring of standard complex numbers.