LightSternBrocot.h

 
#pragma once
 
#if defined(LightSternBrocot_RECURSES)
#error Recursive header files inclusion detected in LightSternBrocot.h
#else // defined(LightSternBrocot_RECURSES)
 
#define LightSternBrocot_RECURSES
 
#if !defined LightSternBrocot_h
 
#define LightSternBrocot_h
 
// Inclusions
#include <iostream>
#include <vector>
#include "DGtal/base/Common.h"
#include "DGtal/base/StdRebinders.h"
#include "DGtal/base/InputIteratorWithRankOnSequence.h"
#include "DGtal/kernel/CInteger.h"
#include "DGtal/kernel/NumberTraits.h"
 
namespace DGtal
{
 
  // template class LightSternBrocot
  template <typename TInteger, typename TQuotient, 
            typename TMap = StdMapRebinder>
  class LightSternBrocot
  {
  public:
    typedef TInteger Integer;
    typedef TQuotient Quotient;
    typedef TMap Map;
    typedef LightSternBrocot<TInteger,TQuotient,TMap> Self;
    
    BOOST_CONCEPT_ASSERT(( concepts::CInteger< Integer > ));
 
    struct Node;
    typedef typename TMap:: template Rebinder<Quotient, Node*>::Type MapQuotientToNode;
 
  public:
 
    struct Node {
 
      Node( Integer p1, Integer q1, Quotient u1, Quotient k1, 
            Node* ascendant );
 
      Integer p;
      Integer q;
      Quotient u;
      Quotient k;
      Node* ascendant;
      MapQuotientToNode descendant;
      MapQuotientToNode descendant2;
 
      inline bool even() const {
        return NumberTraits<Quotient>::even( k );
      }
      inline bool odd() const {
        return NumberTraits<Quotient>::odd( k );
      }
      inline bool isSameDepthLeft() const {
        return odd();
      }
      
    };
 
    class Fraction {
    public:
      typedef TInteger Integer;
      typedef TQuotient Quotient;
      typedef LightSternBrocot<TInteger, TQuotient, TMap> SternBrocotTree;
      typedef typename SternBrocotTree::Fraction Self;
      typedef typename NumberTraits<Integer>::UnsignedVersion UnsignedInteger;
      typedef std::pair<Quotient, Quotient> Value;
      typedef std::vector<Quotient> CFracSequence;
      typedef InputIteratorWithRankOnSequence<CFracSequence,Quotient> ConstIterator;
 
      // --------------------- std types ------------------------------
      typedef Value value_type;
      typedef ConstIterator const_iterator;
      typedef const value_type & const_reference;
 
 
    private:
      Node* myNode; 
      bool mySup1;
 
    public:      
      Fraction( Integer aP, Integer aQ,
                Fraction start = SternBrocotTree::zeroOverOne() );
 
      Fraction( Node* sb_node = 0, bool sup1 = false );
 
      Fraction( const Self & other );
 
      Self& operator=( const Self & other );
 
      bool null() const;
      Integer p() const;
      Integer q() const;
      Quotient u() const;
      Quotient k() const;
 
      bool isSup1() const { return mySup1; }
      Quotient trueK() const { return myNode->k; }
 
    protected:
      Fraction next( Quotient v ) const;
      Fraction next1( Quotient v ) const;
    public:
 
      Fraction left() const;
      Fraction right() const;
      bool even() const; 
      bool odd() const; 
      Fraction ancestor() const;
      bool isAncestorDirect() const;
 
      Fraction father() const;
 
      Fraction father( Quotient m ) const;
      Fraction previousPartial() const;
      Fraction inverse() const;
      Fraction partial( Quotient kp ) const;
      Fraction reduced( Quotient i ) const;
 
      void push_back( const std::pair<Quotient, Quotient> & quotient );
 
      void pushBack( const std::pair<Quotient, Quotient> & quotient );
 
      void getSplit( Fraction & f1, Fraction & f2 ) const; 
 
      void getSplitBerstel( Fraction & f1, Quotient & nb1, 
                            Fraction & f2, Quotient & nb2 ) const; 
 
      void getCFrac( std::vector<Quotient> & quotients ) const;
 
      bool equals( Integer p1, Integer q1 ) const;
 
      bool lessThan( Integer p1, Integer q1 ) const;
 
      bool moreThan( Integer p1, Integer q1 ) const;
 
      bool operator==( const Fraction & other ) const;
 
      bool operator!=( const Fraction & other ) const;
 
      bool operator<( const Fraction & other ) const;
 
      bool operator>( const Fraction & other ) const;
 
      void selfDisplay ( std::ostream & out ) const;
 
      ConstIterator begin() const;
 
      ConstIterator end() const;
 
    };
 
 
 
    // ----------------------- Standard services ------------------------------
  public:
    ~LightSternBrocot();
 
    static LightSternBrocot & instance();
 
    static Fraction zeroOverOne();
 
    static Fraction oneOverZero();
 
    static Fraction fraction( Integer p, Integer q,
                              Fraction ancestor = zeroOverOne() );
 
    // ----------------------- Interface --------------------------------------
  public:
 
    static void display ( std::ostream & out, const Fraction & f );
 
    bool isValid() const;
 
    Quotient nbFractions;
 
    // ------------------------- Protected Datas ------------------------------
  protected:
    // ------------------------- Private Datas --------------------------------
  private:
 
    static LightSternBrocot* singleton;
 
 
    // ------------------------- Datas ----------------------------------------
  private:
 
    Node* myZeroOverOne;
    Node* myOneOverZero;
    Node* myOneOverOne;
 
    // ------------------------- Hidden services ------------------------------
  protected:
 
  private:
    LightSternBrocot();
 
 
    LightSternBrocot ( const LightSternBrocot & other );
 
    LightSternBrocot & operator= ( const LightSternBrocot & other );
 
    // ------------------------- Internals ------------------------------------
  private:
 
  }; // end of class LightSternBrocot
 
 
  // template <typename TInteger, typename TQuotient, typename TMap>
  // std::ostream&
  // operator<< ( std::ostream & out, 
  //              const typename LightSternBrocot<TInteger, TQuotient, TMap>::Fraction & object );
 
} // namespace DGtal
 
 
// Includes inline functions.
#include "DGtal/arithmetic/LightSternBrocot.ih"
 
//                                                                           //
 
#endif // !defined LightSternBrocot_h
 
#undef LightSternBrocot_RECURSES
#endif // else defined(LightSternBrocot_RECURSES)