fiber_bundle::sec_e3_algebra Namespace Reference

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

Functions
SHEAF_DLL_SPEC void	cross (const sec_e3 &x0, const sec_e3 &x1, sec_e3 &xresult, bool xauto_access)
	The 3D Euclidean vector "cross" product of x0 with x1 (pre-allocated version). More...
SHEAF_DLL_SPEC void	cross_equal (sec_e3 &xresult, const sec_e3 &xother, bool xauto_access)
	The 3D Euclidean vector "cross" product of xresult with xother; synonym for cross(xresult, xother, xresult, xauto_access). More...

Detailed Description

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

Function Documentation

cross()

void fiber_bundle::sec_e3_algebra::cross	(	const sec_e3 &	x0,
		const sec_e3 &	x1,
		sec_e3 &	xresult,
		bool	xauto_access
	)

The 3D Euclidean vector "cross" product of x0 with x1 (pre-allocated version).

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

• x1.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

• x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)

Postcondition

• x0.is_p_form(xauto_access) == xresult.is_p_form(xauto_access)

• -unexecutable( "xresult == x0 cross x1" )

Definition at line 790 of file sec_e3.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), cross_equal(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_atp::put_is_p_form(), fiber_bundle::sec_atp::put_is_p_vector(), 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_e3_algebra::cross(), and fiber_bundle::operator<<().

cross_equal()

void fiber_bundle::sec_e3_algebra::cross_equal	(	sec_e3 &	xresult,
		const sec_e3 &	xother,
		bool	xauto_access
	)

The 3D Euclidean vector "cross" product of xresult with xother; synonym for cross(xresult, xother, xresult, xauto_access).

Precondition

• precondition_of(sec_cross(xresult, xother, xresult, xauto_access))

Postcondition

• postcondition_of(sec_cross(xresult, xother, xresult, xauto_access))

Definition at line 821 of file sec_e3.cc.

References fiber_bundle::e3_algebra::cross().

Referenced by cross(), and fields::field_e3_algebra::cross_equal().