Return to driver_for_minkowski_polynomials.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/driver_for_minkowski_polynomials.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             3: with Triangulations;                     use Triangulations;
        !             4: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
        !             5:
        !             6: procedure Driver_for_Minkowski_Polynomials
        !             7:                 ( file : in file_type;
        !             8:                   n : in natural; mix : in Vector; t : in Triangulation;
        !             9:                   alltri : in boolean; mixsub : out Mixed_Subdivision );
        !            10:
        !            11: -- DESCRIPTION :
        !            12: --   Driver for the computation of the Minkowski-polynomial.
        !            13:
        !            14: -- ON ENTRY :
        !            15: --   file         to write all results on;
        !            16: --   n            dimension before lifting and embedding;
        !            17: --   mix          type of mixture;
        !            18: --   t            triangulation of the Cayley polytope;
        !            19: --   alltri       true when all triangulations are wanted, false otherwise.
        !            20:
        !            21: -- ON OUTPUT :
        !            22: --   mixed        mixed subdivision, corresponding the type of mixture.