DEFINITION MODULE LONGCOMPLEX;

(* Double Precision Complex Numbers *) 

FROM FileIO IMPORT File; (* required for IO *)


(* LONGCOMPLEX type *)

TYPE
    LONGCOMPLEX = RECORD ("C-Type")
        re,            (* real part *)
        im : LONGREAL; (* imaginary part *)
    END;


(* monadic arithmetic operations *) 

PROCEDURE [ABS] abs ( z : LONGCOMPLEX ) : LONGCOMPLEX; 

PROCEDURE [NEG] neg ( z : LONGCOMPLEX ) : LONGCOMPLEX; 


(* dyadic arithmetic operations *) 

PROCEDURE [+] add ( z1, z2 : LONGCOMPLEX ) : LONGCOMPLEX; 

PROCEDURE [-] sub ( z1, z2 : LONGCOMPLEX ) : LONGCOMPLEX; 

PROCEDURE [*] multiply ( z1, z2 : LONGCOMPLEX ) : LONGCOMPLEX; 

PROCEDURE [/] divide ( z1, z2 : LONGCOMPLEX ) : LONGCOMPLEX; 


(* relational operations *) 

PROCEDURE [=] isEqual ( z1, z2 : LONGCOMPLEX ) : BOOLEAN; 


(* IO operations, bound to READ, WRITE and WRITEF *)

PROCEDURE Read( infile : File; VAR z : LONGCOMPLEX );
(* Reads the textual representation of a LONGCOMPLEX value in simple format from input stream infile
   - any leading whitespace is skipped
   - any remaining characters that are part of the numeral being read are removed from infile
   - the numeric value of the numeral string read is assigned to the variable passed in for z
   - the file status is set to any of success, outOfRange, wrongFormat, endOfLine, or endOfInput *)

PROCEDURE Write( outfile : File; z : LONGCOMPLEX );
(* Writes the textual representation of LONGCOMPLEX value z in simple format to output stream outfile *)

PROCEDURE WriteF( outfile : File; fmtStr : ARRAY OF CHAR;
                  items : CARDINAL; VARIADIC v[items] OF z : LONGCOMPLEX );
(* Writes a formatted textual representation of one or more LONGCOMPLEX values to output stream outfile. The
   value of parameter items is calculated and inserted automatically. The output format is determined by fmtStr. *)

END LONGCOMPLEX.