![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift / initial_mixed_cell.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:28 2000 UTC (23 years, 9 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with Standard_Integer_Vectors; use Standard_Integer_Vectors; with Arrays_of_Integer_Vector_Lists; use Arrays_of_Integer_Vector_Lists; with Integer_Mixed_Subdivisions; use Integer_Mixed_Subdivisions; procedure Initial_Mixed_Cell ( n : in natural; mix : in Vector; pts : in Array_of_Lists; mic : out Mixed_Cell; rest : in out Array_of_Lists ); -- DESCRIPTION : -- Computes an initial mixed cell for the supports in pts. -- The lifting for this initial cell equals zero. -- RECOMMENDED : -- The list pts consists solely out of vertex points. -- ON ENTRY : -- n the length of the points in pts; -- mix type of mixture; -- pts the supports, pts'range = mixture'range. -- ON RETURN : -- mic an initial mixed cell, with lifting zero, -- if Mixed_Volume(s) = 0, then Mixed_Volume(pts) = 0; -- rest the rest of the supports: pts - s.