SheafSystem  0.0.0.0
Functions
fiber_bundle::sec_met_algebra Namespace Reference

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

Functions

SHEAF_DLL_SPEC void lower (const sec_met &xmetric, const sec_ed &xvector, sec_ed &xresult, bool xauto_access)
 Lower vector (pre-allocated version). More...
 
SHEAF_DLL_SPEC void raise (const sec_met &xmetric, const sec_ed &xcovector, sec_ed &xresult, bool xauto_access)
 Raise covector (pre-allocated version). More...
 
SHEAF_DLL_SPEC void lower (const sec_met_e1 &xmetric, const sec_e1 &xvector, sec_e1 &xresult, bool xauto_access)
 Lower vector (pre-allocated version). More...
 
SHEAF_DLL_SPEC void raise (const sec_met_e1 &xmetric, const sec_e1 &xvector, sec_e1 &xresult, bool xauto_access)
 Raise covector (pre-allocated version). More...
 
SHEAF_DLL_SPEC void lower (const sec_met_e2 &xmetric, const sec_e2 &xvector, sec_e2 &xresult, bool xauto_access)
 Lower vector (pre-allocated version). More...
 
SHEAF_DLL_SPEC void raise (const sec_met_e2 &xmetric, const sec_e2 &xvector, sec_e2 &xresult, bool xauto_access)
 Raise covector (pre-allocated version). More...
 
SHEAF_DLL_SPEC void lower (const sec_met_e3 &xmetric, const sec_e3 &xvector, sec_e3 &xresult, bool xauto_access)
 Lower vector (pre-allocated version). More...
 
SHEAF_DLL_SPEC void raise (const sec_met_e3 &xmetric, const sec_e3 &xvector, sec_e3 &xresult, bool xauto_access)
 Raise covector (pre-allocated version). More...
 

Detailed Description

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

Function Documentation

◆ lower() [1/4]

void fiber_bundle::sec_met_algebra::lower ( const sec_met &  xmetric,
const sec_ed &  xvector,
sec_ed &  xresult,
bool  xauto_access 
)

Lower vector (pre-allocated version).

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 668 of file sec_met.cc.

References fiber_bundle::sec_tp::is_contravariant(), fiber_bundle::sec_tp::is_covariant(), fiber_bundle::met_algebra::lower(), 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::invariant(), fiber_bundle::sec_met_e2::invariant(), fiber_bundle::sec_met_e1::invariant(), fiber_bundle::sec_met_e3::invariant(), and fields::field_met_algebra::lower().

◆ lower() [2/4]

void fiber_bundle::sec_met_algebra::lower ( const sec_met_e1 &  xmetric,
const sec_e1 &  xvector,
sec_e1 &  xresult,
bool  xauto_access 
)

Lower vector (pre-allocated version).

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)

Definition at line 759 of file sec_met_e1.cc.

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

◆ lower() [3/4]

void fiber_bundle::sec_met_algebra::lower ( const sec_met_e2 &  xmetric,
const sec_e2 &  xvector,
sec_e2 &  xresult,
bool  xauto_access 
)

Lower vector (pre-allocated version).

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)

Definition at line 757 of file sec_met_e2.cc.

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

◆ lower() [4/4]

void fiber_bundle::sec_met_algebra::lower ( const sec_met_e3 &  xmetric,
const sec_e3 &  xvector,
sec_e3 &  xresult,
bool  xauto_access 
)

Lower vector (pre-allocated version).

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)

Definition at line 760 of file sec_met_e3.cc.

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

◆ raise() [1/4]

void fiber_bundle::sec_met_algebra::raise ( const sec_met &  xmetric,
const sec_ed &  xcovector,
sec_ed &  xresult,
bool  xauto_access 
)

Raise covector (pre-allocated version).

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 722 of file sec_met.cc.

References fiber_bundle::sec_tp::is_contravariant(), fiber_bundle::sec_tp::is_covariant(), fiber_bundle::met_algebra::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 lower(), and fields::field_met_algebra::raise().

◆ raise() [2/4]

void fiber_bundle::sec_met_algebra::raise ( const sec_met_e1 &  xmetric,
const sec_e1 &  xvector,
sec_e1 &  xresult,
bool  xauto_access 
)

Raise covector (pre-allocated version).

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)

Definition at line 782 of file sec_met_e1.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().

◆ raise() [3/4]

void fiber_bundle::sec_met_algebra::raise ( const sec_met_e2 &  xmetric,
const sec_e2 &  xvector,
sec_e2 &  xresult,
bool  xauto_access 
)

Raise covector (pre-allocated version).

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)

Definition at line 780 of file sec_met_e2.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().

◆ raise() [4/4]

void fiber_bundle::sec_met_algebra::raise ( const sec_met_e3 &  xmetric,
const sec_e3 &  xvector,
sec_e3 &  xresult,
bool  xauto_access 
)

Raise covector (pre-allocated version).

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)

Definition at line 783 of file sec_met_e3.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().