Return to ts_mixvol.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / ts_mixvol.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 10 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 Power_Lists; use Power_Lists; with Mixed_Volume_Computation; use Mixed_Volume_Computation; procedure ts_mixvol is -- DESCRIPTION : -- Tests the mixed-volume computation. lp : Link_to_Poly_Sys; begin new_line; put_line("Test on the mixed-volume computation."); new_line; get(lp); new_line; declare supports : Array_of_Lists(lp'range) := Create(lp.all); mv : natural := Mixed_Volume(lp'last,supports); begin put("The mixed volume : "); put(mv,1); new_line; end; end ts_mixvol;