with text_io,integer_io; use text_io,integer_io;
with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
with Standard_Complex_Poly_Systems_io; use Standard_Complex_Poly_Systems_io;
with Arrays_of_Integer_Vector_Lists; use Arrays_of_Integer_Vector_Lists;
with Arrays_of_Integer_Vector_Lists_io; use Arrays_of_Integer_Vector_Lists_io;
with Power_Lists; use Power_Lists;
with Trees_of_Vectors; use Trees_of_Vectors;
with Trees_of_Vectors_io; use Trees_of_Vectors_io;
with Volumes; use Volumes;
procedure ts_impvol is
-- DESCRIPTION :
-- Testing mixed-volume computation by implicit lifting.
lp : Link_to_Poly_Sys;
begin
new_line;
put_line("Testing mixed-volume computation by implicit lifting.");
new_line;
get(lp);
declare
supports : Array_of_Lists(lp'range) := Create(lp.all);
n : natural := lp'last;
tv : Tree_of_Vectors;
mv : natural;
begin
put_line("The supports of the system : "); put(supports);
Mixed_Volume(n,supports,tv,mv);
put("The mixed volume : "); put(mv,1); new_line;
put_line("The tree of vectors : "); put(tv);
end;
end ts_impvol;