21 #ifndef SEC_TP_SPACE_H 22 #define SEC_TP_SPACE_H 24 #ifndef SHEAF_DLL_SPEC_H 25 #include "SheafSystem/sheaf_dll_spec.h" 28 #ifndef SEC_VD_SPACE_H 29 #include "SheafSystem/sec_vd_space.h" 32 #ifndef TP_TABLE_DOFS_TYPE_H 33 #include "SheafSystem/tp_table_dofs_type.h" 38 class namespace_poset;
43 using namespace sheaf;
47 class tensor_variance;
110 using sec_vd_space::d;
115 virtual int d(
int xp,
int xdd)
const;
125 int p(
bool xauto_access)
const;
135 int dd(
bool xauto_access)
const;
145 poset_path vector_space_path(
bool xauto_access)
const;
161 virtual bool variance(
pod_index_type xmbr_id,
int xi,
bool xauto_access)
const;
167 bool variance(
const scoped_index& xmbr_id,
int xi,
bool xauto_access)
const;
182 void put_variance(
pod_index_type xmbr_id,
int xi,
bool xvariance,
bool xauto_access);
187 void put_variance(
const scoped_index& xmbr_id,
int xi,
bool xvariance,
bool xauto_access);
200 virtual bool is_covariant(
pod_index_type xmbr_id,
bool xauto_access)
const;
205 bool is_covariant(
const scoped_index& xmbr_id,
bool xauto_access)
const;
210 virtual bool is_covariant(
pod_index_type xmbr_id,
int xi,
bool xauto_access)
const;
215 bool is_covariant(
const scoped_index& xmbr_id,
int xi,
bool xauto_access)
const;
220 virtual void put_is_covariant(
pod_index_type xmbr_id,
bool xauto_access);
225 void put_is_covariant(
const scoped_index& xmbr_id,
bool xauto_access);
230 void put_is_covariant(
pod_index_type xmbr_id,
int xi,
bool xauto_access);
235 void put_is_covariant(
const scoped_index& xmbr_id,
int xi,
bool xauto_access);
240 virtual bool is_contravariant(
pod_index_type xmbr_id,
bool xauto_access)
const;
245 bool is_contravariant(
const scoped_index& xmbr_id,
bool xauto_access)
const;
250 virtual bool is_contravariant(
pod_index_type xmbr_id,
int xi,
bool xauto_access)
const;
255 bool is_contravariant(
const scoped_index& xmbr_id,
int xi,
bool xauto_access)
const;
260 virtual void put_is_contravariant(
pod_index_type xmbr_id,
bool xauto_access);
265 void put_is_contravariant(
const scoped_index& xmbr_id,
bool xauto_access);
270 void put_is_contravariant(
pod_index_type xmbr_id,
int xi,
bool xauto_access);
275 void put_is_contravariant(
const scoped_index& xmbr_id,
int xi,
bool xauto_access);
317 virtual size_type covariant_subposet_ct()
const;
352 static bool make_prototype();
372 virtual const char* class_name()
const;
418 virtual bool is_ancestor_of(
const any* xother)
const;
429 virtual bool invariant()
const;
443 #endif // SEC_TP_SPACE_H The "type" of a tensor; specifies the degree and the co- or contra-variance for each index of a tenso...
The default name space; a poset which contains other posets as members.
The standard fiber bundles name space; extends the standard sheaves namespace by defining base space...
poset_type
Identifiers for poset types.
A client handle for a general, abstract partially order set.
A path defined by a poset name and a member name separated by a forward slash ('/'). For example: "cell_definitions/triangle".
An abstract vector section space of dimension d.
sec_tp_space & operator=(const poset_state_handle &xother)
Assignment operator; disabled.
A section of a bundle with fiber type at1.
A general tensor of "degree" p and given "variance" over an abstract vector space.
Abstract base class with useful features for all objects.
An abstract tensor section space of degree p.
An index within the external ("client") scope of a given id space.
unsigned long size_type
An unsigned integral type used to represent sizes and capacities.
tp_table_dofs_type table_dofs_type
The table dofs type defined by the standard schema.
sec_at1 vector_space_type
The type of vector sections that form the domain of tensor sections of this type. ...
Table dofs type for class tp.
int_type pod_index_type
The plain old data index type.
sec_tp member_type
The type of member associated with this space.
Namespace for the sheaves component of the sheaf system.
tp fiber_type
The fiber type.
sec_tp_space(const sec_tp_space &xother)
Copy constructor; disabled.
Namespace for the fiber_bundles component of the sheaf system.
A section of a bundle with fiber type tp.