![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift / ts_impvol.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:29 2000 UTC (23 years, 9 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
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;