include/realroot/ring.hpp

Go to the documentation of this file.

# ifndef realroot_ring_hpp
# define realroot_ring_hpp
# include <realroot/variables.hpp>
# define TMPL template<class C, class B, class O>
# define SELF ring<C,B,O>

//====================================================================
#include <realroot/texp_bool.hpp>
#include <realroot/monomial_ordering.hpp>
#include <realroot/variables.hpp>
//====================================================================
namespace mmx {
  template<class C, class V> struct with;
  template<class C, class V> struct polynomial;

  template<class C, class B, class O=B>
  struct ring {

    typedef polynomial<C, with<B,O> >  Polynomial;
    
    ring(){}
    ring(const SELF& 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 SELF::var;

  TMPL C sample (const SELF& R) { return (C)0; }
  //====================================================================  



  template<class V> struct default_variant_of {
    typedef V Variant;
  } ;

//   /**     
//    \brief Generic ring class. 

//   **/ 
//   template<class C, class V, class W = typename default_variant_of<V>::Variant > 
//   struct ring {
//     typedef texp::null_t   rep_t;
//     typedef C              Scalar;
//   };
  
  //--------------------------------------------------------------------
  template<class U> struct ring_of;
  template<class C, class V> struct polynomial;
  template<class C, class V> 
  struct ring_of< polynomial<C,V> > { 
    typedef ring<C, V> Ring;
  };

  template<class C, class V, class W> 
  struct ring_of< polynomial<C,with<V,W> > > { 
    typedef ring<C, V, W> Ring;
  };

}
//====================================================================
#undef TMPL
#undef SELF
//====================================================================
#endif //realroot_ring_hpp

---