fiber_bundle::tp_lite Class Reference

A general tensor of degree p over an abstract vector space (volatile version). Volatile version does not support tensor type ("variance"); see further comments in class tp. More...

#include <tp.h>

Inheritance diagram for fiber_bundle::tp_lite:

TENSOR ALGEBRA (TP) FACET OF CLASS TP_LITE
enum	static_const_int { P = -1 }
	The degree of this tensor space. More...
typedef tp_table_dofs_type	table_dofs_type
	The type of the table dofs. More...
typedef vd_lite	vector_space_type
	Type of underlying vector space. More...
	tp_lite ()
	Default constructor. More...
	tp_lite (const tp_lite &xother)
	Copy constructor. More...
tp_lite &	operator= (const tp_lite &xother)
	Assignment operator. More...
virtual	~tp_lite ()
	Destructor. More...
	tp_lite (const row_dofs_type &xrow_dofs)
	Creates a new instance with row dofs xrow_dofs. More...
tp_lite &	operator= (const row_dofs_type &xrow_dofs)
	Assignment (from row_dofs_type) operator. More...
virtual int	p () const
	The degree of the tensor; the sum of the contravariant and covariant degrees. More...
virtual int	dd () const
	Dimension of the underlying vector space. More...
virtual pod_index_type	vector_space_index () const
	Index of the underlying vector space. More...
table_dofs_type	table_dofs () const
	The table dofs. More...

VECTOR ALGEBRA (VD) FACET OF CLASS TP_LITE
virtual int	d () const
	Dimension of this as a vector space. More...

ABSTRACT POSET MEMBER FACET OF CLASS TP_LITE
virtual const std::string &	class_name () const
	The name of this class. More...
virtual tp_lite *	clone () const
	Virtual constructor, makes a new instance of the same type as this. More...
static const std::string &	static_class_name ()
	The name of this class. More...

ANY FACET OF CLASS TP_LITE
virtual bool	is_ancestor_of (const any_lite &xother) const
	Conformance test; true if other conforms to this. More...
bool	invariant () const
	Class invariant. More...

Additional Inherited Members
Public Types inherited from fiber_bundle::vd_lite
typedef vd_dof_type	dof_type
	The type of the degrees of freedom. More...
typedef vd_value_type	value_type
	The type of component in the fiber; the scalar type in the fiber vector space. More...
typedef vd_table_dofs_type	table_dofs_type
	The type of the table dofs. More...
typedef vd_row_dofs_type< double >	row_dofs_type
	The type of the row dofs. More...
Public Types inherited from fiber_bundle::tuple_lite
typedef tuple_table_dofs_type	table_dofs_type
	The type of the table dofs. More...
Public Types inherited from fiber_bundle::any_lite
typedef any_lite	volatile_type
	The associated volatile type. More...
Public Member Functions inherited from fiber_bundle::vd_lite
	vd_lite ()
	Default constructor. More...
	vd_lite (const vd_lite &xother)
	Copy constructor. More...
vd_lite &	operator= (const vd_lite &xother)
	Copy assignment operator. More...
bool	operator== (const vd_lite &xother) const
	True if this has the same components as xother. More...
virtual	~vd_lite ()
	Destructor. More...
	vd_lite (const row_dofs_type &xrow_dofs)
	Creates a new instance with row dofs xrow_dofs. More...
vd_lite &	operator= (const row_dofs_type &xrow_dofs)
	Row_dofs_type assignment operator. More...
value_type	component (int xindex) const
	The xindex-th component. More...
void	put_component (int xindex, value_type xcomp)
	Set the xindex-th component to xcomp. More...
virtual void	components (dof_type xresult[], int comps_dimension) const
	The values of all the components (preallocated version). More...
virtual void	put_components (const dof_type xcomps[], int xcomps_dimension)
	Set values of all the components to the values in xcomps. More...
vd_lite &	operator= (const value_type &xvalue)
	Value_type assignment operator; sets all components to xvalue. More...
bool	operator== (const value_type &xvalue) const
	Equality comparison to scalar; true if and only if all components == xvalue. Especially useful for comparison to 0.0. More...
virtual value_type &	operator[] (int xindex)
	The value of the component corresponding to xindex (non const version). More...
virtual const value_type &	operator[] (int xindex) const
	The value of the component corresponding to xindex (const version). More...
virtual const tp_lite &	tp_prototype (int xp) const
	Virtual constructor for general tensors of degree xp over this vector space. More...
virtual const atp_lite &	atp_prototype (int xp) const
	Prototype for antisymmetric tensors of degree xp over this vector space. More...
virtual const stp_lite &	stp_prototype (int xp) const
	Prototype for symmetric tensors of degree xp over this vector space. More...
virtual int	factor_ct () const
	Number of factors (components) in tuple. More...
table_dofs_type	table_dofs () const
	The table dofs. More...
bool	invariant () const
	Class invariant. More...
Public Member Functions inherited from fiber_bundle::tuple_lite
	tuple_lite ()
	Default constructor. More...
	tuple_lite (const tuple_lite &xother)
	Copy constructor. More...
tuple_lite &	operator= (const tuple_lite &xother)
	Assignment operator. More...
virtual	~tuple_lite ()
	Destructor. More...
table_dofs_type	table_dofs () const
	The table dofs. More...
bool	invariant () const
	Class invariant. More...
Public Member Functions inherited from fiber_bundle::any_lite
virtual	~any_lite ()
	Destructor. More...
bool	is_same_type (const any_lite &xother) const
	True if other is the same type as this. More...
bool	invariant () const
	Class invariant, intended to be redefined in each descendant. More...
bool	invariant_check () const
	True if invariant checking is enabled. More...
void	enable_invariant_check () const
	Enable invariant checking. More...
void	disable_invariant_check () const
	Disable invariant check. Intended for preventing recursive calls to invariant and for suppressing invariant checking during multi-phase initialization. More...
int	disable_invariance_check_request_depth () const
	Number of times disable_invariant_check has been called without matching call to enable_invariant_check. More...
virtual void *	row_dofs ()
	The row dofs for this instance (mutable version). More...
virtual const void *	row_dofs () const
	The row dofs for this instance (const version). More...
Static Public Member Functions inherited from fiber_bundle::vd_lite
static const tp_lite &	static_tp_prototype (int xp)
	Static prototype for general tensors of degree xp over this vector space. More...
static const atp_lite &	static_atp_prototype (int xp)
	Static prototype for antisymmetric tensors of degree xp over this vector space. More...
static const stp_lite &	static_stp_prototype (int xp)
	Static prototype for symmetric tensors of degree xp over this vector space. More...
static const std::string &	static_class_name ()
	The name of this class. More...
Static Public Member Functions inherited from fiber_bundle::tuple_lite
static const std::string &	static_class_name ()
	The name of this class. More...
Static Public Member Functions inherited from fiber_bundle::any_lite
static const std::string &	static_class_name ()
	The name of this class. More...
Protected Member Functions inherited from fiber_bundle::any_lite
	any_lite ()
	Default constructor. More...

Detailed Description

A general tensor of degree p over an abstract vector space (volatile version). Volatile version does not support tensor type ("variance"); see further comments in class tp.

Definition at line 59 of file tp.h.

Member Typedef Documentation

table_dofs_type

typedef tp_table_dofs_type fiber_bundle::tp_lite::table_dofs_type

The type of the table dofs.

Definition at line 71 of file tp.h.

vector_space_type

typedef vd_lite fiber_bundle::tp_lite::vector_space_type

Type of underlying vector space.

Issue:

we may need to move this up to vd

Definition at line 77 of file tp.h.

Member Enumeration Documentation

static_const_int

enum fiber_bundle::tp_lite::static_const_int

The degree of this tensor space.

Hack:

Inline initialization of static const integral data members causes link error in MSC++; use enum instead.

Definition at line 84 of file tp.h.

Constructor & Destructor Documentation

tp_lite() [1/3]

fiber_bundle::tp_lite::tp_lite

(

)

Default constructor.

Postcondition

• invariant()

Definition at line 44 of file tp.cc.

Referenced by ~tp_lite().

tp_lite() [2/3]

fiber_bundle::tp_lite::tp_lite

(

const tp_lite &

xother

)

Copy constructor.

Postcondition

• invariant()

Definition at line 59 of file tp.cc.

References operator=().

~tp_lite()

fiber_bundle::tp_lite::~tp_lite ( )

virtual

Destructor.

Definition at line 95 of file tp.cc.

References tp_lite().

Referenced by operator=().

tp_lite() [3/3]

fiber_bundle::tp_lite::tp_lite

(

const row_dofs_type &

xrow_dofs

)

Creates a new instance with row dofs xrow_dofs.

Postcondition

• invariant()

Definition at line 109 of file tp.cc.

References operator=().

Member Function Documentation

class_name()

const std::string & fiber_bundle::tp_lite::class_name ( ) const

virtual

The name of this class.

Postcondition

• !result.empty()

Reimplemented from fiber_bundle::vd_lite.

Reimplemented in fiber_bundle::e3_lite, fiber_bundle::met_e3_lite, fiber_bundle::t2_e3_lite, fiber_bundle::met_e2_lite, fiber_bundle::t2_e2_lite, fiber_bundle::t4_e3_lite, fiber_bundle::st2_e3_lite, fiber_bundle::st2_e2_lite, fiber_bundle::at2_e3_lite, fiber_bundle::at0_lite, fiber_bundle::at2_e2_lite, fiber_bundle::e4_lite, fiber_bundle::e2_lite, fiber_bundle::t3_e3_lite, fiber_bundle::e1_lite, fiber_bundle::met_e1_lite, fiber_bundle::st4_e3_lite, fiber_bundle::t4_e2_lite, fiber_bundle::st4_e2_lite, fiber_bundle::at3_e3_lite, fiber_bundle::st3_e3_lite, fiber_bundle::st2_lite, fiber_bundle::at2_lite, fiber_bundle::at3_lite, fiber_bundle::st3_lite, fiber_bundle::st4_lite, fiber_bundle::t2_lite, fiber_bundle::t4_lite, fiber_bundle::t3_lite, fiber_bundle::met_ed_lite, fiber_bundle::at1_lite, fiber_bundle::ed_lite, fiber_bundle::met_lite, fiber_bundle::atp_lite, and fiber_bundle::stp_lite.

Definition at line 302 of file tp.cc.

References static_class_name().

Referenced by d().

clone()

fiber_bundle::tp_lite * fiber_bundle::tp_lite::clone ( ) const

virtual

Virtual constructor, makes a new instance of the same type as this.

Postcondition

• result != 0

• is_same_type(*result)

Reimplemented from fiber_bundle::vd_lite.

Reimplemented in fiber_bundle::e3_lite, fiber_bundle::met_e3_lite, fiber_bundle::t2_e3_lite, fiber_bundle::met_e2_lite, fiber_bundle::t2_e2_lite, fiber_bundle::t4_e3_lite, fiber_bundle::st2_e3_lite, fiber_bundle::st2_e2_lite, fiber_bundle::at2_e3_lite, fiber_bundle::at0_lite, fiber_bundle::at2_e2_lite, fiber_bundle::e4_lite, fiber_bundle::e2_lite, fiber_bundle::t3_e3_lite, fiber_bundle::e1_lite, fiber_bundle::met_e1_lite, fiber_bundle::st4_e3_lite, fiber_bundle::t4_e2_lite, fiber_bundle::st4_e2_lite, fiber_bundle::at3_e3_lite, fiber_bundle::st3_e3_lite, fiber_bundle::st2_lite, fiber_bundle::at2_lite, fiber_bundle::at3_lite, fiber_bundle::st3_lite, fiber_bundle::st4_lite, fiber_bundle::t2_lite, fiber_bundle::t4_lite, fiber_bundle::t3_lite, fiber_bundle::met_ed_lite, fiber_bundle::at1_lite, fiber_bundle::ed_lite, fiber_bundle::met_lite, fiber_bundle::atp_lite, and fiber_bundle::stp_lite.

Definition at line 340 of file tp.cc.

Referenced by static_class_name().

d()

int fiber_bundle::tp_lite::d ( ) const

virtual

Dimension of this as a vector space.

Postcondition

• invariant()

Reimplemented from fiber_bundle::vd_lite.

Reimplemented in fiber_bundle::t2_lite, fiber_bundle::t3_lite, fiber_bundle::t4_lite, fiber_bundle::atp_lite, and fiber_bundle::stp_lite.

Definition at line 256 of file tp.cc.

References class_name(), and fiber_bundle::sec_at0_algebra::pow().

Referenced by table_dofs().

dd()

int fiber_bundle::tp_lite::dd ( ) const

virtual

Dimension of the underlying vector space.

Postcondition

• invariant()

• result == 0

Reimplemented in fiber_bundle::met_e3_lite, fiber_bundle::t2_e3_lite, fiber_bundle::met_e2_lite, fiber_bundle::t2_e2_lite, fiber_bundle::t4_e3_lite, fiber_bundle::st2_e3_lite, fiber_bundle::st2_e2_lite, fiber_bundle::at2_e3_lite, fiber_bundle::at2_e2_lite, fiber_bundle::at0_lite, fiber_bundle::t3_e3_lite, fiber_bundle::met_e1_lite, fiber_bundle::e3_lite, fiber_bundle::st4_e3_lite, fiber_bundle::e4_lite, fiber_bundle::t4_e2_lite, fiber_bundle::e1_lite, fiber_bundle::e2_lite, fiber_bundle::st4_e2_lite, fiber_bundle::at3_e3_lite, and fiber_bundle::st3_e3_lite.

Definition at line 166 of file tp.cc.

References vector_space_index().

Referenced by fiber_bundle::tp_algebra::alt(), fiber_bundle::tp_algebra::contract(), fiber_bundle::met_algebra::lower(), p(), fiber_bundle::met_algebra::raise(), fiber_bundle::tp_algebra::sym(), fiber_bundle::stp_algebra::symmetric_product(), fiber_bundle::tp_algebra::tensor(), fiber_bundle::st2_algebra::trace(), and fiber_bundle::atp_algebra::wedge().

invariant()

bool fiber_bundle::tp_lite::invariant

(

)

const

Class invariant.

Invariant

• vd_lite::invariant()

Definition at line 392 of file tp.cc.

References fiber_bundle::tp::standard_schema_path().

Referenced by is_ancestor_of().

is_ancestor_of()

bool fiber_bundle::tp_lite::is_ancestor_of ( const any_lite &  xother ) const

virtual

Conformance test; true if other conforms to this.

Precondition

• &xother != 0

Reimplemented from fiber_bundle::vd_lite.

Reimplemented in fiber_bundle::e3_lite, fiber_bundle::met_e3_lite, fiber_bundle::t2_e3_lite, fiber_bundle::met_e2_lite, fiber_bundle::t2_e2_lite, fiber_bundle::t4_e3_lite, fiber_bundle::st2_e3_lite, fiber_bundle::st2_e2_lite, fiber_bundle::at2_e3_lite, fiber_bundle::at0_lite, fiber_bundle::at2_e2_lite, fiber_bundle::e4_lite, fiber_bundle::e2_lite, fiber_bundle::t3_e3_lite, fiber_bundle::e1_lite, fiber_bundle::met_e1_lite, fiber_bundle::st4_e3_lite, fiber_bundle::t4_e2_lite, fiber_bundle::st4_e2_lite, fiber_bundle::at3_e3_lite, fiber_bundle::st3_e3_lite, fiber_bundle::st2_lite, fiber_bundle::at2_lite, fiber_bundle::at3_lite, fiber_bundle::st3_lite, fiber_bundle::st4_lite, fiber_bundle::t2_lite, fiber_bundle::t4_lite, fiber_bundle::t3_lite, fiber_bundle::met_ed_lite, fiber_bundle::at1_lite, fiber_bundle::ed_lite, fiber_bundle::met_lite, fiber_bundle::atp_lite, and fiber_bundle::stp_lite.

Definition at line 373 of file tp.cc.

References invariant().

operator=() [1/2]

fiber_bundle::tp_lite & fiber_bundle::tp_lite::operator=

(

const tp_lite &

xother

)

Assignment operator.

Postcondition

• invariant()

Definition at line 76 of file tp.cc.

References ~tp_lite().

Referenced by tp_lite().

operator=() [2/2]

fiber_bundle::tp_lite & fiber_bundle::tp_lite::operator=

(

const row_dofs_type &

xrow_dofs

)

Assignment (from row_dofs_type) operator.

Definition at line 126 of file tp.cc.

References p().

p()

int fiber_bundle::tp_lite::p ( ) const

virtual

The degree of the tensor; the sum of the contravariant and covariant degrees.

Postcondition

• invariant()

• result == 0

Reimplemented in fiber_bundle::at0_lite, fiber_bundle::at2_lite, fiber_bundle::st2_lite, fiber_bundle::at3_lite, fiber_bundle::st3_lite, fiber_bundle::st4_lite, fiber_bundle::t2_lite, fiber_bundle::at1_lite, fiber_bundle::t3_lite, and fiber_bundle::t4_lite.

Definition at line 146 of file tp.cc.

References dd().

Referenced by fiber_bundle::tp_algebra::contract(), operator=(), fiber_bundle::stp_algebra::symmetric_product(), fiber_bundle::tp_algebra::tensor(), and fiber_bundle::atp_algebra::wedge().

static_class_name()

const std::string & fiber_bundle::tp_lite::static_class_name ( )

static

The name of this class.

Postcondition

• !result.empty()

Definition at line 321 of file tp.cc.

References clone().

Referenced by class_name().

table_dofs()

fiber_bundle::tp_lite::table_dofs_type fiber_bundle::tp_lite::table_dofs

(

)

const

The table dofs.

Issue:

Where do these c_strings get deleted?

Definition at line 206 of file tp.cc.

References d().

Referenced by vector_space_index().

vector_space_index()

sheaf::pod_index_type fiber_bundle::tp_lite::vector_space_index ( ) const

virtual

Index of the underlying vector space.

Postcondition

• invariant()

• result == 0

Definition at line 186 of file tp.cc.

References table_dofs().

Referenced by dd().

---

The documentation for this class was generated from the following files:

• tp.h
• tp.cc