[BACK]Return to standard_complex_ring-ffield.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-ffield.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_Ring;
with Standard_Complex_Numbers;           use Standard_Complex_Numbers;
with Abstract_Ring.Field;

package Standard_Complex_Ring.FField is
  new Standard_Complex_Ring.Field("<",">",AbsVal,"/",Div);

-- DESCRIPTION :
--   Defines the extension of the ring of standard complex numbers to a field.