include/shape/semialgebraic_curve.hpp

Go to the documentation of this file.

/*****************************************************************************
 * M a t h e m a g i x
 *****************************************************************************
 * AlgebraicSurface
 * 2008-03-28
 * Julien Wintz
 *****************************************************************************
 *               Copyright (C) 2006 INRIA Sophia-Antipolis
 *****************************************************************************
 * Comments :
 ****************************************************************************/

# ifndef shape_semialgebraic_domain_hpp
# define shape_semialgebraic_domain_hpp

# include <realroot/GMP.hpp>
# include <shape/algebraic_curve.hpp>
# include <shape/surface.hpp>
# define TMPL template<class C, class V>
# define REF  REF_OF(V)
# define SELF semialgebraic_curve<C,V>
//====================================================================
namespace mmx {
namespace shape {
//====================================================================
// TMPL struct semialgebraic_curve;

// TMPL struct with_semialgebraic_curve { 
//   typedef semialgebraic_curve<K> SemiAlgebraicDomain; 
// };

// TMPL struct semialgebraic_curve_def 
//   :public algebraic_curve_def<K>
//   ,public with_semialgebraic_curve<K> {};

template<class C, class V=default_env>
class semialgebraic_curve : public algebraic_curve<C,V> {

public:
  typedef typename SHAPE_OF(V)       Shape;
  typedef algebraic_curve<C,REF>     AlgebraicCurve;
  typedef typename AlgebraicCurve::Polynomial Polynomial;

  semialgebraic_curve(void) {} ;
  semialgebraic_curve(char *, int=1) ;
  semialgebraic_curve(const Polynomial &, int=1) ;
  semialgebraic_curve(AlgebraicCurve*, int=1) ;
  ~semialgebraic_curve(void) {};

  Polynomial inequality() const  { return this->equation() ; }

  //int        sign()       const  { return this->m_sign; }
  //void set_sign    (int s)                { return this->m_sign=s; }
private:
   //Polynomial m_polynomial ;
  //int        m_sign; //always assumed +1
} ;

TMPL
SELF::semialgebraic_curve(char * s, int i)
  : AlgebraicCurve(s) { 
   if (i<0) this->set_equation( this->equation()*(-1));
}

TMPL
SELF::semialgebraic_curve(const Polynomial& p, int s) 
    : AlgebraicCurve(p) { if (s<0) this->set_equation((-1)*p); }

TMPL
SELF::semialgebraic_curve(AlgebraicCurve* c, int s) 
    : AlgebraicCurve(c) { if (s<0) this->set_equation((-1)*c->equation()); }
//====================================================================
} ; // namespace shape
} ; // namespace mmx
//====================================================================
# undef TMPL 
# undef REF 
# undef SELF
# endif // shape_semialgebraic_curve_hpp

---