SheafSystem  0.0.0.0
fiber_bundle::jcb_algebra Namespace Reference

Namespace containing the Jacobian algrebra functions for the fiber_bundles component of the sheaf system. More...

Functions

SHEAF_DLL_SPEC void push (const jcb &xjcb, const at1 &xvector, at1 &xresult, bool xauto_access)
 Push vector forward (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void push (const jcb_lite &xjcb, const at1_lite &xvector, at1_lite &xresult)
 Push vector forward (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC at1_litepush (const jcb_lite &xjcb, const at1_lite &xvector)
 Push vector forward (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void pull (const jcb &xjcb, const at1 &xcovector, at1 &xresult, bool xauto_access)
 Pull covector back (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void pull (const jcb_lite &xjcb, const at1_lite &xcovector, at1_lite &xresult)
 Pull covector back (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC at1_litepull (const jcb_lite &xjcb, const at1_lite &xvector)
 Pull covector back (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void push (const jcb_e13 &xjcb, const e1 &xvector, e3 &xresult, bool xauto_access)
 Push vector forward (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void push (const jcb_e13_lite &xjcb, const e1_lite &xvector, e3_lite &xresult)
 Push vector forward (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC e3_litepush (const jcb_e13_lite &xjcb, const e1_lite &xvector)
 Push vector forward (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void pull (const jcb_e13 &xjcb, const e3 &xcovector, e1 &xresult, bool xauto_access)
 Pull covector back (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void pull (const jcb_e13_lite &xjcb, const e3_lite &xcovector, e1_lite &xresult)
 Pull covector back (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC e1_litepull (const jcb_e13_lite &xjcb, const e3_lite &xcovector)
 Pull covector back (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void push (const jcb_e23 &xjcb, const e2 &xvector, e3 &xresult, bool xauto_access)
 Push vector forward (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void push (const jcb_e23_lite &xjcb, const e2_lite &xvector, e3_lite &xresult)
 Push vector forward (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC e3_litepush (const jcb_e23_lite &xjcb, const e2_lite &xvector)
 Push vector forward (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void pull (const jcb_e23 &xjcb, const e3 &xcovector, e2 &xresult, bool xauto_access)
 Pull covector back (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void pull (const jcb_e23_lite &xjcb, const e3_lite &xcovector, e2_lite &xresult)
 Pull covector back (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC e2_litepull (const jcb_e23_lite &xjcb, const e3_lite &xcovector)
 Pull covector back (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void metric (const jcb_e23_lite &xjcb, st2_e2_lite &xresult)
 Compute surface metric. More...
 
SHEAF_DLL_SPEC void symmetric_dot_push (const jcb_e23_lite &xjcb, const jcb_e23_lite &xother_jcb, st2_e2_lite &xresult)
 Transpose of xjcb times xother_jcb, symmetric part. More...
 
SHEAF_DLL_SPEC void push (const jcb_e33 &xjcb, const e3 &xvector, e3 &xresult, bool xauto_access)
 Push vector forward (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void push (const jcb_e33_lite &xjcb, const e3_lite &xvector, e3_lite &xresult)
 Push vector forward (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC e3_litepush (const jcb_e33_lite &xjcb, const e3_lite &xvector)
 Push vector forward (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void pull (const jcb_e33 &xjcb, const e3 &xcovector, e3 &xresult, bool xauto_access)
 Pull covector back (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void pull (const jcb_e33_lite &xjcb, const e3_lite &xcovector, e3_lite &xresult)
 Pull covector back (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC e3_litepull (const jcb_e33_lite &xjcb, const e3_lite &xcovector)
 Pull covector back (auto-allocated version for volatile types). More...
 

Detailed Description

Namespace containing the Jacobian algrebra functions for the fiber_bundles component of the sheaf system.

Function Documentation

◆ metric()

void fiber_bundle::jcb_algebra::metric ( const jcb_e23_lite xjcb,
st2_e2_lite xresult 
)

Compute surface metric.

Definition at line 1522 of file jcb_e23.cc.

References symmetric_dot_push().

◆ pull() [1/12]

void fiber_bundle::jcb_algebra::pull ( const jcb xjcb,
const at1 xcovector,
at1 xresult,
bool  xauto_access 
)

Pull covector back (pre-allocated version for persistent types).

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.d(xauto_access) == xjcb.dr(xauto_access)
  • xresult.d(xauto_access) == xjcb.dd(xauto_access)
  • xcovector.is_covariant(0, xauto_access)
  • xresult.is_covariant(0, xauto_access)
Postcondition
  • xresult.is_covariant(0, xauto_access)

Definition at line 1440 of file jcb.cc.

References fiber_bundle::vd::d(), fiber_bundle::jcb::dd(), fiber_bundle::jcb::dr(), fiber_bundle::tp::is_covariant(), 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::pull(), fiber_bundle::sec_jcb_algebra::pull(), pull(), and push().

◆ pull() [2/12]

void fiber_bundle::jcb_algebra::pull ( const jcb_lite xjcb,
const at1_lite xcovector,
at1_lite xresult 
)

Pull covector back (pre-allocated version for volatile types).

Precondition
  • xcovector.d() == xjcb.dr()
  • xresult.d() == xjcb.dd()
  • -unexecutable( "xcovector.is_covariant())" )
  • -unexecutable( "xresult.is_covariant())" )

Definition at line 1581 of file jcb.cc.

References fiber_bundle::atp_lite::d(), fiber_bundle::jcb_lite::dd(), fiber_bundle::jcb_lite::dr(), and pull().

◆ pull() [3/12]

fiber_bundle::at1_lite * fiber_bundle::jcb_algebra::pull ( const jcb_lite xjcb,
const at1_lite xvector 
)

Pull covector back (auto-allocated version for volatile types).

Precondition
  • precondition_of(pull(xjcb, xcovector, *result))
Postcondition
  • postcondition_of(pull(xjcb, xcovector, *result))

Definition at line 1632 of file jcb.cc.

References pull().

◆ pull() [4/12]

void fiber_bundle::jcb_algebra::pull ( const jcb_e33 xjcb,
const e3 xcovector,
e3 xresult,
bool  xauto_access 
)

Pull covector back (pre-allocated version for persistent types).

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.d(xauto_access) == xjcb.dr(xauto_access)
  • xresult.d(xauto_access) == xjcb.dd(xauto_access)
Issue:
What do we want here?
Precondition
  • xcovector.is_covariant(0, xauto_access)
Postcondition
  • xresult.is_covariant(0, xauto_access)

Definition at line 1412 of file jcb_e33.cc.

References fiber_bundle::jcb::component(), fiber_bundle::vd::component(), fiber_bundle::vd::d(), fiber_bundle::jcb::dd(), fiber_bundle::jcb::dr(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_covariant(), pull(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_form(), sheaf::poset_component::release_access(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ pull() [5/12]

void fiber_bundle::jcb_algebra::pull ( const jcb_e23 xjcb,
const e3 xcovector,
e2 xresult,
bool  xauto_access 
)

Pull covector back (pre-allocated version for persistent types).

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.d(xauto_access) == xjcb.dr(xauto_access)
  • xresult.d(xauto_access) == xjcb.dd(xauto_access)
Issue:
What do we want here?
Precondition
  • xcovector.is_covariant(0, xauto_access)
Postcondition
  • xresult.is_covariant(0, xauto_access)

Definition at line 1391 of file jcb_e23.cc.

References fiber_bundle::jcb::component(), fiber_bundle::vd::component(), fiber_bundle::vd::d(), fiber_bundle::jcb::dd(), fiber_bundle::jcb::dr(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_covariant(), pull(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_form(), sheaf::poset_component::release_access(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ pull() [6/12]

void fiber_bundle::jcb_algebra::pull ( const jcb_e33_lite xjcb,
const e3_lite xcovector,
e3_lite xresult 
)

Pull covector back (pre-allocated version for volatile types).

Precondition
  • xcovector.d() == xjcb.dr()
  • xresult.d() == xjcb.dd()
Issue:
What do we want here?
Precondition
  • -unexecutable( "xcovector.is_covariant())" )
  • -unexecutable( "xresult.is_covariant())" )

Definition at line 1481 of file jcb_e33.cc.

References fiber_bundle::jcb_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::atp_lite::d(), fiber_bundle::jcb_e33_lite::dd(), fiber_bundle::jcb_e33_lite::dr(), pull(), and fiber_bundle::vd_lite::put_component().

◆ pull() [7/12]

void fiber_bundle::jcb_algebra::pull ( const jcb_e23_lite xjcb,
const e3_lite xcovector,
e2_lite xresult 
)

Pull covector back (pre-allocated version for volatile types).

Precondition
  • xcovector.d() == xjcb.dr()
  • xresult.d() == xjcb.dd()
  • -unexecutable( "xcovector.is_covariant())" )
Postcondition
  • -unexecutable( "xresult.is_covariant())" )

Definition at line 1454 of file jcb_e23.cc.

References fiber_bundle::jcb_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::atp_lite::d(), fiber_bundle::jcb_e23_lite::dd(), fiber_bundle::jcb_e23_lite::dr(), pull(), and fiber_bundle::vd_lite::put_component().

◆ pull() [8/12]

fiber_bundle::e3_lite * fiber_bundle::jcb_algebra::pull ( const jcb_e33_lite xjcb,
const e3_lite xcovector 
)

Pull covector back (auto-allocated version for volatile types).

Precondition
  • precondition_of(pull(xjcb, xcovector, *result))
Postcondition
  • postcondition_of(pull(xjcb, xcovector, *result))

Definition at line 1521 of file jcb_e33.cc.

References pull().

◆ pull() [9/12]

fiber_bundle::e2_lite * fiber_bundle::jcb_algebra::pull ( const jcb_e23_lite xjcb,
const e3_lite xcovector 
)

Pull covector back (auto-allocated version for volatile types).

Precondition
  • precondition_of(pull(xjcb, xcovector, *result))
Postcondition
  • postcondition_of(pull(xjcb, xcovector, *result))

Definition at line 1493 of file jcb_e23.cc.

References pull().

◆ pull() [10/12]

void fiber_bundle::jcb_algebra::pull ( const jcb_e13 xjcb,
const e3 xcovector,
e1 xresult,
bool  xauto_access 
)

Pull covector back (pre-allocated version for persistent types).

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.d(xauto_access) == xjcb.dr(xauto_access)
  • xresult.d(xauto_access) == xjcb.dd(xauto_access)
Issue:
What do we want here?
Precondition
  • xcovector.is_covariant(0, xauto_access)
Postcondition
  • xresult.is_covariant(0, xauto_access)

Definition at line 1411 of file jcb_e13.cc.

References fiber_bundle::jcb::component(), fiber_bundle::vd::component(), fiber_bundle::vd::d(), fiber_bundle::jcb::dd(), fiber_bundle::jcb::dr(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_covariant(), pull(), fiber_bundle::e1::put_component(), fiber_bundle::atp::put_is_p_form(), sheaf::poset_component::release_access(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ pull() [11/12]

void fiber_bundle::jcb_algebra::pull ( const jcb_e13_lite xjcb,
const e3_lite xcovector,
e1_lite xresult 
)

Pull covector back (pre-allocated version for volatile types).

Precondition
  • xcovector.d() == xjcb.dr()
  • xresult.d() == xjcb.dd()
Issue:
What do we want here?
Precondition
  • -unexecutable( "xcovector.is_covariant())" )
Postcondition
  • -unexecutable( "xresult.is_covariant())" )

Definition at line 1473 of file jcb_e13.cc.

References fiber_bundle::jcb_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::atp_lite::d(), fiber_bundle::jcb_e13_lite::dd(), fiber_bundle::jcb_e13_lite::dr(), pull(), and fiber_bundle::e1_lite::put_component().

◆ pull() [12/12]

fiber_bundle::e1_lite * fiber_bundle::jcb_algebra::pull ( const jcb_e13_lite xjcb,
const e3_lite xcovector 
)

Pull covector back (auto-allocated version for volatile types).

Precondition
  • precondition_of(pull(xjcb, xcovector, *result))
Postcondition
  • postcondition_of(pull(xjcb, xcovector, *result))

Definition at line 1513 of file jcb_e13.cc.

References pull().

◆ push() [1/12]

void fiber_bundle::jcb_algebra::push ( const jcb xjcb,
const at1 xvector,
at1 xresult,
bool  xauto_access 
)

Push vector forward (pre-allocated version for persistent types).

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.d(xauto_access) == xjcb.dd(xauto_access)
  • xresult.d(xauto_access) == xjcb.dr(xauto_access)
  • xvector.is_contravariant(0, xauto_access)
  • xresult.is_contravariant(0, xauto_access)
Postcondition
  • xresult.is_contravariant(0, xauto_access)

Definition at line 1374 of file jcb.cc.

References fiber_bundle::vd::d(), fiber_bundle::jcb::dd(), fiber_bundle::jcb::dr(), fiber_bundle::tp::is_contravariant(), 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 sheaf::gathered_insertion_index_space_state::gathered_insertion_index_space_state(), fiber_bundle::sec_jcb_e13::invariant(), fiber_bundle::sec_jcb_e33::invariant(), fiber_bundle::sec_jcb_e23::invariant(), fiber_bundle::jcb_e23::invariant(), fiber_bundle::jcb_e33::invariant(), fiber_bundle::jcb_e13::invariant(), fiber_bundle::operator<<(), pull(), fields::field_jcb_algebra::push(), fiber_bundle::sec_jcb_algebra::push(), and push().

◆ push() [2/12]

void fiber_bundle::jcb_algebra::push ( const jcb_lite xjcb,
const at1_lite xvector,
at1_lite xresult 
)

Push vector forward (pre-allocated version for volatile types).

Precondition
  • xvector.d() == xjcb.dd()
  • xresult.d() == xjcb.dr()
  • -unexecutable( "xvector.is_contravariant())" )
  • -unexecutable( "xresult.is_contravariant())" )

Definition at line 1506 of file jcb.cc.

References fiber_bundle::atp_lite::d(), fiber_bundle::jcb_lite::dd(), fiber_bundle::jcb_lite::dr(), and push().

◆ push() [3/12]

fiber_bundle::at1_lite * fiber_bundle::jcb_algebra::push ( const jcb_lite xjcb,
const at1_lite xvector 
)

Push vector forward (auto-allocated version for volatile types).

Precondition
  • precondition_of(push(xjcb, xvector, *result))
Postcondition
  • postcondition_of(push(xjcb, xvector, *result))

Definition at line 1557 of file jcb.cc.

References push().

◆ push() [4/12]

void fiber_bundle::jcb_algebra::push ( const jcb_e33 xjcb,
const e3 xvector,
e3 xresult,
bool  xauto_access 
)

Push vector forward (pre-allocated version for persistent types).

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.d(xauto_access) == xjcb.dd(xauto_access)
  • xresult.d(xauto_access) == xjcb.dr(xauto_access)
Issue:
What do we want here?
Precondition
  • xvector.is_contravariant(0, xauto_access)
Postcondition
  • xresult.is_contravariant(0, xauto_access)

Definition at line 1281 of file jcb_e33.cc.

References fiber_bundle::jcb::component(), fiber_bundle::vd::component(), fiber_bundle::vd::d(), fiber_bundle::jcb::dd(), fiber_bundle::jcb::dr(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_contravariant(), push(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_vector(), sheaf::poset_component::release_access(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ push() [5/12]

void fiber_bundle::jcb_algebra::push ( const jcb_e23 xjcb,
const e2 xvector,
e3 xresult,
bool  xauto_access 
)

Push vector forward (pre-allocated version for persistent types).

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.d(xauto_access) == xjcb.dd(xauto_access)
  • xresult.d(xauto_access) == xjcb.dr(xauto_access)
Issue:
What do we want here?
Precondition
  • xvector.is_contravariant(0, xauto_access)
Postcondition
  • xresult.is_contravariant(0, xauto_access)

Definition at line 1261 of file jcb_e23.cc.

References fiber_bundle::jcb::component(), fiber_bundle::vd::component(), fiber_bundle::vd::d(), fiber_bundle::jcb::dd(), fiber_bundle::jcb::dr(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_contravariant(), push(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_vector(), sheaf::poset_component::release_access(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ push() [6/12]

void fiber_bundle::jcb_algebra::push ( const jcb_e33_lite xjcb,
const e3_lite xvector,
e3_lite xresult 
)

Push vector forward (pre-allocated version for volatile types).

Precondition
  • xvector.d() == xjcb.dd()
  • xresult.d() == xjcb.dr()
Issue:
What do we want here?
Precondition
  • -unexecutable( "xvector.is_contravariant())" )
  • -unexecutable( "xresult.is_contravariant())" )

Definition at line 1349 of file jcb_e33.cc.

References fiber_bundle::jcb_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::atp_lite::d(), fiber_bundle::jcb_e33_lite::dd(), fiber_bundle::jcb_e33_lite::dr(), push(), and fiber_bundle::vd_lite::put_component().

◆ push() [7/12]

void fiber_bundle::jcb_algebra::push ( const jcb_e23_lite xjcb,
const e2_lite xvector,
e3_lite xresult 
)

Push vector forward (pre-allocated version for volatile types).

Precondition
  • xvector.d() == xjcb.dd()
  • xresult.d() == xjcb.dr()
Issue:
What do we want here?
Precondition
  • -unexecutable( "xvector.is_contravariant())" )
Postcondition
  • -unexecutable( "xresult.is_contravariant())" )

Definition at line 1324 of file jcb_e23.cc.

References fiber_bundle::jcb_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::atp_lite::d(), fiber_bundle::jcb_e23_lite::dd(), fiber_bundle::jcb_e23_lite::dr(), push(), and fiber_bundle::vd_lite::put_component().

◆ push() [8/12]

fiber_bundle::e3_lite * fiber_bundle::jcb_algebra::push ( const jcb_e33_lite xjcb,
const e3_lite xvector 
)

Push vector forward (auto-allocated version for volatile types).

Precondition
  • precondition_of(push(xjcb, xvector, *result))
Postcondition
  • postcondition_of(push(xjcb, xvector, *result))

Definition at line 1388 of file jcb_e33.cc.

References push().

◆ push() [9/12]

fiber_bundle::e3_lite * fiber_bundle::jcb_algebra::push ( const jcb_e23_lite xjcb,
const e2_lite xvector 
)

Push vector forward (auto-allocated version for volatile types).

Precondition
  • precondition_of(push(xjcb, xvector, *result))
Postcondition
  • postcondition_of(push(xjcb, xvector, *result))

Definition at line 1366 of file jcb_e23.cc.

References push().

◆ push() [10/12]

void fiber_bundle::jcb_algebra::push ( const jcb_e13 xjcb,
const e1 xvector,
e3 xresult,
bool  xauto_access 
)

Push vector forward (pre-allocated version for persistent types).

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.d(xauto_access) == xjcb.dd(xauto_access)
  • xresult.d(xauto_access) == xjcb.dr(xauto_access)
Issue:
What do we want here?
Precondition
  • xvector.is_contravariant(0, xauto_access)
Postcondition
  • xresult.is_contravariant(0, xauto_access)

Definition at line 1283 of file jcb_e13.cc.

References fiber_bundle::jcb::component(), fiber_bundle::e1::component(), fiber_bundle::vd::d(), fiber_bundle::jcb::dd(), fiber_bundle::jcb::dr(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_contravariant(), push(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_vector(), sheaf::poset_component::release_access(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ push() [11/12]

void fiber_bundle::jcb_algebra::push ( const jcb_e13_lite xjcb,
const e1_lite xvector,
e3_lite xresult 
)

Push vector forward (pre-allocated version for volatile types).

Precondition
  • xvector.d() == xjcb.dd()
  • xresult.d() == xjcb.dr()
Issue:
What do we want here?
Precondition
  • -unexecutable( "xvector.is_contravariant())" )
Postcondition
  • -unexecutable( "xresult.is_contravariant())" )

Definition at line 1344 of file jcb_e13.cc.

References fiber_bundle::jcb_lite::component(), fiber_bundle::e1_lite::component(), fiber_bundle::atp_lite::d(), fiber_bundle::jcb_e13_lite::dd(), fiber_bundle::jcb_e13_lite::dr(), push(), and fiber_bundle::vd_lite::put_component().

◆ push() [12/12]

fiber_bundle::e3_lite * fiber_bundle::jcb_algebra::push ( const jcb_e13_lite xjcb,
const e1_lite xvector 
)

Push vector forward (auto-allocated version for volatile types).

Precondition
  • precondition_of(push(xjcb, xvector, *result))
Postcondition
  • postcondition_of(push(xjcb, xvector, *result))

Definition at line 1386 of file jcb_e13.cc.

References push().

◆ symmetric_dot_push()

void fiber_bundle::jcb_algebra::symmetric_dot_push ( const jcb_e23_lite xjcb,
const jcb_e23_lite xother_jcb,
st2_e2_lite xresult 
)

Transpose of xjcb times xother_jcb, symmetric part.

Definition at line 1541 of file jcb_e23.cc.

Referenced by metric().