Return to ts_mixvol.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/ts_mixvol.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io,integer_io;                 use text_io,integer_io;
                      2: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      3: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
                      4: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
                      5: with Power_Lists;                        use Power_Lists;
                      6: with Mixed_Volume_Computation;           use Mixed_Volume_Computation;
                      7:
                      8: procedure ts_mixvol is
                      9:
                     10: -- DESCRIPTION :
                     11: --   Tests the mixed-volume computation.
                     12:
                     13:   lp : Link_to_Poly_Sys;
                     14:
                     15: begin
                     16:   new_line;
                     17:   put_line("Test on the mixed-volume computation.");
                     18:   new_line;
                     19:   get(lp);
                     20:   new_line;
                     21:   declare
                     22:     supports : Array_of_Lists(lp'range) := Create(lp.all);
                     23:     mv : natural := Mixed_Volume(lp'last,supports);
                     24:   begin
                     25:     put("The mixed volume : "); put(mv,1); new_line;
                     26:   end;
                     27: end ts_mixvol;