SheafSystem  0.0.0.0
Functions
fiber_bundle::met_algebra Namespace Reference

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

Functions

SHEAF_DLL_SPEC void raise (const met &xmetric, const ed &xcovector, ed &xresult, bool xauto_access)
 Raise covector (pre-allocated version for persistent type). More...
 
SHEAF_DLL_SPEC void lower (const met &xmetric, const ed &xvector, ed &xresult, bool xauto_access)
 Lower vector (pre-allocated version for persistent type). More...
 
SHEAF_DLL_SPEC void raise (const met_lite &xmetric, const ed_lite &xcovector, ed_lite &xresult)
 Raise covector (pre-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC ed_lite * raise (const met_lite &xmetric, const ed_lite &xcovector)
 Raise covector (auto-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC void lower (const met_lite &xmetric, const ed_lite &xvector, ed_lite &xresult)
 Lower vector (pre-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC ed_lite * lower (const met_lite &xmetric, const ed_lite &xvector)
 Lower vector (auto-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC void raise (const met_e1 &xmetric, const e1 &xcovector, e1 &xresult, bool xauto_access)
 Raise covector (pre-allocated version for persistent type). More...
 
SHEAF_DLL_SPEC void lower (const met_e1 &xmetric, const e1 &xvector, e1 &xresult, bool xauto_access)
 Lower vector (pre-allocated version for persistent type). More...
 
SHEAF_DLL_SPEC void raise (const met_e1_lite &xmetric, const e1_lite &xcovector, e1_lite &xresult)
 Raise covector (pre-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC e1_lite * raise (const met_e1_lite &xmetric, const e1_lite &xcovector)
 Raise covector (auto-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC void lower (const met_e1_lite &xmetric, const e1_lite &xvector, e1_lite &xresult)
 Lower vector (pre-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC e1_lite * lower (const met_e1_lite &xmetric, const e1_lite &xvector)
 Lower vector (auto-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC void raise (const met_e2 &xmetric, const e2 &xcovector, e2 &xresult, bool xauto_access)
 Raise covector (pre-allocated version for persistent type). More...
 
SHEAF_DLL_SPEC void lower (const met_e2 &xmetric, const e2 &xvector, e2 &xresult, bool xauto_access)
 Lower vector (pre-allocated version for persistent type). More...
 
SHEAF_DLL_SPEC void raise (const met_e2_lite &xmetric, const e2_lite &xcovector, e2_lite &xresult)
 Raise covector (pre-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC e2_lite * raise (const met_e2_lite &xmetric, const e2_lite &xcovector)
 Raise covector (auto-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC void lower (const met_e2_lite &xmetric, const e2_lite &xvector, e2_lite &xresult)
 Lower vector (pre-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC e2_lite * lower (const met_e2_lite &xmetric, const e2_lite &xvector)
 Lower vector (auto-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC void raise (const met_e3 &xmetric, const e3 &xcovector, e3 &xresult, bool xauto_access)
 Raise covector (pre-allocated version for persistent type). More...
 
SHEAF_DLL_SPEC void lower (const met_e3 &xmetric, const e3 &xvector, e3 &xresult, bool xauto_access)
 Lower vector (pre-allocated version for persistent type). More...
 
SHEAF_DLL_SPEC void raise (const met_e3_lite &xmetric, const e3_lite &xcovector, e3_lite &xresult)
 Raise covector (pre-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC e3_lite * raise (const met_e3_lite &xmetric, const e3_lite &xcovector)
 Raise covector (auto-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC void lower (const met_e3_lite &xmetric, const e3_lite &xvector, e3_lite &xresult)
 Lower vector (pre-allocated version for volatile type). More...
 
SHEAF_DLL_SPEC e3_lite * lower (const met_e3_lite &xmetric, const e3_lite &xvector)
 Lower vector (auto-allocated version for volatile type). More...
 

Detailed Description

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

Function Documentation

◆ lower() [1/12]

void fiber_bundle::met_algebra::lower ( const met &  xmetric,
const ed &  xvector,
ed &  xresult,
bool  xauto_access 
)

Lower vector (pre-allocated version for persistent type).

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

Definition at line 943 of file met.cc.

References fiber_bundle::vd::d(), fiber_bundle::tp::dd(), fiber_bundle::tp::is_contravariant(), fiber_bundle::tp::is_covariant(), raise(), 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_met_e1::invariant(), fiber_bundle::sec_met_e2::invariant(), fiber_bundle::sec_met_e3::invariant(), fields::field_met_algebra::lower(), fiber_bundle::sec_met_algebra::lower(), lower(), sheaf::poset_orderer::postvisit_action(), fiber_bundle::sec_met_algebra::raise(), raise(), and sheaf::poset_orderer::restore_order().

◆ lower() [2/12]

void fiber_bundle::met_algebra::lower ( const met_lite &  xmetric,
const ed_lite &  xvector,
ed_lite &  xresult 
)

Lower vector (pre-allocated version for volatile type).

Precondition
  • xvector.d() == xmetric.dd()
  • xresult.d() == xmetric.dd()
  • -unexecutable( "xmetric.is_covariant())" )
  • -unexecutable( "xcovector.is_contravariant())" )
Postcondition
  • -unexecutable( "xresult.is_covariant())" )

Definition at line 1079 of file met.cc.

References fiber_bundle::atp_lite::d(), fiber_bundle::tp_lite::dd(), and lower().

◆ lower() [3/12]

fiber_bundle::ed_lite * fiber_bundle::met_algebra::lower ( const met_lite &  xmetric,
const ed_lite &  xvector 
)

Lower vector (auto-allocated version for volatile type).

Precondition
  • precondition_of(lower(xmetric, xvector, *result))
Postcondition
  • postcondition_of(lower(xmetric, xvector, *result))

Definition at line 1132 of file met.cc.

References lower().

◆ lower() [4/12]

void fiber_bundle::met_algebra::lower ( const met_e1 &  xmetric,
const e1 &  xvector,
e1 &  xresult,
bool  xauto_access 
)

Lower vector (pre-allocated version for persistent type).

Precondition
  • xmetric.state_is_auto_read_accessible(xauto_access)
  • xvector.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
  • xmetric.is_covariant(0, xauto_access)
  • xvector.is_contravariant(0, xauto_access)
Postcondition
  • xresult.is_covariant(0, xauto_access)

Definition at line 1505 of file met_e1.cc.

References fiber_bundle::st2::component(), fiber_bundle::e1::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_contravariant(), fiber_bundle::tp::is_covariant(), fiber_bundle::atp::is_p_form(), 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().

◆ lower() [5/12]

void fiber_bundle::met_algebra::lower ( const met_e1_lite &  xmetric,
const e1_lite &  xvector,
e1_lite &  xresult 
)

Lower vector (pre-allocated version for volatile type).

Precondition
  • -unexecutable( "xmetric.is_covariant())" )
  • -unexecutable( "xcovector.is_contravariant())" )
Postcondition
  • -unexecutable( "xresult.is_covariant())" )

Definition at line 1391 of file met_e1.cc.

References fiber_bundle::e1_lite::component(), fiber_bundle::met_e1_lite::component(), lower(), and fiber_bundle::e1_lite::put_component().

◆ lower() [6/12]

fiber_bundle::e1_lite * fiber_bundle::met_algebra::lower ( const met_e1_lite &  xmetric,
const e1_lite &  xvector 
)

Lower vector (auto-allocated version for volatile type).

Precondition
  • precondition_of(lower(xmetric, xvector, *result))
Postcondition
  • result != 0
  • postcondition_of(lower(xmetric, xvector, *result))

Definition at line 1425 of file met_e1.cc.

References lower().

◆ lower() [7/12]

void fiber_bundle::met_algebra::lower ( const met_e2 &  xmetric,
const e2 &  xvector,
e2 &  xresult,
bool  xauto_access 
)

Lower vector (pre-allocated version for persistent type).

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

Definition at line 1610 of file met_e2.cc.

References fiber_bundle::st2::component(), fiber_bundle::vd::component(), fiber_bundle::vd::d(), fiber_bundle::tp::dd(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_contravariant(), fiber_bundle::tp::is_covariant(), fiber_bundle::atp::is_p_form(), 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().

◆ lower() [8/12]

void fiber_bundle::met_algebra::lower ( const met_e2_lite &  xmetric,
const e2_lite &  xvector,
e2_lite &  xresult 
)

Lower vector (pre-allocated version for volatile type).

Precondition
  • -unexecutable( "xmetric.is_covariant())" )
  • -unexecutable( "xcovector.is_contravariant())" )
  • -unexecutable( "xresult.is_covariant())" )

Definition at line 1464 of file met_e2.cc.

References fiber_bundle::st2_lite::component(), fiber_bundle::vd_lite::component(), lower(), and fiber_bundle::vd_lite::put_component().

◆ lower() [9/12]

void fiber_bundle::met_algebra::lower ( const met_e3 &  xmetric,
const e3 &  xvector,
e3 &  xresult,
bool  xauto_access 
)

Lower vector (pre-allocated version for persistent type).

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

Definition at line 1654 of file met_e3.cc.

References fiber_bundle::st2::component(), fiber_bundle::vd::component(), fiber_bundle::vd::d(), fiber_bundle::tp::dd(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_contravariant(), fiber_bundle::tp::is_covariant(), fiber_bundle::atp::is_p_form(), 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().

◆ lower() [10/12]

fiber_bundle::e2_lite * fiber_bundle::met_algebra::lower ( const met_e2_lite &  xmetric,
const e2_lite &  xvector 
)

Lower vector (auto-allocated version for volatile type).

Precondition
  • precondition_of(lower(xmetric, xvector, *result))
Postcondition
  • result != 0
  • postcondition_of(lower(xmetric, xvector, *result))

Definition at line 1510 of file met_e2.cc.

References lower().

◆ lower() [11/12]

void fiber_bundle::met_algebra::lower ( const met_e3_lite &  xmetric,
const e3_lite &  xvector,
e3_lite &  xresult 
)

Lower vector (pre-allocated version for volatile type).

Precondition
  • -unexecutable( "xmetric.is_covariant())" )
  • -unexecutable( "xvector.is_contravariant())" )
Postcondition
  • -unexecutable( "xresult.is_covariant())" )

Definition at line 1494 of file met_e3.cc.

References fiber_bundle::st2_lite::component(), fiber_bundle::vd_lite::component(), lower(), and fiber_bundle::vd_lite::put_component().

◆ lower() [12/12]

fiber_bundle::e3_lite * fiber_bundle::met_algebra::lower ( const met_e3_lite &  xmetric,
const e3_lite &  xvector 
)

Lower vector (auto-allocated version for volatile type).

Precondition
  • precondition_of(lower(xmetric, xvector, *result))
Postcondition
  • result != 0
  • postcondition_of(lower(xmetric, xvector, *result))

Definition at line 1548 of file met_e3.cc.

References lower().

◆ raise() [1/12]

void fiber_bundle::met_algebra::raise ( const met &  xmetric,
const ed &  xcovector,
ed &  xresult,
bool  xauto_access 
)

Raise covector (pre-allocated version for persistent type).

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

Definition at line 886 of file met.cc.

References fiber_bundle::vd::d(), fiber_bundle::tp::dd(), fiber_bundle::tp::is_contravariant(), fiber_bundle::tp::is_covariant(), lower(), 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::met::invariant(), fiber_bundle::met_e1::invariant(), fiber_bundle::met_e2::invariant(), fiber_bundle::met_e3::invariant(), lower(), and raise().

◆ raise() [2/12]

void fiber_bundle::met_algebra::raise ( const met_lite &  xmetric,
const ed_lite &  xcovector,
ed_lite &  xresult 
)

Raise covector (pre-allocated version for volatile type).

Precondition
  • xcovector.d() == xmetric.dd()
  • xresult.d() == xmetric.dd()
  • -unexecutable( "xmetric.is_contravariant())" )
  • -unexecutable( "xcovector.is_covariant())" )
Postcondition
  • -unexecutable( "xresult.is_contravariant())" )

Definition at line 999 of file met.cc.

References fiber_bundle::atp_lite::d(), fiber_bundle::tp_lite::dd(), and raise().

◆ raise() [3/12]

fiber_bundle::ed_lite * fiber_bundle::met_algebra::raise ( const met_lite &  xmetric,
const ed_lite &  xcovector 
)

Raise covector (auto-allocated version for volatile type).

Precondition
  • precondition_of(raise(xmetric, xcovector, *result))
Postcondition
  • postcondition_of(raise(xmetric, xcovector, *result))

Definition at line 1056 of file met.cc.

◆ raise() [4/12]

void fiber_bundle::met_algebra::raise ( const met_e1 &  xmetric,
const e1 &  xcovector,
e1 &  xresult,
bool  xauto_access 
)

Raise covector (pre-allocated version for persistent type).

Precondition
  • xmetric.state_is_auto_read_accessible(xauto_access)
  • xcovector.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
  • xmetric.is_contravariant(0, xauto_access)
  • xcovector.is_covariant(0, xauto_access)
Postcondition
  • xresult.is_contravariant(0, xauto_access)

Definition at line 1449 of file met_e1.cc.

References fiber_bundle::st2::component(), fiber_bundle::e1::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_contravariant(), fiber_bundle::tp::is_covariant(), fiber_bundle::atp::is_p_vector(), lower(), fiber_bundle::e1::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().

◆ raise() [5/12]

void fiber_bundle::met_algebra::raise ( const met_e1_lite &  xmetric,
const e1_lite &  xcovector,
e1_lite &  xresult 
)

Raise covector (pre-allocated version for volatile type).

Precondition
  • -unexecutable( "xmetric.is_contravariant())" )
  • -unexecutable( "xcovector.is_covariant())" )
Postcondition
  • -unexecutable( "xresult.is_contravariant())" )

Definition at line 1332 of file met_e1.cc.

References fiber_bundle::e1_lite::component(), fiber_bundle::met_e1_lite::component(), fiber_bundle::e1_lite::put_component(), and raise().

◆ raise() [6/12]

fiber_bundle::e1_lite * fiber_bundle::met_algebra::raise ( const met_e1_lite &  xmetric,
const e1_lite &  xcovector 
)

Raise covector (auto-allocated version for volatile type).

Precondition
  • precondition_of(raise(xmetric, xcovector, *result))
Postcondition
  • result != 0
  • postcondition_of(raise(xmetric, xcovector, *result))

Definition at line 1367 of file met_e1.cc.

◆ raise() [7/12]

void fiber_bundle::met_algebra::raise ( const met_e2 &  xmetric,
const e2 &  xcovector,
e2 &  xresult,
bool  xauto_access 
)

Raise covector (pre-allocated version for persistent type).

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

Definition at line 1535 of file met_e2.cc.

References fiber_bundle::st2::component(), fiber_bundle::vd::component(), fiber_bundle::vd::d(), fiber_bundle::tp::dd(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_contravariant(), fiber_bundle::tp::is_covariant(), fiber_bundle::atp::is_p_vector(), lower(), 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().

◆ raise() [8/12]

void fiber_bundle::met_algebra::raise ( const met_e2_lite &  xmetric,
const e2_lite &  xcovector,
e2_lite &  xresult 
)

Raise covector (pre-allocated version for volatile type).

Precondition
  • -unexecutable( "xmetric.is_contravariant())" )
  • -unexecutable( "xcovector.is_covariant())" )
  • -unexecutable( "xresult.is_contravariant())" )

Definition at line 1393 of file met_e2.cc.

References fiber_bundle::st2_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::vd_lite::put_component(), and raise().

◆ raise() [9/12]

void fiber_bundle::met_algebra::raise ( const met_e3 &  xmetric,
const e3 &  xcovector,
e3 &  xresult,
bool  xauto_access 
)

Raise covector (pre-allocated version for persistent type).

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

Definition at line 1572 of file met_e3.cc.

References fiber_bundle::st2::component(), fiber_bundle::vd::component(), fiber_bundle::vd::d(), fiber_bundle::tp::dd(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::tp::is_contravariant(), fiber_bundle::tp::is_covariant(), fiber_bundle::atp::is_p_vector(), lower(), 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().

◆ raise() [10/12]

fiber_bundle::e2_lite * fiber_bundle::met_algebra::raise ( const met_e2_lite &  xmetric,
const e2_lite &  xcovector 
)

Raise covector (auto-allocated version for volatile type).

Precondition
  • precondition_of(raise(xmetric, xcovector, *result))
Postcondition
  • result != 0
  • postcondition_of(raise(xmetric, xcovector, *result))

Definition at line 1439 of file met_e2.cc.

◆ raise() [11/12]

void fiber_bundle::met_algebra::raise ( const met_e3_lite &  xmetric,
const e3_lite &  xcovector,
e3_lite &  xresult 
)

Raise covector (pre-allocated version for volatile type).

Precondition
  • -unexecutable( "xmetric.is_contravariant())" )
  • -unexecutable( "xcovector.is_covariant())" )
Postcondition
  • -unexecutable( "xresult.is_contravariant())" )

Definition at line 1416 of file met_e3.cc.

References fiber_bundle::st2_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::vd_lite::put_component(), and raise().

◆ raise() [12/12]

fiber_bundle::e3_lite * fiber_bundle::met_algebra::raise ( const met_e3_lite &  xmetric,
const e3_lite &  xcovector 
)

Raise covector (auto-allocated version for volatile type).

Precondition
  • precondition_of(raise(xmetric, xcovector, *result))
Postcondition
  • result != 0
  • postcondition_of(raise(xmetric, xcovector, *result))

Definition at line 1470 of file met_e3.cc.