sec_tp.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 SEC_TP_H
#define SEC_TP_H

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

#ifndef SEC_VD_H
#include "SheafSystem/sec_vd.h"
#endif

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

namespace fiber_bundle
{

class sec_at1;
class sec_tp_space; 

//==============================================================================
// CLASS SEC_TP
//==============================================================================

class SHEAF_DLL_SPEC sec_tp : public sec_vd
{

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

public:

  typedef sec_tp_space host_type;

  typedef sec_at1 vector_space_type;

  typedef tp fiber_type;

  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:

  sec_tp();

  sec_tp(const sec_rep_space* xhost, pod_index_type xhub_id);

  sec_tp(const sec_rep_space* xhost, const scoped_index& xid);

  sec_tp(const sec_rep_space* xhost, const std::string& xname);

  sec_tp(const namespace_poset* xnamespace,
         const poset_path& xpath,
         bool xauto_access = true);

  explicit sec_tp(sec_rep_space_member* xother);

  sec_tp(sec_rep_space* xhost,
         section_dof_map* xdof_map = 0,
         bool xauto_access = true);

  sec_tp(sec_rep_space* xhost,
         abstract_poset_member& xbase_mbr,
         int xbase_version = CURRENT_HOST_VERSION,
         bool xauto_access = true);

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

  sec_tp& operator=(const sec_tp& xother);

  sec_tp& operator=(const tp& xfiber);

  sec_tp& operator=(const tp_lite& xfiber);

  ~sec_tp();

  virtual const fiber_type& fiber_prototype() const;

  virtual int p() const;

  int p(bool xauto_access) const;

  virtual int dd() const;

  virtual int dd(bool xauto_access) const;

  poset_path vector_space_path() const;

  poset_path vector_space_path(bool xauto_access) const;

  virtual sec_tp_space& vector_space() const;

  virtual sec_tp_space& vector_space(bool xauto_access) const;

  static const std::string create_tensor_space_name(const std::string& xvector_space_name, const std::string& xname);

  virtual tensor_variance variance(bool xauto_access) const;

  virtual bool variance(int xi, bool xauto_access) const;

  void put_variance(const tensor_variance& xvariance, bool xauto_access);

  void put_variance(int xi, bool xvariance, bool xauto_access);
    
  virtual bool is_covariant(bool xauto_access) const;
    
  virtual bool is_covariant(int xi, bool xauto_access) const;
   
  virtual void put_is_covariant(bool xauto_access);
  
  void put_is_covariant(int xi, bool xauto_access);
 
  virtual bool is_contravariant(bool xauto_access) const;
 
  virtual bool is_contravariant(int xi, bool xauto_access) const;
   
  virtual void put_is_contravariant(bool xauto_access);  
  
  void put_is_contravariant(int xi, bool xauto_access);

protected:

private:



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

public:

protected:

private:



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

public:

protected:

private:



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

public:

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

  static const std::string& static_class_name();

  virtual sec_tp* clone() const;

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

protected:

private:



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

public:

  host_type* host() const;

  virtual bool host_is_ancestor_of(const poset_state_handle* other) const;

protected:

private:



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

public:

  bool fiber_is_ancestor_of(const any* xother) const;

  bool is_ancestor_of(const any* xother) const;

  bool invariant() const;

protected:

private:


};

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

namespace sec_tp_algebra
{

SHEAF_DLL_SPEC void alt(const sec_tp& x0, sec_atp& xresult, bool xauto_access);

SHEAF_DLL_SPEC void sym(const sec_tp& x0, sec_stp& xresult, bool xauto_access);

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

SHEAF_DLL_SPEC void tensor(const sec_tp& x0, const sec_tp& x1, sec_tp& xresult,
               bool xauto_access);

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

} // namespace sec_tp_algebra

} // namespace fiber_bundle

#endif // ifndef SEC_TP_H