Return to standard_complex_poly_systems_io.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/standard_complex_poly_systems_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                             use text_io;
                      2: with Standard_Complex_Polynomials_io;     use Standard_Complex_Polynomials_io;
                      3: with Standard_Complex_Poly_Systems;       use Standard_Complex_Poly_Systems;
                      4:
                      5: package Standard_Complex_Poly_Systems_io is
                      6:
                      7: -- DESCRIPTION :
                      8: --  This package contains routines for the i/o for polynomial systems.
                      9:
                     10: -- THE INPUT OPERATIONS :
                     11:
                     12:   procedure get ( n : in out natural; s : in out Poly_Sys );
                     13:   procedure get ( n,m : in out natural; s : in out Poly_Sys );
                     14:   procedure get ( file : in file_type;
                     15:                   n : in out natural; s : in out Poly_Sys );
                     16:   procedure get ( file : in file_type;
                     17:                   n,m : in out natural; s : in out Poly_Sys );
                     18:   procedure get ( s : in out Poly_Sys );
                     19:   procedure get ( file : in file_type; s : in out Poly_Sys );
                     20:
                     21:   -- DESCRIPTION :
                     22:   --   A polynomial system is read; n polynomials are read.
                     23:
                     24:   -- ON ENTRY :
                     25:   --   file       file_type where the input is,
                     26:   --              if not specified, then standard input is assumed;
                     27:   --   n          the number of equations,
                     28:   --              if specified, then n will first be read;
                     29:   --   m          the number of unknowns;
                     30:   --              if specified, then m will first be read.
                     31:
                     32:   -- ON RETURN :
                     33:   --   s         a polynomial system.
                     34:
                     35: -- MORE USER FRIENDLY INPUT OPERATIONS :
                     36:
                     37:   procedure get ( lp : in out Link_to_Poly_Sys );
                     38:   procedure get ( file : in file_type; lp : in out Link_to_Poly_Sys );
                     39:
                     40:   -- DESCRIPTION :
                     41:   --   The first routine asks for a file name, while the second one
                     42:   --   assumes everything is on file and nothing has to be read from
                     43:   --   standard input.
                     44:
                     45:   -- NOTE :
                     46:   --   The end_of_line symbol is read at the end of the polynomial system.
                     47:
                     48: -- THE OUTPUT OPERATIONS :
                     49:
                     50:   procedure put ( n : in natural; s : in Poly_Sys; pow : in power := '*' );
                     51:   procedure put ( n,m : in natural; s : in Poly_Sys; pow : in power := '*' );
                     52:   procedure put ( file : in file_type;
                     53:                   n : in natural; s : in Poly_Sys; pow : in power := '*' );
                     54:   procedure put ( file : in file_type;
                     55:                   n,m : in natural; s : in Poly_Sys; pow : in power := '*' );
                     56:   procedure put ( s : in Poly_Sys; pow : in power );
                     57:   procedure put ( file : in file_type; s : in Poly_Sys; pow : in power );
                     58:   procedure put ( s : in Poly_Sys );
                     59:   procedure put ( file : in file_type; s : in Poly_Sys );
                     60:
                     61:   -- DESCRIPTION :
                     62:   --   A polynomial system is written on standard output or on file.
                     63:
                     64:   -- ON ENTRY :
                     65:   --   file       file where the output must come;
                     66:   --              if not specified, then standard output is assumed
                     67:   --   s          a polynomial system;
                     68:   --   pow        kind of power symbol used.
                     69:
                     70:   -- ON RETURN :
                     71:   --   n          the number of equations of p,
                     72:   --              if specified, n will first be written;
                     73:   --   m          the number of unknowns.
                     74:   --              if specified, m will first be written.
                     75:
                     76:   procedure put_line ( s : in Poly_Sys );
                     77:   procedure put_line ( file : in file_type; s : in Poly_Sys );
                     78:   procedure put_line ( s : in Poly_Sys; pow : in Power );
                     79:   procedure put_line ( file : in file_type; s : in Poly_Sys; pow : in Power );
                     80:
                     81:   -- DESCRIPTION :
                     82:   --   Writes the polynomials, every term on a separate line.
                     83:
                     84:   procedure Display_Format;
                     85:
                     86:   -- DESCRIPTION :
                     87:   --   Displays on screen the formatting rules as on-line help facility.
                     88:
                     89: end Standard_Complex_Poly_Systems_io;