Return to ts_impvol.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/ts_impvol.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 Arrays_of_Integer_Vector_Lists_io;  use Arrays_of_Integer_Vector_Lists_io;
                      6: with Power_Lists;                        use Power_Lists;
                      7: with Trees_of_Vectors;                   use Trees_of_Vectors;
                      8: with Trees_of_Vectors_io;                use Trees_of_Vectors_io;
                      9: with Volumes;                            use Volumes;
                     10:
                     11: procedure ts_impvol is
                     12:
                     13: -- DESCRIPTION :
                     14: --   Testing mixed-volume computation by implicit lifting.
                     15:
                     16:   lp : Link_to_Poly_Sys;
                     17:
                     18: begin
                     19:   new_line;
                     20:   put_line("Testing mixed-volume computation by implicit lifting.");
                     21:   new_line;
                     22:   get(lp);
                     23:   declare
                     24:     supports : Array_of_Lists(lp'range) := Create(lp.all);
                     25:     n : natural := lp'last;
                     26:     tv : Tree_of_Vectors;
                     27:     mv : natural;
                     28:   begin
                     29:     put_line("The supports of the system : "); put(supports);
                     30:     Mixed_Volume(n,supports,tv,mv);
                     31:     put("The mixed volume : "); put(mv,1); new_line;
                     32:     put_line("The tree of vectors : "); put(tv);
                     33:   end;
                     34: end ts_impvol;