Return to graded_lexicographic_order.ads CVS log

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

Initial revision

with Standard_Natural_Vectors;
with Standard_Integer_Vectors;

package Graded_Lexicographic_Order is

-- DESCRIPTION :
--   This package provides a graded lexicographical ordening on vectors
--   of standard natural and integer numbers;

  function "<" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean;
  function "<" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
               return boolean;
  function ">" ( v1,v2 : Standard_Natural_Vectors.Vector ) return boolean;
  function ">" ( v1,v2 : Standard_Natural_Vectors.Link_to_Vector )
               return boolean;

  function ">" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean;
  function ">" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
               return boolean;
  function "<" ( v1,v2 : Standard_Integer_Vectors.Vector ) return boolean;
  function "<" ( v1,v2 : Standard_Integer_Vectors.Link_to_Vector )
               return boolean;

end Graded_Lexicographic_Order;