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

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.