include/realroot/ring_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

---