usymenginepoly.h

#ifndef SYMENGINE_USYMENGINEPOLY_H
#define SYMENGINE_USYMENGINEPOLY_H
 
#include <symengine/polys/upolybase.h>
 
namespace SymEngine
{
 
template <typename Container, template <typename X, typename Y> class BaseType,
          typename Poly>
class USymEnginePoly : public BaseType<Container, Poly>
{
public:
    using Cf = typename BaseType<Container, Poly>::coef_type;
    using Key = typename Container::key_type;
 
    USymEnginePoly(const RCP<const Basic> &var, Container &&dict)
        : BaseType<Container, Poly>(var, std::move(dict))
    {
    }
 
    int compare(const Basic &o) const
    {
        SYMENGINE_ASSERT(is_a<Poly>(o))
        const Poly &s = down_cast<const Poly &>(o);
 
        if (this->get_poly().size() != s.get_poly().size())
            return (this->get_poly().size() < s.get_poly().size()) ? -1 : 1;
 
        int cmp = unified_compare(this->get_var(), s.get_var());
        if (cmp != 0)
            return cmp;
 
        return unified_compare(this->get_poly().dict_, s.get_poly().dict_);
    }
 
    bool is_canonical(const Container &dict) const
    {
        // Check if dictionary contains terms with coeffienct 0
        for (auto iter : dict.dict_)
            if (iter.second == 0)
                return false;
        return true;
    }
 
    static RCP<const Poly> from_vec(const RCP<const Basic> &var,
                                    const std::vector<Cf> &v)
    {
        return make_rcp<const Poly>(var, Container::from_vec(v));
    }
 
    static Container container_from_dict(const RCP<const Basic> &var,
                                         std::map<Key, Cf> &&d)
    {
        return std::move(Container(d));
    }
 
    template <typename FromPoly>
    static enable_if_t<is_a_UPoly<FromPoly>::value, RCP<const Poly>>
    from_poly(const FromPoly &p)
    {
        return Poly::from_container(p.get_var(),
                                    std::move(Container::from_poly(p)));
    }
 
    Cf eval(const Cf &x) const
    {
        Key last_deg = this->get_poly().dict_.rbegin()->first;
        Cf result(0), x_pow;
 
        for (auto it = this->get_poly().dict_.rbegin();
             it != this->get_poly().dict_.rend(); ++it) {
            mp_pow_ui(x_pow, x, last_deg - (*it).first);
            last_deg = (*it).first;
            result = (*it).second + x_pow * result;
        }
        mp_pow_ui(x_pow, x, last_deg);
        result *= x_pow;
 
        return result;
    }
 
    inline const std::map<Key, Cf> &get_dict() const
    {
        return this->get_poly().dict_;
    }
 
    inline Cf get_coeff(Key x) const
    {
        return this->get_poly().get_coeff(x);
    }
 
    typedef typename std::map<Key, Cf>::const_iterator iterator;
    typedef typename std::map<Key, Cf>::const_reverse_iterator r_iterator;
    iterator begin() const
    {
        return this->get_poly().dict_.begin();
    }
    iterator end() const
    {
        return this->get_poly().dict_.end();
    }
    r_iterator obegin() const
    {
        return this->get_poly().dict_.rbegin();
    }
    r_iterator oend() const
    {
        return this->get_poly().dict_.rend();
    }
 
    int size() const
    {
        if (this->get_poly().dict_.empty())
            return 0;
        return this->get_degree() + 1;
    }
};
 
template <typename Container, template <typename X, typename Y> class BaseType,
          typename Poly>
RCP<const Poly> pow_upoly(const USymEnginePoly<Container, BaseType, Poly> &a,
                          unsigned int p)
{
    auto dict = Poly::container_type::pow(a.get_poly(), p);
    return Poly::from_container(a.get_var(), std::move(dict));
}
} // namespace SymEngine
 
#endif