polynomial_sparse.hpp

Go to the documentation of this file.

#ifndef realroot_ring_sparse_hpp
#define realroot_ring_sparse_hpp
//====================================================================
//====================================================================
#include <realroot/sparse_monomials.hpp>
#include <realroot/Seq.hpp>
#include <realroot/polynomial.hpp>
#include <realroot/ring.hpp>

#define TMPL template<class C, class O> 
#define RING ring<C, Sparse, O > 
//====================================================================
namespace mmx {

template<class A, class B> struct use;
template<class C, class V> struct polynomial;
template<class C, class V> struct with;

struct Sparse {};

template<> struct default_variant_of<Sparse> {
    typedef DegRevLex Variant;
} ;

template<class C, class O>
struct use<polynomial_of, polynomial<C, with<Sparse,O> > > {
    
    typedef sparse::monomial_seq<C,O>       rep_t;
    typedef typename rep_t::Monomial        Monomial;
    typedef C                               Scalar;
    typedef RING                            var_t;
    typedef RING                            Ring;
    typedef polynomial<C, with<Sparse,O> >  Polynomial;

};


template<class C, class O >
struct ring<C, Sparse, O > {

    typedef sparse::monomial_seq<C,O>       rep_t;
    typedef typename rep_t::Monomial        Monomial;
    typedef C                               Scalar;
    typedef RING                            var_t;
    typedef RING                            self_t;
    typedef polynomial<C, with<Sparse,O> >  Polynomial;
    
    ring(){}
    ring(const self_t& r){}
    ring(const char* s) {var = variables(s); }
    
    Polynomial  operator[](int i) const {
        return Polynomial((C)1,1,i);
    }
    
    static int nbvar() { return var.nbvar(); }
    
    static variables var;
    static variables& vars () { return var;}

};

TMPL variables RING::var;
TMPL C sample (const RING& R) { return (C)0; }

} // namespace mmx
//====================================================================
#undef TMPL
#undef PRING
#undef RING
#undef RING
#undef Polynomial
#endif //realroot_ring_sparse_hpp