From 62d1611a3d746b7bf5b9dffa1b7442270c64d3ea Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 17 Oct 2010 13:35:05 +0200
Subject: [PATCH] iscc: add identity operation

---
 doc/isl.tex | 3 +++
 iscc.c      | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/doc/isl.tex b/doc/isl.tex
index 20f7f1c..0dd9a02 100644
--- a/doc/isl.tex
+++ b/doc/isl.tex
@@ -184,6 +184,9 @@ domain of piecewise quasipolynomial fold $f$
 $s$ := \ai[\tt]{ran} $m$ &
 range of map $m$
 \\
+$m$ := \ai[\tt]{identity} $s$ &
+identity relation on $s$
+\\
 $s_2$ := \ai[\tt]{lexmin} $s_1$ &
 lexicographically minimal element of $s_1$
 \\
diff --git a/iscc.c b/iscc.c
index e2abf56..8d6344b 100644
--- a/iscc.c
+++ b/iscc.c
@@ -580,6 +580,8 @@ struct isc_named_un_op named_un_ops[] = {
 		(isc_un_op_fn) &isl_union_pw_qpolynomial_fold_domain } },
 	{"ran",	{ -1,	isl_obj_union_map,	isl_obj_union_set,
 		(isc_un_op_fn) &isl_union_map_range } },
+	{"identity",	{ -1,	isl_obj_union_set,	isl_obj_union_map,
+		(isc_un_op_fn) &isl_union_set_identity } },
 	{"lexmin",	{ -1,	isl_obj_union_map,	isl_obj_union_map,
 		(isc_un_op_fn) &isl_union_map_lexmin } },
 	{"lexmax",	{ -1,	isl_obj_union_map,	isl_obj_union_map,
-- 
2.11.4.GIT