polynomials.h

Go to the documentation of this file.

 
#pragma once
 
#include "sdfg/symbolic/symbolic.h"
 
namespace sdfg {
namespace symbolic {

typedef SymEngine::RCP<const SymEngine::MExprPoly> Polynomial;

typedef std::unordered_map<Symbol, Expression, SymEngine::RCPBasicHash, SymEngine::RCPBasicKeyEq> AffineCoeffs;

Polynomial polynomial(const Expression expr, SymbolVec& symbols);

AffineCoeffs affine_coefficients(Polynomial poly);

bool is_integer_affine(const Expression& expr);

Expression affine_inverse(AffineCoeffs coeffs, Symbol symbol);

struct AffineDecomposition {
    bool success; 
    Expression coeff; 
    Expression offset; 
 
    static AffineDecomposition failure() {
        return {false, SymEngine::null, SymEngine::null};
    }
};

AffineDecomposition affine_decomposition(const Expression& expr, const Symbol& symbol);

Expression
solve_affine_bound(const Expression& expr, const Symbol& symbol, const Expression& bound_value, bool is_lower_bound);

std::pair<Expression, Expression> polynomial_div(const Expression& dividend, const Expression& divisor);
 
 
} // namespace symbolic
} // namespace sdfg