at2_e2.h

Go to the documentation of this file.

//
// Copyright (c) 2014 Limit Point Systems, Inc. 
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//   http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//


#ifndef AT2_E2_H
#define AT2_E2_H

#ifndef SHEAF_DLL_SPEC_H
#include "SheafSystem/sheaf_dll_spec.h"
#endif

#ifndef AT2_H
#include "SheafSystem/at2.h"
#endif

#ifndef ANTISYMMETRIC_MATRIX_2X2_H
#include "SheafSystem/antisymmetric_matrix_2x2.h"
#endif

#ifndef E2_H
#include "SheafSystem/e2.h"
#endif

namespace fiber_bundle
{

//==============================================================================
// CLASS AT2_E2_ROW_DOFS_TYPE
//==============================================================================

template <typename T>
class at2_e2_row_dofs_type
{
public:

  typedef T dof_type;

  typedef at2_e2_row_dofs_type<T> row_dofs_type;

  typedef antisymmetric_matrix_2x2<T> matrix_type;

  static const std::string& static_class_name();
  
  static int d();

  T& operator[] (int xindex);

  const T& operator[] (int xindex) const;

  operator typename at2_e2_row_dofs_type<T>::matrix_type& ();

  operator const typename at2_e2_row_dofs_type<T>::matrix_type& () const;

  at2_e2_row_dofs_type<T>* clone() const;

  at2_e2_row_dofs_type<T>* clone(bool xnew_state, bool xauto_access) const
  {
    return clone();
  }

  //
  // The antisymmetrix matrix is actually
  //               0  xy
  //             -xy   0
  // So we only need to store the xy component.

  T components[1];

protected:
private:

};

//==============================================================================
// CLASS AT2_E2_LITE
//==============================================================================

class e2_lite;

class SHEAF_DLL_SPEC at2_e2_lite : public at2_lite
{
  //============================================================================
  //============================================================================

public:

  // Typedefs:

  typedef at2_e2_row_dofs_type<double> row_dofs_type;

  typedef at2_e2_row_dofs_type<double>::matrix_type matrix_type;

  at2_e2_lite();

  at2_e2_lite(const at2_e2_lite& xother);

  at2_e2_lite& operator=(const at2_e2_lite& xother);

  virtual ~at2_e2_lite();

  at2_e2_lite(const row_dofs_type& xrow_dofs);

  at2_e2_lite& operator=(const row_dofs_type& xrow_dofs);

  at2_e2_lite(const matrix_type& xmatrix);

  at2_e2_lite& operator=(const matrix_type& xmatrix);

  operator matrix_type& ();

  operator const matrix_type& () const;

  operator row_dofs_type& ();

  operator const row_dofs_type& () const;

  at2_e2_lite(const value_type& xy);

  using at2_lite::component;
  using at2_lite::put_component;
  
  virtual void put_component(value_type xy);

protected:

  row_dofs_type _row_dofs;

private:



  //============================================================================
  //============================================================================

public:
protected:
private:



  //============================================================================
  //============================================================================

public:

  typedef e2_lite vector_space_type;

  virtual int dd() const;

protected:
private:



  //============================================================================
  //============================================================================

public:

  virtual const tp_lite& tp_prototype(int xp) const;

  virtual const atp_lite& atp_prototype(int xp) const;

  virtual const stp_lite& stp_prototype(int xp) const;

protected:
private:



  //============================================================================
  //============================================================================

public:
protected:
private:



  //============================================================================
  //============================================================================

public:

  virtual const std::string& class_name() const;

  static const std::string& static_class_name();
  
  virtual at2_e2_lite* clone() const;

  virtual at2_e2_lite* clone(bool xnew_state, bool xauto_access) const
  {
    return clone();
  }

protected:
private:



  //============================================================================
  //============================================================================

public:

  virtual bool is_ancestor_of(const any_lite& xother) const;

  bool invariant() const;

  virtual void* row_dofs();

  virtual const void* row_dofs() const;

protected:
private:

};

//==============================================================================
// CLASS AT2_E2
//==============================================================================

class SHEAF_DLL_SPEC at2_e2 : public at2
{
  // ===========================================================
  // ===========================================================

public:

  static const poset_path& standard_schema_path();

  static void make_standard_schema(namespace_poset& xns);

  static host_type& new_host(namespace_type& xns, 
                 const poset_path& xhost_path, 
                 const poset_path& xschema_path,
                 const poset_path& xvector_space_path,
                 bool xauto_access);

  static host_type& standard_host(namespace_type& xns, const std::string& xsuffix, bool xauto_access);

protected:

private:



  //============================================================================
  //============================================================================

public:

  // Typedefs:

  typedef at2_e2_row_dofs_type<double> row_dofs_type;

  typedef at2_e2_lite volatile_type;

  typedef e2 vector_space_type;

  typedef at2_e2_row_dofs_type<double>::matrix_type matrix_type;

  at2_e2();

  at2_e2(const poset_state_handle* xhost, pod_index_type xhub_id);

  at2_e2(const poset_state_handle* xhost, const scoped_index& xid);

  at2_e2(const poset_state_handle* xhost, const std::string& xname);

  explicit at2_e2(abstract_poset_member* xother);

  at2_e2(poset_state_handle* xhost, bool xauto_access = true);

  at2_e2(poset_state_handle& xhost,
         const row_dofs_type& xrdt,
         bool xauto_access = true);

  at2_e2& operator=(const row_dofs_type& xrdt);

  virtual at2_e2& operator=(const abstract_poset_member& xother);

  at2_e2& operator=(const at2_e2& xother);

  ~at2_e2();

  virtual const volatile_type& lite_prototype() const;

  virtual volatile_type* lite_type() const;

  virtual void put_components(dof_type xy_comp);

  operator row_dofs_type& ();

  operator const row_dofs_type& () const;

protected:
private:



  //============================================================================
  //============================================================================

public:
protected:
private:



  //============================================================================
  //============================================================================

public:
protected:
private:



  //============================================================================
  //============================================================================

public:
protected:
private:



  //============================================================================
  //============================================================================

public:
protected:
private:



  //============================================================================
  //============================================================================

public:

  virtual tp* new_tp(int xp, bool xauto_access) const;

  virtual atp* new_atp(int xp, bool xauto_access) const;

  virtual stp* new_stp(int xp, bool xauto_access) const;

protected:
private:



  //============================================================================
  //============================================================================

public:

  virtual const std::string& class_name() const;

  static const std::string& static_class_name();
  
  virtual at2_e2* clone() const;

  inline at2_e2* clone(bool xnew_state, bool xauto_access = true) const
  {
    return static_cast<at2_e2*>(at2::clone(xnew_state, xauto_access));
  }

protected:
private:



  //============================================================================
  //============================================================================

public:

  bool is_ancestor_of(const any* xother) const;

  bool invariant() const;

protected:
private:

};

//==============================================================================
// NON-MEMBER FUNCTIONS
//==============================================================================

template <typename T>
std::ostream& operator<<(std::ostream& xos, const at2_e2_row_dofs_type<T>& xrdt);

//==============================================================================

class at0;
class at0_lite;
class e2;
class e2_lite;

namespace atp_algebra
{

SHEAF_DLL_SPEC void hook(const e2& x0, const e2& x1, at0& xresult, bool xauto_access);

SHEAF_DLL_SPEC void hook(const e2_lite& x0, const e2_lite& x1, at0_lite& xresult);

SHEAF_DLL_SPEC void hook(const at2_e2& x0, const e2& x1, e2& xresult, bool xauto_access);

SHEAF_DLL_SPEC void hook(const at2_e2_lite& x0, const e2_lite& x1, e2_lite& xresult);

SHEAF_DLL_SPEC void star(const at2_e2& x0, at0& xresult, bool xauto_access);

SHEAF_DLL_SPEC void star(const at2_e2_lite& x0, at0_lite& xresult);

SHEAF_DLL_SPEC at0_lite* star(const at2_e2_lite& x0);

SHEAF_DLL_SPEC void star(const at0& x0, at2_e2& xresult, bool xauto_access);

SHEAF_DLL_SPEC void star(const at0_lite& x0, at2_e2_lite& xresult);

SHEAF_DLL_SPEC at2_e2_lite* star(const at0_lite& x0);


SHEAF_DLL_SPEC void star(const e2& x0, e2& xresult, bool xauto_access);

SHEAF_DLL_SPEC void star(const e2_lite& x0, e2_lite& xresult);

SHEAF_DLL_SPEC e2_lite* star(const e2_lite& x0);

SHEAF_DLL_SPEC void wedge(const e2& x0, const e2& x1, at2_e2& xresult, bool xauto_access);

SHEAF_DLL_SPEC void wedge(const e2_lite& x0, const e2_lite& x1, at2_e2_lite& xresult);

} // namespace atp_algebra

} // namespace fiber_bundle


#endif // ifndef AT2_E2_H