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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>