Return to ts_drivmink.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/ts_drivmink.adb, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             3: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             4: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
        !             5: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
        !             6: with Arrays_of_Integer_Vector_Lists_io;  use Arrays_of_Integer_Vector_Lists_io;
        !             7: with Power_Lists;                        use Power_Lists;
        !             8: with Mixed_Volume_Computation;           use Mixed_Volume_Computation;
        !             9: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
        !            10: with Triangulations;                     use Triangulations;
        !            11: with Cayley_Trick;                       use Cayley_Trick;
        !            12: with Driver_for_Minkowski_Polynomials;
        !            13:
        !            14: procedure ts_drivmink is
        !            15:
        !            16: -- DESCRIPTION :
        !            17: --   This procedure tests the computation of the Minkowski polynomial.
        !            18:
        !            19:   lp : Link_to_Poly_Sys;
        !            20:
        !            21: begin
        !            22:   new_line;
        !            23:   put_line("Interactive testing of power lists.");
        !            24:   new_line;
        !            25:   get(lp);
        !            26:   declare
        !            27:     supports : Array_of_Lists(lp'range) := Create(lp.all);
        !            28:     lifted : Array_of_Lists(supports'range);
        !            29:     n : constant natural := lp'last;
        !            30:     mix,perms : Link_to_Vector;
        !            31:     t : Triangulation;
        !            32:     mixsub : Mixed_Subdivision;
        !            33:   begin
        !            34:     put_line("The supports of the system : "); put(supports);
        !            35:     Compute_Mixture(supports,mix,perms);
        !            36:     Dynamic_Cayley(n,mix.all,supports,false,true,0,lifted,t);
        !            37:     Driver_for_Minkowski_Polynomials(Standard_Output,n,mix.all,t,true,mixsub);
        !            38:   end;
        !            39: end ts_drivmink;