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     ! 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;