Return to generic_position.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/generic_position.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      2: with Trees_of_Vectors;                   use Trees_of_Vectors;
                      3:
                      4: function Generic_Position ( p : Poly_Sys; tv : Tree_of_Vectors )
                      5:                           return boolean;
                      6:
                      7: -- DESCRIPTION :
                      8: --   Returns true if the polytopes of p are in generic position w.r.t. tv.
                      9: --   If false, then it is undecided, because tv contains not all candidates.
                     10:
                     11: -- REQUIRED :
                     12: --   tv has been computed by recursive procedure for the mixed volume.
                     13:
                     14: -- ON ENTRY :
                     15: --   p         polynomial system;
                     16: --   tv        tree of vectors with useful directions.