Return to generic_position.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
with Trees_of_Vectors;                   use Trees_of_Vectors;

function Generic_Position ( p : Poly_Sys; tv : Tree_of_Vectors )
                          return boolean;

-- DESCRIPTION :
--   Returns true if the polytopes of p are in generic position w.r.t. tv.
--   If false, then it is undecided, because tv contains not all candidates.

-- REQUIRED :
--   tv has been computed by recursive procedure for the mixed volume.

-- ON ENTRY :
--   p         polynomial system;
--   tv        tree of vectors with useful directions.