with text_io; use text_io;
with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
package Tableau_Formats is
-- DESCRIPTION :
-- Conversion between tableau and symbolic formats of polynomial systems.
--
-- SYMBOLIC FORMAT :
--
-- 2
-- x*y**2 - x**2 + 3;
-- x + 2;
--
-- TABLEAU FORMAT :
--
-- 2
-- x y
-- 3
-- 1 2
-- 2 0
-- 0 0
-- 3
-- 1 0
-- 0 0
-- 1.0 0.0
-- -1.0 0.0
-- 3.0 0.0
-- 1.0 0.0
-- 2.0 0.0
procedure get ( file : in file_type; realcoeff : in boolean;
p : out Link_to_Poly_Sys );
-- DESCRIPTION :
-- Reads a polynomial system in tableau format from file.
-- If realcoeff, then the imaginary part must be omitted.
procedure put ( file : in file_type; realcoeff : in boolean;
p : in Poly_Sys );
-- DESCRIPTION :
-- Writes a polynomial system in tableau format on file.
-- If realcoeff, then the imaginary part is not written.
end Tableau_Formats;