Return to driver_for_minkowski_polynomials.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift / driver_for_minkowski_polynomials.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:28 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; with Standard_Integer_Vectors; use Standard_Integer_Vectors; with Triangulations; use Triangulations; with Integer_Mixed_Subdivisions; use Integer_Mixed_Subdivisions; procedure Driver_for_Minkowski_Polynomials ( file : in file_type; n : in natural; mix : in Vector; t : in Triangulation; alltri : in boolean; mixsub : out Mixed_Subdivision ); -- DESCRIPTION : -- Driver for the computation of the Minkowski-polynomial. -- ON ENTRY : -- file to write all results on; -- n dimension before lifting and embedding; -- mix type of mixture; -- t triangulation of the Cayley polytope; -- alltri true when all triangulations are wanted, false otherwise. -- ON OUTPUT : -- mixed mixed subdivision, corresponding the type of mixture.