geometry.hh

Go to the documentation of this file.

// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#ifndef DUNE_GRID_GEOMETRY_HH
#define DUNE_GRID_GEOMETRY_HH
 
#include <cassert>
 
#include <dune/common/fmatrix.hh>
#include <dune/common/typetraits.hh>
 
#include <dune/geometry/referenceelements.hh>
 
namespace Dune
{
 
  // External Forward Declarations
  // -----------------------------
 
  template< int dim, int dimworld, class ct, class GridFamily >
  class GridDefaultImplementation;
 
 
 
  //*****************************************************************************
  //
  // Geometry
  // forwards the interface to the implementation
  //
  //*****************************************************************************
 
  template< int mydim, int cdim, class GridImp, template< int, int, class > class GeometryImp >
  class Geometry
  {
  public:
    typedef GeometryImp< mydim, cdim, GridImp > Implementation;
 
    Implementation &impl () { return realGeometry; }
    const Implementation &impl () const { return realGeometry; }
 
    enum { mydimension=mydim  };
    enum { coorddimension=cdim  };
 
    typedef typename GridImp::ctype ctype;
 
    typedef FieldVector<ctype, mydim> LocalCoordinate;
 
    typedef FieldVector< ctype, cdim > GlobalCoordinate;
 
    typedef decltype(std::declval<Implementation>().volume()) Volume;
 
    typedef typename Implementation::JacobianInverseTransposed JacobianInverseTransposed;
 
    typedef typename Implementation::JacobianTransposed JacobianTransposed;
 
    GeometryType type () const { return impl().type(); }
 
    bool affine() const { return impl().affine(); }
 
    int corners () const { return impl().corners(); }
 
    GlobalCoordinate corner ( int i ) const
    {
      return impl().corner( i );
    }
 
    GlobalCoordinate global (const LocalCoordinate& local) const
    {
      return impl().global( local );
    }
 
    LocalCoordinate local (const GlobalCoordinate& global) const
    {
      return impl().local( global );
    }
 
    ctype integrationElement (const LocalCoordinate& local) const
    {
      return impl().integrationElement( local );
    }
 
    Volume volume () const
    {
      return impl().volume();
    }
 
    GlobalCoordinate center () const
    {
      return impl().center();
    }
 
    JacobianTransposed jacobianTransposed ( const LocalCoordinate& local ) const
    {
      return impl().jacobianTransposed( local );
    }
 
    JacobianInverseTransposed jacobianInverseTransposed ( const LocalCoordinate &local ) const
    {
      return impl().jacobianInverseTransposed(local);
    }
    //===========================================================
    //===========================================================
 
    explicit Geometry ( const Implementation &impl )
      : realGeometry( impl )
    {}
 
 
  private:
    const Geometry &operator= ( const Geometry &rhs );
 
  protected:
 
    Implementation realGeometry;
  };
 
 
 
  //************************************************************************
  // GEOMETRY Default Implementations
  //*************************************************************************
  //
  // --GeometryDefault
  //
  template<int mydim, int cdim, class GridImp, template<int,int,class> class GeometryImp>
  class GeometryDefaultImplementation
  {
  public:
    static const int mydimension = mydim;
    static const int coorddimension = cdim;
 
    // save typing
    typedef typename GridImp::ctype ctype;
 
    typedef FieldVector< ctype, mydim > LocalCoordinate;
    typedef FieldVector< ctype, cdim > GlobalCoordinate;
 
    typedef ctype Volume;
 
    typedef FieldMatrix< ctype, cdim, mydim > JacobianInverseTransposed;
 
    typedef FieldMatrix< ctype, mydim, cdim > JacobianTransposed;
 
    Volume volume () const
    {
      GeometryType type = asImp().type();
 
      // get corresponding reference element
      auto refElement = referenceElement< ctype , mydim >(type);
 
      LocalCoordinate localBaryCenter ( 0 );
      // calculate local bary center
      const int corners = refElement.size(0,0,mydim);
      for(int i=0; i<corners; ++i) localBaryCenter += refElement.position(i,mydim);
      localBaryCenter *= (ctype) (1.0/corners);
 
      // volume is volume of reference element times integrationElement
      return refElement.volume() * asImp().integrationElement(localBaryCenter);
    }
 
    GlobalCoordinate center () const
    {
      GeometryType type = asImp().type();
 
      // get corresponding reference element
      auto refElement = referenceElement< ctype , mydim >(type);
 
      // center is (for now) the centroid of the reference element mapped to
      // this geometry.
      return asImp().global(refElement.position(0,0));
    }
 
  private:
    GeometryImp<mydim,cdim,GridImp>& asImp () {return static_cast<GeometryImp<mydim,cdim,GridImp>&>(*this);}
    const GeometryImp<mydim,cdim,GridImp>& asImp () const {return static_cast<const GeometryImp<mydim,cdim,GridImp>&>(*this);}
  }; // end GeometryDefault
 
  template<int cdim, class GridImp, template<int,int,class> class GeometryImp>
  class GeometryDefaultImplementation<0,cdim,GridImp,GeometryImp>
  {
    // my dimension
    enum { mydim = 0 };
 
  public:
    static const int mydimension = mydim;
    static const int coorddimension = cdim;
 
    // save typing
    typedef typename GridImp::ctype ctype;
 
    typedef FieldVector< ctype, mydim > LocalCoordinate;
    typedef FieldVector< ctype, cdim > GlobalCoordinate;
    typedef ctype Volume;
 
    typedef FieldMatrix< ctype, cdim, mydim > JacobianInverseTransposed;
 
    typedef FieldMatrix< ctype, mydim, cdim > JacobianTransposed;
 
    FieldVector<ctype, cdim> global (const FieldVector<ctype, mydim>& local) const
    {
      return asImp().corner(0);
    }
 
    FieldVector<ctype, mydim> local (const FieldVector<ctype, cdim>& ) const
    {
      return FieldVector<ctype, mydim>();
    }
 
    Volume volume () const
    {
      return Volume(1.0);
    }
 
    FieldVector<ctype, cdim> center () const
    {
      return asImp().corner(0);
    }
 
  private:
    // Barton-Nackman trick
    GeometryImp<mydim,cdim,GridImp>& asImp () {return static_cast<GeometryImp<mydim,cdim,GridImp>&>(*this);}
    const GeometryImp<mydim,cdim,GridImp>& asImp () const {return static_cast<const GeometryImp<mydim,cdim,GridImp>&>(*this);}
  }; // end GeometryDefault
 
 
 
  // referenceElement
  // ----------------
 
  template< int mydim, int cdim, class GridImp, template< int, int, class > class GeometryImp>
  auto referenceElement(const Geometry<mydim,cdim,GridImp,GeometryImp>& geo)
    -> decltype(referenceElement(geo,geo.impl()))
  {
    return referenceElement(geo,geo.impl());
  }
 
 
  template< int mydim, int cdim, class GridImp, template< int, int, class > class GeometryImp, typename Impl>
  auto referenceElement(const Geometry<mydim,cdim,GridImp,GeometryImp>& geo, const Impl& impl)
    -> decltype(referenceElement<typename GridImp::ctype,mydim>(geo.type()))
  {
    using Geo = Geometry<mydim,cdim,GridImp,GeometryImp>;
    return referenceElement<typename Geo::ctype,Geo::mydimension>(geo.type());
  }
 
} // namespace Dune
 
#endif // DUNE_GRID_GEOMETRY_HH