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

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;