fiber_bundle::sec_vd_algebra Namespace Reference

Namespace containing the algrebra functions for a a section of a fiber bundle with a d-dimensional vector space fiber. More...

Functions
SHEAF_DLL_SPEC void	add (const sec_vd &x0, const sec_vd &x1, sec_vd &xresult, bool xauto_access)
	x0 add x1 (pre-allocated version). More...
SHEAF_DLL_SPEC void	add_equal (sec_vd &xresult, const sec_vd &xother, bool xauto_access)
	x0 add_equal x1 (self-allocated version); synonym for add(xresult, xother, xresult, xauto_access). More...
SHEAF_DLL_SPEC void	subtract (const sec_vd &x0, const sec_vd &x1, sec_vd &xresult, bool xauto_access)
	x0 subtract x1 (pre-allocated version). More...
SHEAF_DLL_SPEC void	subtract_equal (sec_vd &xresult, const sec_vd &xother, bool xauto_access)
	x0 subtract_equal x1 (self-allocated version); synonym for subtract(xresult, xother, xresult, xauto_access). More...
SHEAF_DLL_SPEC void	multiply (const sec_vd &x0, const sec_at0 &x1, sec_vd &xresult, bool xauto_access)
	x0 multiplied by x1 (pre-allocated version). More...
SHEAF_DLL_SPEC void	multiply_equal (sec_vd &xresult, const sec_at0 &xother, bool xauto_access)
	xresult multiply_equal xresult (pre-allocated version); synonym for multiply(xresult, xother, xresult, xauto_access). More...
SHEAF_DLL_SPEC void	multiply (const sec_vd &x0, const vd_value_type &x1, sec_vd &xresult, bool xauto_access)
	x0 multiplied by x1 (a constant) (pre-allocated version). More...
SHEAF_DLL_SPEC void	multiply_equal (sec_vd &xresult, const vd_value_type &xother, bool xauto_access)
	xresult multiply_equal xresult (pre-allocated version); synonym for multiply(xresult, xother, xresult, xauto_access). More...
SHEAF_DLL_SPEC void	divide (const sec_vd &x0, const sec_at0 &x1, sec_vd &xresult, bool xauto_access)
	x0 divided by x1 (pre-allocated version). More...
SHEAF_DLL_SPEC void	divide_equal (sec_vd &xresult, const sec_at0 &xother, bool xauto_access)
	xresult divide_equal xresult (pre-allocated version); synonym for divide(xresult, xother, xresult, xauto_access). More...
SHEAF_DLL_SPEC void	divide (const sec_vd &x0, const vd_value_type &x1, sec_vd &xresult, bool xauto_access)
	x0 divided by x1 (a constant) (pre-allocated version). More...
SHEAF_DLL_SPEC void	divide_equal (sec_vd &xresult, const vd_value_type &xother, bool xauto_access)
	xresult divide_equal xresult (pre-allocated version); synonym for divide(xresult, xresult, xresult, xauto_access). More...
SHEAF_DLL_SPEC void	contract (const sec_vd &xvector, const sec_vd &xcovector, sec_at0 &xresult, bool xauto_access)
	Contraction of vector xvector on covector xcovector (pre-allocated version). More...
SHEAF_DLL_SPEC void	max (const sec_vd &x0, vd_lite &xresult, bool xauto_access)
	Maximum (pre-allocated version). More...
SHEAF_DLL_SPEC vd_lite *	max (const sec_vd &x0, bool xauto_access)
	Maximum (auto-allocated version). More...
SHEAF_DLL_SPEC void	min (const sec_vd &x0, vd_lite &xresult, bool xauto_access)
	Minimum (pre-allocated version). More...
SHEAF_DLL_SPEC vd_lite *	min (const sec_vd &x0, bool xauto_access)
	Minimum (auto-allocated version). More...
SHEAF_DLL_SPEC void	extrema (const sec_vd &x0, vd_lite &xmin, vd_lite &xmax, bool xauto_access)
	Extrema (pre-allocated version). More...
SHEAF_DLL_SPEC void	extrema (const sec_vd &x0, sec_vd_value_type xmin[], size_type xmin_ub, sec_vd_value_type xmax[], size_type xmax_ub)
	$$SCRIBBLE This function is called from point_locator::update_domain in Shell_components. We continue to provide it here until we can eliminate it. More...
SHEAF_DLL_SPEC void	assign (sec_vd &x0, const sec_vd &x1, bool xauto_access)
	Assignment to another section; makes x0 have the same value as x1 on the meet of their bases. More...
SHEAF_DLL_SPEC void	assign (sec_vd &x0, const vd_lite &x1, bool xauto_access)
	Assignment to a constant fiber. More...
SHEAF_DLL_SPEC void	assign (sec_vd &x0, const vd_value_type &xvalue, bool xauto_access)
	Assignment to a scalar constant. More...
template<typename S0 , typename S1 , typename SR , typename F >
void	binary_op (const S0 &x0, const S1 &x1, SR &xresult, F xfunctor, bool xauto_access)
	Binary operator. More...
template<typename S0 , typename SR , typename F >
void	binary_op (const S0 &x0, const vd_value_type &x1, SR &xresult, F xfunctor, bool xauto_access)
	Binary operator. More...
template<typename S0 , typename SR , typename F >
void	unary_op (const S0 &x0, SR &xresult, F xfunctor, bool xauto_access)
	Unary operator. More...
template<typename S0 , typename F >
void	unary_op (S0 &x0, const vd_value_type &x1, F xfunctor, bool xauto_access)
	Unary operator. More...
template<typename S0 , typename SR , typename F >
void	unary_op (const S0 &x0, SR &xresult1, SR &xresult2, F xfunctor, bool xauto_access)
	Unary operator (has 2 return sections). More...

Detailed Description

Namespace containing the algrebra functions for a a section of a fiber bundle with a d-dimensional vector space fiber.

Function Documentation

add()

void fiber_bundle::sec_vd_algebra::add	(	const sec_vd &	x0,
		const sec_vd &	x1,
		sec_vd &	xresult,
		bool	xauto_access
	)

x0 add 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.d(xauto_access) >= xresult.d(xauto_access)

• x1.d(xauto_access) >= xresult.d(xauto_access)

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

Postcondition

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

• -unexecutable( "for_all: i, 0, xresult.d(),\ xresult.component(i)==old_x0.component(i)+old_x1.component(i)" )

Definition at line 1536 of file sec_vd.cc.

References binary_op(), fiber_bundle::sec_vd::d(), fiber_bundle::sec_vd::is_vector(), fiber_bundle::sec_vd::put_is_covector(), fiber_bundle::sec_vd::put_is_vector(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and subtract().

Referenced by fields::field_vd_algebra::add(), and fiber_bundle::deep_size().

add_equal()

void fiber_bundle::sec_vd_algebra::add_equal	(	sec_vd &	xresult,
		const sec_vd &	xother,
		bool	xauto_access
	)

x0 add_equal x1 (self-allocated version); synonym for add(xresult, xother, xresult, xauto_access).

Precondition

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

Postcondition

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

Definition at line 1711 of file sec_vd.cc.

References fiber_bundle::vd_algebra::add(), and subtract_equal().

Referenced by divide().

assign() [1/3]

void fiber_bundle::sec_vd_algebra::assign	(	sec_vd &	x0,
		const sec_vd &	x1,
		bool	xauto_access
	)

Assignment to another section; makes x0 have the same value as x1 on the meet of their bases.

Precondition

• x0.state_is_auto_read_write_accessible(xauto_access)

• x1.state_is_auto_read_accessible(xauto_access)

• x0.schema(xauto_access).base_space().le(&(x1.schema(xauto_access).base_space()))

• x0.schema(xauto_access).same_discretization(x1.schema(xauto_access))

Definition at line 2235 of file sec_vd.cc.

References fiber_bundle::section_space_schema_member::base_space(), fiber_bundle::tuple::clone(), fiber_bundle::section_space_schema_member::discretization_id_space(), fiber_bundle::sec_vd::fiber_prototype(), fiber_bundle::sec_vd::get_fiber(), sheaf::index_space_handle::get_iterator(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), sheaf::index_space_iterator::is_done(), sheaf::abstract_poset_member::le(), sheaf::index_space_iterator::next(), sheaf::index_space_iterator::pod(), sheaf::scoped_index::pod(), fiber_bundle::sec_vd::put_fiber(), sheaf::poset_component::release_access(), sheaf::index_space_handle::release_iterator(), fiber_bundle::section_space_schema_member::same_discretization(), fiber_bundle::sec_rep_space_member::schema(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

Referenced by assign(), extrema(), and fields::average_base_space_map_push_action::initialize().

assign() [2/3]

void fiber_bundle::sec_vd_algebra::assign	(	sec_vd &	x0,
		const vd_lite &	x1,
		bool	xauto_access
	)

Assignment to a constant fiber.

Precondition

• x0.state_is_auto_read_write_accessible(xauto_access)

Definition at line 2291 of file sec_vd.cc.

References assign(), fiber_bundle::section_space_schema_member::discretization_id_space(), sheaf::index_space_handle::get_iterator(), sheaf::poset_component::get_read_write_access(), sheaf::index_space_iterator::is_done(), sheaf::index_space_iterator::next(), sheaf::index_space_iterator::pod(), fiber_bundle::sec_vd::put_fiber(), sheaf::poset_component::release_access(), sheaf::index_space_handle::release_iterator(), fiber_bundle::sec_rep_space_member::schema(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

assign() [3/3]

void fiber_bundle::sec_vd_algebra::assign	(	sec_vd &	x0,
		const vd_value_type &	xvalue,
		bool	xauto_access
	)

Assignment to a scalar constant.

Precondition

• x0.state_is_auto_read_write_accessible(xauto_access)

Definition at line 2331 of file sec_vd.cc.

References fiber_bundle::sec_rep_space_member::dof_map(), sheaf::index_space_handle::get_iterator(), sheaf::poset_component::get_read_write_access(), sheaf::index_space_iterator::index(), sheaf::index_space_iterator::is_done(), sheaf::index_space_iterator::next(), fiber_bundle::section_dof_map::put_dof(), sheaf::poset_component::release_access(), sheaf::index_space_handle::release_iterator(), sheaf::schema_poset_member::row_dof_id_space(), fiber_bundle::sec_rep_space_member::schema(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

binary_op() [1/2]

template<typename S0 , typename S1 , typename SR , typename F >

void fiber_bundle::sec_vd_algebra::binary_op	(	const S0 &	x0,
		const S1 &	x1,
		SR &	xresult,
		F	xfunctor,
		bool	xauto_access
	)

Binary operator.

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)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ (const_cast<S1&>(x1)).discretization_ct(xauto_access)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ xresult.discretization_ct(xauto_access)

Issue:

How do we ensure that this dof type is the same as that of the fibers?

$$SCRIBBLE: Changes to the get/put dofs interface are planned and we will have to modify the following when the changes are in place.

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)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ (const_cast<S1&>(x1)).discretization_ct(xauto_access)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ xresult.discretization_ct(xauto_access)

Issue:

How do we ensure that this dof type is the same as that of the fibers?

$$SCRIBBLE: Changes to the get/put dofs interface are planned and we will have to modify the following when the changes are in place.

Definition at line 48 of file sec_vd.impl.h.

Referenced by add(), fiber_bundle::sec_at0_algebra::atan2(), contract(), fiber_bundle::sec_e3_algebra::cross(), divide(), fiber_bundle::dot(), fiber_bundle::sec_ed_algebra::dot(), fiber_bundle::sec_at0_algebra::fmod(), fiber_bundle::hook(), fiber_bundle::sec_atp_algebra::hook(), fiber_bundle::sec_at0_algebra::ldexp(), fiber_bundle::lower(), fiber_bundle::sec_met_algebra::lower(), multiply(), fiber_bundle::sec_at0_algebra::pow(), fiber_bundle::pull(), fiber_bundle::sec_jcb_algebra::pull(), fiber_bundle::push(), fiber_bundle::sec_jcb_algebra::push(), fiber_bundle::raise(), fiber_bundle::sec_met_algebra::raise(), subtract(), fiber_bundle::tensor(), fiber_bundle::sec_tp_algebra::tensor(), fiber_bundle::wedge(), and fiber_bundle::sec_atp_algebra::wedge().

binary_op() [2/2]

template<typename S0 , typename SR , typename F >

void fiber_bundle::sec_vd_algebra::binary_op	(	const S0 &	x0,
		const vd_value_type &	x1,
		SR &	xresult,
		F	xfunctor,
		bool	xauto_access
	)

Binary operator.

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ xresult.discretization_ct(xauto_access)

Issue:

How do we ensure that this dof type is the same as that of the fibers?

$$SCRIBBLE: Changes to the get/put dofs interface are planned and we will have to modify the following when the changes are in place.

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ xresult.discretization_ct(xauto_access)

Issue:

How do we ensure that this dof type is the same as that of the fibers?

$$SCRIBBLE: Changes to the get/put dofs interface are planned and we will have to modify the following when the changes are in place.

Definition at line 141 of file sec_vd.impl.h.

contract()

void fiber_bundle::sec_vd_algebra::contract	(	const sec_vd &	xvector,
		const sec_vd &	xcovector,
		sec_at0 &	xresult,
		bool	xauto_access
	)

Contraction of vector xvector on covector xcovector (pre-allocated version).

Precondition

• xvector.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_same_type(&xvector)

• xvector.is_vector(xauto_access) && xcovector.is_covector(xauto_access)

Definition at line 1826 of file sec_vd.cc.

References binary_op(), fiber_bundle::sec_vd::is_covector(), sheaf::any::is_same_type(), fiber_bundle::sec_vd::is_vector(), max(), 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_vd_algebra::contract(), and divide_equal().

divide() [1/2]

void fiber_bundle::sec_vd_algebra::divide	(	const sec_vd &	x0,
		const sec_at0 &	x1,
		sec_vd &	xresult,
		bool	xauto_access
	)

x0 divided by 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)

Postcondition

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

Definition at line 1655 of file sec_vd.cc.

References binary_op(), fiber_bundle::sec_vd::is_vector(), fiber_bundle::sec_vd::put_is_covector(), fiber_bundle::sec_vd::put_is_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_vd_algebra::divide(), and multiply().

divide() [2/2]

void fiber_bundle::sec_vd_algebra::divide	(	const sec_vd &	x0,
		const vd_value_type &	x1,
		sec_vd &	xresult,
		bool	xauto_access
	)

x0 divided by x1 (a constant) (pre-allocated version).

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

Postcondition

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

Definition at line 1682 of file sec_vd.cc.

References add_equal(), binary_op(), fiber_bundle::sec_vd::is_vector(), fiber_bundle::sec_vd::put_is_covector(), fiber_bundle::sec_vd::put_is_vector(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

divide_equal() [1/2]

void fiber_bundle::sec_vd_algebra::divide_equal	(	sec_vd &	xresult,
		const sec_at0 &	xother,
		bool	xauto_access
	)

xresult divide_equal xresult (pre-allocated version); synonym for divide(xresult, xother, xresult, xauto_access).

Precondition

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

Postcondition

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

Definition at line 1788 of file sec_vd.cc.

References fiber_bundle::vd_algebra::divide().

Referenced by multiply_equal().

divide_equal() [2/2]

void fiber_bundle::sec_vd_algebra::divide_equal	(	sec_vd &	xresult,
		const vd_value_type &	xother,
		bool	xauto_access
	)

xresult divide_equal xresult (pre-allocated version); synonym for divide(xresult, xresult, xresult, xauto_access).

Precondition

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

Postcondition

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

Definition at line 1807 of file sec_vd.cc.

References contract(), and fiber_bundle::vd_algebra::divide().

extrema() [1/2]

void fiber_bundle::sec_vd_algebra::extrema	(	const sec_vd &	x0,
		vd_lite &	xmin,
		vd_lite &	xmax,
		bool	xauto_access
	)

Extrema (pre-allocated version).

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

Definition at line 2137 of file sec_vd.cc.

References sheaf::auto_block< T, un_block_initialization_policy< T > >::assign(), assign(), sheaf::auto_block< T, un_block_initialization_policy< T > >::base(), sheaf::auto_block< T, un_block_initialization_policy< T > >::ct(), fiber_bundle::sec_rep_space_member::df(), sheaf::poset_component::get_read_access(), fiber_bundle::section_evaluator::max(), fiber_bundle::vd_algebra::max(), fiber_bundle::section_evaluator::min(), fiber_bundle::vd_lite::put_components(), sheaf::poset_component::release_access(), sheaf::auto_block< T, un_block_initialization_policy< T > >::reserve(), fiber_bundle::sec_rep_space_member::schema(), sheaf::auto_block< T, un_block_initialization_policy< T > >::set_ct(), and sheaf::read_write_monitor_handle::state_is_auto_read_accessible().

Referenced by extrema(), min(), and geometry::point_locator::update_domain().

extrema() [2/2]

void fiber_bundle::sec_vd_algebra::extrema	(	const sec_vd &	x0,
		sec_vd_value_type	xmin[],
		size_type	xmin_ub,
		sec_vd_value_type	xmax[],
		size_type	xmax_ub
	)

$$SCRIBBLE This function is called from point_locator::update_domain in Shell_components. We continue to provide it here until we can eliminate it.

Extrema (pre-allocated version).

Precondition

• x0.state_is_read_accessible()

• xmin != 0

• xmin_ub >= x0.schema().df()

• xmax != 0

• xmax_ub >= x0.schema().df()

Hack:

rep doesn't create the evaluator family, so we have to create an instance here.

Todo:

remove when rep is fixed to create eval family.

Definition at line 2059 of file sec_vd.cc.

References fiber_bundle::section_space_schema_member::df(), fiber_bundle::section_space_schema_member::discretization_id_space(), fiber_bundle::sec_rep_descriptor::evaluator_family_name(), extrema(), fiber_bundle::eval_family::extrema_are_dofs(), fiber_bundle::sec_vd::get_fiber(), sheaf::index_space_handle::get_iterator(), fiber_bundle::section_space_schema_member::host(), sheaf::index_space_iterator::is_done(), fiber_bundle::vd_algebra::max(), sheaf::poset_component::name_space(), sheaf::index_space_iterator::next(), sheaf::index_space_iterator::pod(), sheaf::index_space_handle::release_iterator(), fiber_bundle::section_space_schema_poset::rep(), fiber_bundle::sec_rep_space_member::schema(), and sheaf::read_write_monitor_handle::state_is_read_accessible().

max() [1/2]

void fiber_bundle::sec_vd_algebra::max	(	const sec_vd &	x0,
		vd_lite &	xresult,
		bool	xauto_access
	)

Maximum (pre-allocated version).

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

Definition at line 1854 of file sec_vd.cc.

References sheaf::auto_block< T, un_block_initialization_policy< T > >::assign(), sheaf::auto_block< T, un_block_initialization_policy< T > >::base(), sheaf::auto_block< T, un_block_initialization_policy< T > >::ct(), fiber_bundle::sec_rep_space_member::df(), sheaf::poset_component::get_read_access(), fiber_bundle::section_evaluator::max(), fiber_bundle::vd_algebra::max(), fiber_bundle::vd_lite::put_components(), sheaf::poset_component::release_access(), sheaf::auto_block< T, un_block_initialization_policy< T > >::reserve(), fiber_bundle::sec_rep_space_member::schema(), sheaf::auto_block< T, un_block_initialization_policy< T > >::set_ct(), and sheaf::read_write_monitor_handle::state_is_auto_read_accessible().

Referenced by contract().

max() [2/2]

fiber_bundle::vd_lite * fiber_bundle::sec_vd_algebra::max	(	const sec_vd &	x0,
		bool	xauto_access
	)

Maximum (auto-allocated version).

Precondition

• precondition_of(max(x0, *result, xauto_access))

Postcondition

• postcondition_of(max(x0, *result, xauto_access))

Definition at line 1933 of file sec_vd.cc.

References fiber_bundle::vd_algebra::max(), and min().

min() [1/2]

void fiber_bundle::sec_vd_algebra::min	(	const sec_vd &	x0,
		vd_lite &	xresult,
		bool	xauto_access
	)

Minimum (pre-allocated version).

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

Definition at line 1956 of file sec_vd.cc.

References sheaf::auto_block< T, un_block_initialization_policy< T > >::assign(), sheaf::auto_block< T, un_block_initialization_policy< T > >::base(), sheaf::auto_block< T, un_block_initialization_policy< T > >::ct(), fiber_bundle::sec_rep_space_member::df(), sheaf::poset_component::get_read_access(), fiber_bundle::section_evaluator::max(), fiber_bundle::vd_algebra::max(), fiber_bundle::vd_lite::put_components(), sheaf::poset_component::release_access(), sheaf::auto_block< T, un_block_initialization_policy< T > >::reserve(), fiber_bundle::sec_rep_space_member::schema(), sheaf::auto_block< T, un_block_initialization_policy< T > >::set_ct(), and sheaf::read_write_monitor_handle::state_is_auto_read_accessible().

Referenced by max().

min() [2/2]

fiber_bundle::vd_lite * fiber_bundle::sec_vd_algebra::min	(	const sec_vd &	x0,
		bool	xauto_access
	)

Minimum (auto-allocated version).

Precondition

• precondition_of(min(x0, *result, xauto_access))

Postcondition

• postcondition_of(min(x0, *result, xauto_access))

Definition at line 2035 of file sec_vd.cc.

References extrema(), and fiber_bundle::vd_algebra::min().

multiply() [1/2]

void fiber_bundle::sec_vd_algebra::multiply	(	const sec_vd &	x0,
		const sec_at0 &	x1,
		sec_vd &	xresult,
		bool	xauto_access
	)

x0 multiplied by 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)

Postcondition

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

Definition at line 1600 of file sec_vd.cc.

References binary_op(), fiber_bundle::sec_vd::is_vector(), fiber_bundle::sec_vd::put_is_covector(), fiber_bundle::sec_vd::put_is_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_vd_algebra::multiply(), and subtract().

multiply() [2/2]

void fiber_bundle::sec_vd_algebra::multiply	(	const sec_vd &	x0,
		const vd_value_type &	x1,
		sec_vd &	xresult,
		bool	xauto_access
	)

x0 multiplied by x1 (a constant) (pre-allocated version).

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

Postcondition

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

Definition at line 1628 of file sec_vd.cc.

References binary_op(), divide(), fiber_bundle::sec_vd::is_vector(), fiber_bundle::sec_vd::put_is_covector(), fiber_bundle::sec_vd::put_is_vector(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

multiply_equal() [1/2]

void fiber_bundle::sec_vd_algebra::multiply_equal	(	sec_vd &	xresult,
		const sec_at0 &	xother,
		bool	xauto_access
	)

xresult multiply_equal xresult (pre-allocated version); synonym for multiply(xresult, xother, xresult, xauto_access).

Precondition

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

Postcondition

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

Definition at line 1750 of file sec_vd.cc.

References fiber_bundle::vd_algebra::multiply().

Referenced by subtract_equal().

multiply_equal() [2/2]

void fiber_bundle::sec_vd_algebra::multiply_equal	(	sec_vd &	xresult,
		const vd_value_type &	xother,
		bool	xauto_access
	)

xresult multiply_equal xresult (pre-allocated version); synonym for multiply(xresult, xother, xresult, xauto_access).

Precondition

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

Postcondition

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

Definition at line 1769 of file sec_vd.cc.

References divide_equal(), and fiber_bundle::vd_algebra::multiply().

subtract()

void fiber_bundle::sec_vd_algebra::subtract	(	const sec_vd &	x0,
		const sec_vd &	x1,
		sec_vd &	xresult,
		bool	xauto_access
	)

x0 subtract 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.d(xauto_access) >= xresult.d(xauto_access)

• x1.d(xauto_access) >= xresult.d(xauto_access)

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

Postcondition

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

• -unexecutable( "for_all: i, 0, xresult.d(),\ xresult.component(i)==old_x0.component(i)-old_x1.component(i)" )

Definition at line 1568 of file sec_vd.cc.

References binary_op(), fiber_bundle::sec_vd::d(), fiber_bundle::sec_vd::is_vector(), multiply(), fiber_bundle::sec_vd::put_is_covector(), fiber_bundle::sec_vd::put_is_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 add(), and fields::field_vd_algebra::subtract().

subtract_equal()

void fiber_bundle::sec_vd_algebra::subtract_equal	(	sec_vd &	xresult,
		const sec_vd &	xother,
		bool	xauto_access
	)

x0 subtract_equal x1 (self-allocated version); synonym for subtract(xresult, xother, xresult, xauto_access).

Precondition

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

Postcondition

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

Definition at line 1731 of file sec_vd.cc.

References multiply_equal(), and fiber_bundle::vd_algebra::subtract().

Referenced by add_equal().

unary_op() [1/3]

template<typename S0 , typename SR , typename F >

void fiber_bundle::sec_vd_algebra::unary_op	(	const S0 &	x0,
		SR &	xresult,
		F	xfunctor,
		bool	xauto_access
	)

Unary operator.

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ xresult.discretization_ct(xauto_access)

• x0.state_is_auto_read_accessible(xauto_access)

• xresult.state_is_auto_read_write_accessible(xauto_access)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ xresult.discretization_ct(xauto_access)

Definition at line 224 of file sec_vd.impl.h.

Referenced by fiber_bundle::sec_at0_algebra::acos(), fiber_bundle::alt(), fiber_bundle::sec_tp_algebra::alt(), fiber_bundle::sec_at0_algebra::asin(), fiber_bundle::sec_at0_algebra::atan(), fiber_bundle::sec_at0_algebra::ceil(), fiber_bundle::contract(), fiber_bundle::sec_tp_algebra::contract(), fiber_bundle::sec_at0_algebra::cos(), fiber_bundle::sec_at0_algebra::cosh(), fiber_bundle::determinant(), fiber_bundle::sec_st2_algebra::determinant(), fiber_bundle::sec_at0_algebra::exp(), fiber_bundle::sec_at0_algebra::fabs(), fiber_bundle::sec_at0_algebra::floor(), fiber_bundle::sec_at0_algebra::frexp(), fiber_bundle::length(), fiber_bundle::sec_ed_algebra::length(), fiber_bundle::sec_at0_algebra::log(), fiber_bundle::sec_at0_algebra::log10(), fiber_bundle::sec_at0_algebra::modf(), fiber_bundle::normalize(), fiber_bundle::sec_ed_algebra::normalize(), fiber_bundle::put_length(), fiber_bundle::sec_ed_algebra::put_length(), fiber_bundle::sec_at0_algebra::sin(), fiber_bundle::sec_at0_algebra::sinh(), fiber_bundle::sec_at0_algebra::sqrt(), fiber_bundle::star(), fiber_bundle::sec_atp_algebra::star(), fiber_bundle::sym(), fiber_bundle::sec_tp_algebra::sym(), fiber_bundle::sec_at0_algebra::tan(), fiber_bundle::sec_at0_algebra::tanh(), fiber_bundle::trace(), and fiber_bundle::sec_st2_algebra::trace().

unary_op() [2/3]

template<typename S0 , typename F >

void fiber_bundle::sec_vd_algebra::unary_op	(	S0 &	x0,
		const vd_value_type &	x1,
		F	xfunctor,
		bool	xauto_access
	)

Unary operator.

Precondition

• x0.state_is_auto_read_write_accessible(xauto_access)

• x0.state_is_auto_read_write_accessible(xauto_access)

Definition at line 295 of file sec_vd.impl.h.

unary_op() [3/3]

template<typename S0 , typename SR , typename F >

void fiber_bundle::sec_vd_algebra::unary_op	(	const S0 &	x0,
		SR &	xresult1,
		SR &	xresult2,
		F	xfunctor,
		bool	xauto_access
	)

Unary operator (has 2 return sections).

Precondition

• x0.state_is_auto_read_accessible(xauto_access)

• xresult1.state_is_auto_read_write_accessible(xauto_access)

• xresult2.state_is_auto_read_write_accessible(xauto_access)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ xresult1.discretization_ct(xauto_access)

• x0.state_is_auto_read_accessible(xauto_access)

• xresult1.state_is_auto_read_write_accessible(xauto_access)

• xresult2.state_is_auto_read_write_accessible(xauto_access)

• (const_cast<S0&>(x0)).discretization_ct(xauto_access) == \ xresult1.discretization_ct(xauto_access)

Definition at line 357 of file sec_vd.impl.h.