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