Return to random_product_system_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/random_product_system_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2:
                      3: package Random_Product_System_io is
                      4:
                      5: -- DESCRIPTION :
                      6: --   This package contains some routines for input and output
                      7: --   of random product systems.
                      8:
                      9:   procedure get ( n : out natural );
                     10:   procedure get ( file : in file_type; n : out natural );
                     11:
                     12:   -- DESCRIPTION :
                     13:   --   This procedure reads from the standard input or from file the
                     14:   --   information necessary to create a random product structure.
                     15:
                     16:   -- ON ENTRY (standard input or file) :
                     17:   --   n        dimension of the problem
                     18:   --   polynomial to initialize the Symbol_Table
                     19:   --   the random product system:
                     20:   --     each equation consist of linear polynomials,
                     21:   --     the null polynomial ends the list for each equation.
                     22:
                     23:   -- ON RETURN :
                     24:   --   n        dimension of the problem
                     25:   --   the internal data of the package RPS are filled in.
                     26:
                     27:   procedure put ( n,fore,after,exp : in natural );
                     28:   procedure put ( file : in file_type; n,fore,after,exp : in natural );
                     29:
                     30:   -- DESCRIPTION :
                     31:   --   This procedure writes the hyperplanes on the standard input or on file.
                     32:
                     33:   -- ON ENTRY :
                     34:   --   n        dimension of the problem;
                     35:   --   fore     number of digits for the `.' while printing floats;
                     36:   --   after    number of digits after the `.';
                     37:   --   exp      number of digits of the exponent.
                     38:
                     39: end Random_Product_System_io;