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;