add isl_term_get_coefficient_val

[platform/upstream/isl.git] / isl_polynomial.c

diff --git a/isl_polynomial.c b/isl_polynomial.c
index 2dfdd0f..bb33ed6 100644 (file)
--- a/isl_polynomial.c
+++ b/isl_polynomial.c
@@ -24,6 +24,7 @@
 #include <isl_range.h>
 #include <isl_local_space_private.h>
 #include <isl_aff_private.h>
+#include <isl_val_private.h>
 #include <isl_config.h>
 
 static unsigned pos(__isl_keep isl_space *dim, enum isl_dim_type type)
@@ -3563,6 +3564,17 @@ void isl_term_get_den(__isl_keep isl_term *term, isl_int *d)
        isl_int_set(*d, term->d);
 }
 
+/* Return the coefficient of the term "term".
+ */
+__isl_give isl_val *isl_term_get_coefficient_val(__isl_keep isl_term *term)
+{
+       if (!term)
+               return NULL;
+
+       return isl_val_rat_from_isl_int(isl_term_get_ctx(term),
+                                       term->n, term->d);
+}
+
 int isl_term_get_exp(__isl_keep isl_term *term,
        enum isl_dim_type type, unsigned pos)
 {