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