Return to generic_polynomial_systems_io.ads CVS log

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

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

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Abstract_Ring_io;
                      3: with Generic_Vectors;
                      4: with Generic_Matrices;
                      5:
                      6: generic
                      7:
                      8:   with package Ring_io is new Abstract_Ring_io(<>);  use Ring_io.Ring;
                      9:   with package Vectors is new Generic_Vectors(Ring_io.Ring);
                     10:   with package Matrices is new Generic_Matrices(Ring_io.Ring,Vectors);
                     11:
                     12: package Generic_Polynomial_Systems_io is
                     13:
                     14: -- DESCRIPTION :
                     15: --  This package contains routines for the input and output
                     16: --  of human-readable polynomial systems.
                     17: --  Note that for every write-procedure, there is a read-
                     18: --  procedure that can read the written system.
                     19: --  See also the package for the input and output
                     20: --  of polynomials in n unknowns.
                     21:
                     22: -- THE INPUT OPERATIONS :
                     23:
                     24:   procedure get ( n : in natural; s : out Poly_Sys );
                     25:   procedure get ( n,m : in natural; s : out Poly_Sys );
                     26:   procedure get ( file : in file_type; n : in natural; s : out Poly_Sys );
                     27:   procedure get ( file : in file_type; n,m : in natural; s : out Poly_Sys );
                     28:   procedure get ( s : out Poly_Sys );
                     29:   procedure get ( file : in file_type; s : out Poly_Sys );
                     30:
                     31:   -- DESCRIPTION :
                     32:   --   A polynomial system is read; n polynomials are read.
                     33:
                     34:   -- REQUIRED :
                     35:   --  * all unknows must begin with a letter and may have
                     36:   --    no symbols like '+', '-', '*', '^', '/', ';' or brackets in them;
                     37:   --    i = sqrt(-1) is reserved for complex numbers representation
                     38:   --  * each symbol is limited to 3 characters
                     39:   --  * the input is terminated by the delimiter
                     40:   --  * no blanks may occur in the numbers
                     41:   --  * if a file is specified, then it must be opened for input
                     42:   --  * n and m should both be on the first line !
                     43:   --  * if n stands alone, it should be followed immediately by an
                     44:   --    end-of-line symbol.
                     45:
                     46:   -- NOTE :
                     47:   --   The end_of_line symbol is not read.
                     48:
                     49:   -- ON ENTRY :
                     50:   --   file       file_type where the input is,
                     51:   --              if not specified, then standard input is assumed;
                     52:   --   n          the number of equations,
                     53:   --              if not specified, then n will first be read;
                     54:   --   m          the number of unknowns;
                     55:   --              if not specified, then m will first be read.
                     56:
                     57:   -- ON RETURN :
                     58:   --   s         a polynomial system.
                     59:
                     60: -- MORE USER FRIENDLY INPUT OPERATIONS :
                     61:
                     62:   procedure get ( lp : in out Link_to_Poly_Sys );
                     63:   procedure get ( file : in file_type; lp : in out Link_to_Poly_Sys );
                     64:
                     65:   -- DESCRIPTION :
                     66:   --   The first routine asks for a file name, while the second one
                     67:   --   assumes everything is on file and nothing has to be read from
                     68:   --   standard input.
                     69:
                     70:   -- NOTE :
                     71:   --   The end_of_line symbol is read at the end of the polynomial system.
                     72:
                     73: -- THE OUTPUT OPERATIONS :
                     74:
                     75:   procedure put ( n : out natural; s : in Poly_Sys; pow : in power := '*' );
                     76:   procedure put ( n,m : out natural; s : in Poly_Sys; pow : in power := '*' );
                     77:   procedure put ( file : in file_type;
                     78:                   n : out natural; s : in Poly_Sys; pow : in power := '*' );
                     79:   procedure put ( file : in file_type;
                     80:                   n,m : out natural; s : in Poly_Sys; pow : in power := '*' );
                     81:   procedure put ( s : in Poly_Sys; pow : in power );
                     82:   procedure put ( file : in file_type; s : in Poly_Sys; pow : in power );
                     83:   procedure put ( s : in Poly_Sys );
                     84:   procedure put ( file : in file_type; s : in Poly_Sys );
                     85:
                     86:   -- DESCRIPTION :
                     87:   --   A polynomial system is written on standard output or on file.
                     88:
                     89:   -- ON ENTRY :
                     90:   --   file       file where the output must come;
                     91:   --              if not specified, then standard output is assumed
                     92:   --   s          a polynomial system;
                     93:   --   pow        kind of power symbol used.
                     94:
                     95:   -- ON RETURN :
                     96:   --   n          the number of equations of p,
                     97:   --              if not specified, n will first be written;
                     98:   --   m          the number of unknowns.
                     99:   --              if not specified, m will first be written.
                    100:
                    101:   procedure put_line ( s : in Poly_Sys );
                    102:   procedure put_line ( file : in file_type; s : in Poly_Sys );
                    103:   procedure put_line ( s : in Poly_Sys; pow : in Power );
                    104:   procedure put_line ( file : in file_type; s : in Poly_Sys; pow : in Power );
                    105:
                    106:   -- DESCRIPTION :
                    107:   --   Writes the polynomials, every term on a separate line.
                    108:
                    109:   procedure Display_Format;
                    110:
                    111:   -- DESCRIPTION :
                    112:   --   Displays on screen the formatting rules as on-line help facility.
                    113:
                    114: end Generic_Polynomial_Systems_io;