t3.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 T3_H
#define T3_H

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

#ifndef TP_H
#include "SheafSystem/tp.h"
#endif

namespace fiber_bundle
{

//==============================================================================
// CLASS T3_LITE
//==============================================================================

class SHEAF_DLL_SPEC t3_lite : public tp_lite
{

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

public:

  t3_lite();

  t3_lite(const t3_lite& xother);

  t3_lite& operator=(const t3_lite& xother);

  virtual ~t3_lite();

  t3_lite(const row_dofs_type& xrow_dofs);

  t3_lite& operator=(const row_dofs_type& xrow_dofs);

protected:
private:



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

public:

  enum static_const_int {P = 3};  
  
  virtual int p() const;

protected:
private:



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

public:

  virtual int d() const;

  using tp_lite::component;
  using tp_lite::put_component;

  virtual value_type component(int xi, int xj, int xk) const;

  virtual void put_component(int xi, int xj, int xk, value_type xvalue);

  virtual int index_for_ijk(int xi, int xj, int xk) const;


protected:
private:



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

public:
protected:
private:



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

public:

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

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

protected:
private:



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

public:

  virtual bool is_ancestor_of(const any_lite& xother) const;

  bool invariant() const;

protected:
private:

};

//==============================================================================
// CLASS T3
//==============================================================================

class SHEAF_DLL_SPEC t3 : public tp
{

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

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);

protected:

private:

 

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

public:

  typedef t3_lite volatile_type;

  t3();

  t3(const t3& xother);

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

  t3& operator=(const t3& xother);

  virtual ~t3();

  virtual const volatile_type& lite_prototype() const;

  virtual volatile_type* lite_type() const;

  t3(poset* xhost, bool xauto_access = true);

  t3(const poset* xhost, pod_index_type xhub_id);

  t3(const poset* xhost, const scoped_index& xid);

  t3(const poset* xhost, const std::string& xname);

protected:
private:



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

public:

  enum static_const_int {P = 3};  
  
protected:

private:



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

public:

  using tp::component;
  using tp::put_component;

  virtual value_type component(int xi, int xj, int xk) const;

  value_type component(int xi, int xj, int xk, bool xauto_access) const;

  virtual void put_component(int xi, int xj, int xk, value_type xvalue);

  void put_component(int xi, int xj, int xk, value_type xvalue, bool xauto_access);

  virtual int index_for_ijk(int xi, int xj, int xk) const;

protected:
private:



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

public:

protected:

private:



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

public:

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

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

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

protected:
private:



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

public:

  virtual bool invariant() const;

  virtual bool is_ancestor_of(const any* other) const;

protected:
private:

};

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

class at1;
class at1_lite;
class at2;
class at2_lite;
class at3;
class at3_lite;

class st2;
class st2_lite;
class st3;
class st3_lite;

class t2;
class t2_lite;

//==============================================================================
// TP FACET
//==============================================================================

namespace tp_algebra
{

SHEAF_DLL_SPEC void contract(const t3_lite& x0, int xp, int xq, at1_lite& xresult);

SHEAF_DLL_SPEC void contract(const t3& x0, int xp, int xq, at1& xresult,
                 bool xauto_access);

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

SHEAF_DLL_SPEC void alt(const t3_lite& x0, t3_lite& xresult);

SHEAF_DLL_SPEC void alt(const t3_lite& x0, at3_lite& xresult);

SHEAF_DLL_SPEC void alt(const t3& x0, at3& xresult, bool xauto_access);


//==============================================================================
SHEAF_DLL_SPEC void sym(const t3_lite& x0, t3_lite& xresult);

SHEAF_DLL_SPEC void sym(const t3_lite& x0, st3_lite& xresult);

SHEAF_DLL_SPEC void sym(const t3& x0, st3& xresult, bool xauto_access);

//==============================================================================
SHEAF_DLL_SPEC void tensor(const t2_lite& x0, const at1_lite& x1, t3_lite& xresult);

SHEAF_DLL_SPEC void tensor(const t2& x0, const at1& x1, t3& xresult, bool xauto_access);

SHEAF_DLL_SPEC void tensor(const at1_lite& x0, const t2_lite& x1, t3_lite& xresult);

SHEAF_DLL_SPEC void tensor(const at1& x0, const t2& x1, t3& xresult, bool xauto_access);

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

SHEAF_DLL_SPEC void tensor(const at2_lite& x0, const at1_lite& x1, t3_lite& xresult);

SHEAF_DLL_SPEC void tensor(const at2& x0, const at1& x1, t3& xresult, bool xauto_access);

SHEAF_DLL_SPEC void tensor(const at1_lite& x0, const at2_lite& x1, t3_lite& xresult);

SHEAF_DLL_SPEC void tensor(const at1& x0, const at2& x1, t3& xresult, bool xauto_access);

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

SHEAF_DLL_SPEC void tensor(const st2_lite& x0, const at1_lite& x1, t3_lite& xresult);

SHEAF_DLL_SPEC void tensor(const st2& x0, const at1& x1, t3& xresult, bool xauto_access);

SHEAF_DLL_SPEC void tensor(const at1_lite& x0, const st2_lite& x1, t3_lite& xresult);

SHEAF_DLL_SPEC void tensor(const at1& x0, const st2& x1, t3& xresult, bool xauto_access);

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

} // namespace tp_algebra


} // end namespace fiber_bundle


#endif // ifndef T3_H