CCommutativeRing.h

#pragma once

#if defined(CCommutativeRing_RECURSES)
#error Recursive header files inclusion detected in CCommutativeRing.h
#else // defined(CCommutativeRing_RECURSES)

#define CCommutativeRing_RECURSES

#if !defined CCommutativeRing_h

#define CCommutativeRing_h

// Inclusions
#include <iostream>
#include "DGtal/base/Common.h"
#include "DGtal/kernel/CSignedNumber.h"
#include "DGtal/kernel/NumberTraits.h"

namespace DGtal
{
  namespace concepts
  {
  // class CCommutativeRing
  template <typename T>
  struct CCommutativeRing : concepts::CSignedNumber<T>
  {
    // ----------------------- Concept checks ------------------------------
  public:

    BOOST_CONCEPT_USAGE( CCommutativeRing )
    {
      ConceptUtils::sameType( c, T( 25 ) );
      ConceptUtils::sameType( c, T( -25 ) );
      ConceptUtils::sameType( c, T( a+b ) );
      ConceptUtils::sameType( c, T( -a ) );
      ConceptUtils::sameType( c, T( a-b ) );
      ConceptUtils::sameType( c, T( a*b ) );
      ConceptUtils::sameType( c, T( 0 ) );
      ConceptUtils::sameType( c, T( 1 ) );

    }
    // ------------------------- Internals ------------------------------------
  private:
    T a,b,c;

  };
  }
} // namespace DGtal


//                                                                           //

#endif // !defined CCommutativeRing_h

#undef CCommutativeRing_RECURSES
#endif // else defined(CCommutativeRing_RECURSES)