fiber_bundle::sec_jcb_algebra Namespace Reference

Namespace containing the algrebra functions for a a section of a fiber bundle with a fiber type jcb. More...

Functions
SHEAF_DLL_SPEC void	push (const sec_jcb &xjcb, const sec_at1 &xvector, sec_at1 &xresult, bool xauto_access)
	Push vector forward (pre-allocated version). More...
SHEAF_DLL_SPEC void	pull (const sec_jcb &xjcb, const sec_at1 &xcovector, sec_at1 &xresult, bool xauto_access)
	Pull covector back (pre-allocated version). More...
SHEAF_DLL_SPEC void	push (const sec_jcb_e13 &xjcb, const sec_e1 &xvector, sec_e3 &xresult, bool xauto_access)
	Push vector forward (pre-allocated version). More...
SHEAF_DLL_SPEC void	pull (const sec_jcb_e13 &xjcb, const sec_e3 &xcovector, sec_e1 &xresult, bool xauto_access)
	Pull covector back (pre-allocated version). More...
SHEAF_DLL_SPEC void	push (const sec_jcb_e23 &xjcb, const sec_e2 &xvector, sec_e3 &xresult, bool xauto_access)
	Push vector forward (pre-allocated version). More...
SHEAF_DLL_SPEC void	pull (const sec_jcb_e23 &xjcb, const sec_e3 &xcovector, sec_e2 &xresult, bool xauto_access)
	Pull covector back (pre-allocated version). More...
SHEAF_DLL_SPEC void	push (const sec_jcb_e33 &xjcb, const sec_e3 &xvector, sec_e3 &xresult, bool xauto_access)
	Push vector forward (pre-allocated version). More...
SHEAF_DLL_SPEC void	pull (const sec_jcb_e33 &xjcb, const sec_e3 &xcovector, sec_e3 &xresult, bool xauto_access)
	Pull covector back (pre-allocated version). More...

Detailed Description

Namespace containing the algrebra functions for a a section of a fiber bundle with a fiber type jcb.

Function Documentation

pull() [1/4]

void fiber_bundle::sec_jcb_algebra::pull	(	const sec_jcb_e33 &	xjcb,
		const sec_e3 &	xcovector,
		sec_e3 &	xresult,
		bool	xauto_access
	)

Pull covector back (pre-allocated version).

Precondition

• xjcb.state_is_auto_read_accessible(xauto_access)

• xcovector.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

Definition at line 760 of file sec_jcb_e33.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

pull() [2/4]

void fiber_bundle::sec_jcb_algebra::pull	(	const sec_jcb_e13 &	xjcb,
		const sec_e3 &	xcovector,
		sec_e1 &	xresult,
		bool	xauto_access
	)

Pull covector back (pre-allocated version).

Precondition

• xjcb.state_is_auto_read_accessible(xauto_access)

• xcovector.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

Definition at line 772 of file sec_jcb_e13.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

pull() [3/4]

void fiber_bundle::sec_jcb_algebra::pull	(	const sec_jcb_e23 &	xjcb,
		const sec_e3 &	xcovector,
		sec_e2 &	xresult,
		bool	xauto_access
	)

Pull covector back (pre-allocated version).

Precondition

• xjcb.state_is_auto_read_accessible(xauto_access)

• xcovector.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

Definition at line 767 of file sec_jcb_e23.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

pull() [4/4]

void fiber_bundle::sec_jcb_algebra::pull	(	const sec_jcb &	xjcb,
		const sec_at1 &	xcovector,
		sec_at1 &	xresult,
		bool	xauto_access
	)

Pull covector back (pre-allocated version).

Precondition

• xjcb.state_is_auto_read_accessible(xauto_access)

• xcovector.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

• xcovector.is_covariant(0, xauto_access)

• xresult.is_covariant(0, xauto_access)

Postcondition

• xresult.is_covariant(0, xauto_access)

Definition at line 901 of file sec_jcb.cc.

References fiber_bundle::sec_tp::is_covariant(), fiber_bundle::jcb_algebra::pull(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

Referenced by fields::field_jcb_algebra::pull(), and push().

push() [1/4]

void fiber_bundle::sec_jcb_algebra::push	(	const sec_jcb_e33 &	xjcb,
		const sec_e3 &	xvector,
		sec_e3 &	xresult,
		bool	xauto_access
	)

Push vector forward (pre-allocated version).

Precondition

• xjcb.state_is_auto_read_accessible(xauto_access)

• xvector.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

Definition at line 737 of file sec_jcb_e33.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), pull(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

push() [2/4]

void fiber_bundle::sec_jcb_algebra::push	(	const sec_jcb_e13 &	xjcb,
		const sec_e1 &	xvector,
		sec_e3 &	xresult,
		bool	xauto_access
	)

Push vector forward (pre-allocated version).

Precondition

• xjcb.state_is_auto_read_accessible(xauto_access)

• xvector.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

Definition at line 749 of file sec_jcb_e13.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), pull(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

push() [3/4]

void fiber_bundle::sec_jcb_algebra::push	(	const sec_jcb_e23 &	xjcb,
		const sec_e2 &	xvector,
		sec_e3 &	xresult,
		bool	xauto_access
	)

Push vector forward (pre-allocated version).

Precondition

• xjcb.state_is_auto_read_accessible(xauto_access)

• xvector.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

Definition at line 744 of file sec_jcb_e23.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), pull(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

push() [4/4]

void fiber_bundle::sec_jcb_algebra::push	(	const sec_jcb &	xjcb,
		const sec_at1 &	xvector,
		sec_at1 &	xresult,
		bool	xauto_access
	)

Push vector forward (pre-allocated version).

Precondition

• xjcb.state_is_auto_read_accessible(xauto_access)

• xvector.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

• xvector.is_contravariant(0, xauto_access)

• xresult.is_contravariant(0, xauto_access)

Postcondition

• xresult.is_contravariant(0, xauto_access)

Definition at line 847 of file sec_jcb.cc.

References fiber_bundle::sec_tp::is_contravariant(), pull(), fiber_bundle::jcb_algebra::push(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

Referenced by fiber_bundle::sec_jcb_e13::invariant(), fiber_bundle::sec_jcb_e33::invariant(), fiber_bundle::sec_jcb_e23::invariant(), fields::field_jcb_algebra::push(), and fiber_bundle::sec_jcb::set_comp2().