Return to random_product_system_io.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product / random_product_system_io.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:29 2000 UTC (23 years, 11 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; package Random_Product_System_io is -- DESCRIPTION : -- This package contains some routines for input and output -- of random product systems. procedure get ( n : out natural ); procedure get ( file : in file_type; n : out natural ); -- DESCRIPTION : -- This procedure reads from the standard input or from file the -- information necessary to create a random product structure. -- ON ENTRY (standard input or file) : -- n dimension of the problem -- polynomial to initialize the Symbol_Table -- the random product system: -- each equation consist of linear polynomials, -- the null polynomial ends the list for each equation. -- ON RETURN : -- n dimension of the problem -- the internal data of the package RPS are filled in. procedure put ( n,fore,after,exp : in natural ); procedure put ( file : in file_type; n,fore,after,exp : in natural ); -- DESCRIPTION : -- This procedure writes the hyperplanes on the standard input or on file. -- ON ENTRY : -- n dimension of the problem; -- fore number of digits for the `.' while printing floats; -- after number of digits after the `.'; -- exp number of digits of the exponent. end Random_Product_System_io;