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.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>