Return to graded_lexicographic_order.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/graded_lexicographic_order.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Natural_Vectors;
        !             2: with Standard_Integer_Vectors;
        !             3:
        !             4: package Graded_Lexicographic_Order is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package provides a graded lexicographical ordening on vectors
        !             8: --   of standard natural and integer numbers;
        !             9:
        !            10:   function "<" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean;
        !            11:   function "<" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
        !            12:                return boolean;
        !            13:   function ">" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean;
        !            14:   function ">" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
        !            15:                return boolean;
        !            16:
        !            17:   function ">" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean;
        !            18:   function ">" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
        !            19:                return boolean;
        !            20:   function "<" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean;
        !            21:   function "<" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
        !            22:                return boolean;
        !            23:
        !            24: end Graded_Lexicographic_Order;