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     ! 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.