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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>