mv_binary_isolate Struct Reference

#include <subdivisor_mv_binary.hpp>

Inheritance diagram for mv_binary_isolate:

List of all members.

Static Public Member Functions

• template<class Cell > static bool reduce (Cell *cl)
• template<class Cell , class Stack > static void subdivide (Cell *cl, Stack *stack)
• template<class Cell > static bool regular (Cell *cl)

Static Public Attributes

• static double m_eps = 1e-6

---

Detailed Description

Definition at line 80 of file subdivisor_mv_binary.hpp.

---

Member Function Documentation

bool reduce

(

Cell *

cl

)

[static]

Reimplemented from mv_binary_approx.

Definition at line 88 of file subdivisor_mv_binary.hpp.

References mmx::has_sign_variation(), and mv_binary_approx::m_eps.

                                  {  
  if(cl->size() < m_eps) return false;
  std::cout<<"isolate"<<std::endl;
  for(unsigned i=0;i<cl->nbeq();i++)
    if(!has_sign_variation(cl->equation(i))) return false;
  
  return true; 
}

bool regular

(

Cell *

cl

)

[static, inherited]

Definition at line 73 of file subdivisor_mv_binary.hpp.

References mmx::has_sign_variation().

                                  { 
  for(unsigned i=0;i<cl->nbeq();i++)
    if(!has_sign_variation(cl->equation(i))) return false;
  return true;
}

void subdivide	(	Cell *	cl,
		Stack *	stack
	)		[static, inherited]

Definition at line 37 of file subdivisor_mv_binary.hpp.

References Scalar, and mmx::tensor::split().

                                               {
  //std::cout<<"Subdivide "<<cl->equation(0)<< " "<<cl->domain(0)<<std::endl;

  Cell* left  = new Cell(*cl);
  Cell* right = new Cell(*cl);

  unsigned v=0; 
  typename Cell::Scalar s=cl->domain(0).upper()-cl->domain(0).lower(),s0;
  for (unsigned i=0;i<cl->nbvar();i++)
    if((s0=cl->domain(i).upper()-cl->domain(i).lower())>s) {
        s=s0;v=i;
    }
  typename Cell::Scalar m=(cl->domain(v).upper()+cl->domain(v).lower())/2;

  for (unsigned i=0;i<cl->nbeq();i++)
    tensor::split(left->equation(i), right->equation(i), v);
  left->domain(v).upper()=m;
  right->domain(v).lower()=m;

  //  std::cout<<"==> "<<left->equation(0)<< " "<<left->domain(0)<<std::endl;
  //  std::cout<<"==> "<<right->equation(0)<< " "<<right->domain(0)<<std::endl;
  //  std::cout<<std::endl;

  st->push(left); 
  st->push(right);
};

---

Member Data Documentation

double m_eps = 1e-6 [static, inherited]

Definition at line 21 of file subdivisor_mv_binary.hpp.

Referenced by mv_binary_isolate::reduce(), and mv_binary_approx::reduce().

---

The documentation for this struct was generated from the following file:

• /Users/mourrain/Devel/mmx/realroot/include/realroot/subdivisor_mv_binary.hpp