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