![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials / standard_complex_poly_systems_io.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:26 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; with Standard_Complex_Polynomials_io; use Standard_Complex_Polynomials_io; with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems; package Standard_Complex_Poly_Systems_io is -- DESCRIPTION : -- This package contains routines for the i/o for polynomial systems. -- THE INPUT OPERATIONS : procedure get ( n : in out natural; s : in out Poly_Sys ); procedure get ( n,m : in out natural; s : in out Poly_Sys ); procedure get ( file : in file_type; n : in out natural; s : in out Poly_Sys ); procedure get ( file : in file_type; n,m : in out natural; s : in out Poly_Sys ); procedure get ( s : in out Poly_Sys ); procedure get ( file : in file_type; s : in out Poly_Sys ); -- DESCRIPTION : -- A polynomial system is read; n polynomials are read. -- ON ENTRY : -- file file_type where the input is, -- if not specified, then standard input is assumed; -- n the number of equations, -- if specified, then n will first be read; -- m the number of unknowns; -- if specified, then m will first be read. -- ON RETURN : -- s a polynomial system. -- MORE USER FRIENDLY INPUT OPERATIONS : procedure get ( lp : in out Link_to_Poly_Sys ); procedure get ( file : in file_type; lp : in out Link_to_Poly_Sys ); -- DESCRIPTION : -- The first routine asks for a file name, while the second one -- assumes everything is on file and nothing has to be read from -- standard input. -- NOTE : -- The end_of_line symbol is read at the end of the polynomial system. -- THE OUTPUT OPERATIONS : procedure put ( n : in natural; s : in Poly_Sys; pow : in power := '*' ); procedure put ( n,m : in natural; s : in Poly_Sys; pow : in power := '*' ); procedure put ( file : in file_type; n : in natural; s : in Poly_Sys; pow : in power := '*' ); procedure put ( file : in file_type; n,m : in natural; s : in Poly_Sys; pow : in power := '*' ); procedure put ( s : in Poly_Sys; pow : in power ); procedure put ( file : in file_type; s : in Poly_Sys; pow : in power ); procedure put ( s : in Poly_Sys ); procedure put ( file : in file_type; s : in Poly_Sys ); -- DESCRIPTION : -- A polynomial system is written on standard output or on file. -- ON ENTRY : -- file file where the output must come; -- if not specified, then standard output is assumed -- s a polynomial system; -- pow kind of power symbol used. -- ON RETURN : -- n the number of equations of p, -- if specified, n will first be written; -- m the number of unknowns. -- if specified, m will first be written. procedure put_line ( s : in Poly_Sys ); procedure put_line ( file : in file_type; s : in Poly_Sys ); procedure put_line ( s : in Poly_Sys; pow : in Power ); procedure put_line ( file : in file_type; s : in Poly_Sys; pow : in Power ); -- DESCRIPTION : -- Writes the polynomials, every term on a separate line. procedure Display_Format; -- DESCRIPTION : -- Displays on screen the formatting rules as on-line help facility. end Standard_Complex_Poly_Systems_io;