Return to ts_powlis.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                            use text_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;

procedure ts_powlis is

-- DESCRIPTION :
--   This procedure allows interactive testing of power lists.

  lp : Link_to_Poly_Sys;

begin
  new_line;
  put_line("Interactive testing of power lists.");
  new_line;
  get(lp);
  declare
    supports : Array_of_Lists(lp'range) := Create(lp.all);
  begin
    put_line("The supports of the system : "); put(supports);
  end;
end ts_powlis;