From 4d9802212520702b47e4702500a70712a38ffbf0 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 3 May 2010 20:43:06 +0200 Subject: [PATCH] add isl_qpolynomial_neginfty --- doc/user.pod | 2 ++ include/isl_polynomial.h | 1 + isl_polynomial.c | 19 +++++++++++++++++++ 3 files changed, 22 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 2e3d9f8f..ca789a52 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1268,6 +1268,8 @@ on the resulting quasipolynomials __isl_take isl_dim *dim); __isl_give isl_qpolynomial *isl_qpolynomial_infty( __isl_take isl_dim *dim); + __isl_give isl_qpolynomial *isl_qpolynomial_neginfty( + __isl_take isl_dim *dim); __isl_give isl_qpolynomial *isl_qpolynomial_nan( __isl_take isl_dim *dim); __isl_give isl_qpolynomial *isl_qpolynomial_rat_cst( diff --git a/include/isl_polynomial.h b/include/isl_polynomial.h index 80157ef7..d6ed55f3 100644 --- a/include/isl_polynomial.h +++ b/include/isl_polynomial.h @@ -20,6 +20,7 @@ __isl_give isl_dim *isl_qpolynomial_get_dim(__isl_keep isl_qpolynomial *qp); __isl_give isl_qpolynomial *isl_qpolynomial_zero(__isl_take isl_dim *dim); __isl_give isl_qpolynomial *isl_qpolynomial_infty(__isl_take isl_dim *dim); +__isl_give isl_qpolynomial *isl_qpolynomial_neginfty(__isl_take isl_dim *dim); __isl_give isl_qpolynomial *isl_qpolynomial_nan(__isl_take isl_dim *dim); __isl_give isl_qpolynomial *isl_qpolynomial_rat_cst(__isl_take isl_dim *dim, const isl_int n, const isl_int d); diff --git a/isl_polynomial.c b/isl_polynomial.c index f0c324b6..6503cd7b 100644 --- a/isl_polynomial.c +++ b/isl_polynomial.c @@ -250,6 +250,20 @@ __isl_give struct isl_upoly *isl_upoly_infty(struct isl_ctx *ctx) return &cst->up; } +__isl_give struct isl_upoly *isl_upoly_neginfty(struct isl_ctx *ctx) +{ + struct isl_upoly_cst *cst; + + cst = isl_upoly_cst_alloc(ctx); + if (!cst) + return NULL; + + isl_int_set_si(cst->n, -1); + isl_int_set_si(cst->d, 0); + + return &cst->up; +} + __isl_give struct isl_upoly *isl_upoly_nan(struct isl_ctx *ctx) { struct isl_upoly_cst *cst; @@ -1238,6 +1252,11 @@ __isl_give isl_qpolynomial *isl_qpolynomial_infty(__isl_take isl_dim *dim) return isl_qpolynomial_alloc(dim, 0, isl_upoly_infty(dim->ctx)); } +__isl_give isl_qpolynomial *isl_qpolynomial_neginfty(__isl_take isl_dim *dim) +{ + return isl_qpolynomial_alloc(dim, 0, isl_upoly_neginfty(dim->ctx)); +} + __isl_give isl_qpolynomial *isl_qpolynomial_nan(__isl_take isl_dim *dim) { return isl_qpolynomial_alloc(dim, 0, isl_upoly_nan(dim->ctx)); -- 2.11.4.GIT