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

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;