Return to face_enumerators_utilities.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/face_enumerators_utilities.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             2: with Standard_Integer_VecVecs;           use Standard_Integer_VecVecs;
        !             3:
        !             4: package Face_Enumerators_Utilities is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package contains utilities for the face enumerators.
        !             8:
        !             9:   function Is_Zero ( v : Vector ) return boolean;
        !            10:
        !            11:   -- DESCRIPTION :
        !            12:   --   Returns true if the given vector equals the zero vector.
        !            13:
        !            14:   function gcd ( v : Vector ) return integer;
        !            15:
        !            16:   -- DESCRIPTION :
        !            17:   --   Returns the greatest common divisor gcd(v(v'first),..,v(v'last)).
        !            18:
        !            19:   procedure Scale ( v : in out Vector );
        !            20:
        !            21:   -- DESCRIPTION :
        !            22:   --   Divides each element in v by gcd(v), when gcd(v) /= 0 of course.
        !            23:
        !            24:   function Is_In ( x : integer; v : Vector ) return boolean;
        !            25:
        !            26:   -- DESCRIPTION :
        !            27:   --   Returns true if there exists an entry in v, say v(k),
        !            28:   --   such that v(k) = x.
        !            29:
        !            30:   function In_Edge ( x,a,b : Vector ) return boolean;
        !            31:
        !            32:   -- DESCRIPTION :
        !            33:   --   Returns true if the vector x lies between a and b.
        !            34:
        !            35:   function In_Face ( k : in natural; face,x : Vector; pts : VecVec )
        !            36:                    return boolean;
        !            37:
        !            38:   -- DESCRIPTION :
        !            39:   --   Returns true if x lies in the given k-face, which contains entries
        !            40:   --   to its elements in pts.
        !            41:
        !            42: end Face_Enumerators_Utilities;