export isl_basic_map_lexmax

diff --git a/doc/user.pod b/doc/user.pod
index 61a5b3c..116320c 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -883,13 +883,15 @@ is equal to C<dom>.
                __isl_take isl_basic_set *dom,
                __isl_give isl_set **empty);
 
-Given a basic map C<bmap>, the following function simply
-returns a map mapping each element in the domain of
-C<bmap> to the lexicographic minimum of all elements associated
-to that element.
+Given a basic map C<bmap>, the following functions simply
+return a map mapping each element in the domain of
+C<bmap> to the lexicographic minimum or maximum
+of all elements associated to that element.
 
        __isl_give isl_map *isl_basic_map_lexmin(
                __isl_take isl_basic_map *bmap);
+       __isl_give isl_map *isl_basic_map_lexmax(
+               __isl_take isl_basic_map *bmap);
 
 =head1 Applications
 

diff --git a/include/isl_map.h b/include/isl_map.h
index ac30874..b8e27d3 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -200,6 +200,7 @@ __isl_give isl_map *isl_basic_map_partial_lexmin(
                __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
                __isl_give isl_set **empty);
 __isl_give isl_map *isl_basic_map_lexmin(__isl_take isl_basic_map *bmap);
+__isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap);
 int isl_basic_map_foreach_lexmin(__isl_keep isl_basic_map *bmap,
        int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_mat *map,
                  void *user),