[BACK]Return to generic_position.ads CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift / generic_position.ads (download)

Revision 1.1, Sun Oct 29 17:45:28 2000 UTC (23 years, 8 months ago) by maekawa
Branch point for: MAIN

Initial revision

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.