SheafSystem  0.0.0.0
Functions
fiber_bundle::atp_algebra Namespace Reference

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

Functions

SHEAF_DLL_SPEC void hook (const e2 &x0, const e2 &x1, at0 &xresult, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void hook (const e2_lite &x0, const e2_lite &x1, at0_lite &xresult)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void hook (const at2_e2 &x0, const e2 &x1, e2 &xresult, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void hook (const at2_e2_lite &x0, const e2_lite &x1, e2_lite &xresult)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void star (const at2_e2 &x0, at0 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types). More...
 
SHEAF_DLL_SPEC void star (const at2_e2_lite &x0, at0_lite &xresult)
 The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC at0_lite * star (const at2_e2_lite &x0)
 The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void star (const at0 &x0, at2_e2 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types). More...
 
SHEAF_DLL_SPEC void star (const at0_lite &x0, at2_e2_lite &xresult)
 The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC at2_e2_lite * star (const at0_lite &x0)
 The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void star (const e2 &x0, e2 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types). More...
 
SHEAF_DLL_SPEC void star (const e2_lite &x0, e2_lite &xresult)
 The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC e2_lite * star (const e2_lite &x0)
 The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void wedge (const e2 &x0, const e2 &x1, at2_e2 &xresult, bool xauto_access)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void wedge (const e2_lite &x0, const e2_lite &x1, at2_e2_lite &xresult)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void hook (const e3 &x0, const e3 &x1, at0 &xresult, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void hook (const e3_lite &x0, const e3_lite &x1, at0_lite &xresult)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void hook (const at2_e3 &x0, const e3 &x1, e3 &xresult, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void hook (const at2_e3_lite &x0, const e3_lite &x1, e3_lite &xresult)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void star (const at2_e3 &x0, e3 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types). More...
 
SHEAF_DLL_SPEC void star (const at2_e3_lite &x0, e3_lite &xresult)
 The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC e3_lite * star (const at2_e3_lite &x0)
 The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void star (const e3 &x0, at2_e3 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types). More...
 
SHEAF_DLL_SPEC void star (const e3_lite &x0, at2_e3_lite &xresult)
 The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC at2_e3_lite * star (const e3_lite &x0)
 The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void wedge (const e3 &x0, const e3 &x1, at2_e3 &xresult, bool xauto_access)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void wedge (const e3_lite &x0, const e3_lite &x1, at2_e3_lite &xresult)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void hook (const at3_e3 &x0, const e3 &x1, at2_e3 &xresult, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void hook (const at3_e3_lite &x0, const e3_lite &x1, at2_e3_lite &xresult)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void star (const at3_e3 &x0, at0 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types). More...
 
SHEAF_DLL_SPEC void star (const at3_e3_lite &x0, at0_lite &xresult)
 The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC at0_lite * star (const at3_e3_lite &x0)
 The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void star (const at0 &x0, at3_e3 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types). More...
 
SHEAF_DLL_SPEC void star (const at0_lite &x0, at3_e3_lite &xresult)
 The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void wedge (const at2_e3 &x0, const e3 &x1, at3_e3 &xresult, bool xauto_access)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void wedge (const at2_e3_lite &x0, const e3_lite &x1, at3_e3_lite &xresult)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void hook (const atp &x0, const atp &x1, atp &xresult, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void hook (const atp_lite &x0, const atp_lite &x1, atp_lite &xresult)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
template<typename T0 , typename T1 >
tensor_traits< static_cast< int >T0::P) - static_cast< int >T1::P), typename T0::vector_space_type >::atp_type * hook (const T0 &x0, const T1 &x1)
 The interior (hook) product of two antisymmetric tensors (auto-allocated version for volatile types). More...
 
template<typename T0 , typename T1 >
tensor_traits< static_cast< int >T0::P) - static_cast< int >T1::P), typename T0::vector_space_type >::atp_type * hook (const T0 &x0, const T1 &x1, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (auto-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void star (const atp &x0, atp &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types). More...
 
SHEAF_DLL_SPEC void star (const atp_lite &x0, atp_lite &xresult)
 The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC atp_lite * star (const atp_lite &x0)
 The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types). More...
 
SHEAF_DLL_SPEC void wedge (const atp &x0, const atp &x1, atp &xresult, bool xauto_access)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void wedge (const atp_lite &x0, const atp_lite &x1, atp_lite &xresult)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for volatile types). More...
 
template<typename T0 , typename T1 >
tensor_traits< static_cast< int >T0::P)+static_cast< int >T1::P), typename T0::vector_space_type >::atp_type * wedge (const T0 &x0, const T1 &x1)
 The exterior (wedge) product of two antisymmetric tensors (auto-allocated version for volatile types). More...
 
template<typename T0 , typename T1 >
tensor_traits< static_cast< int >T0::P)+static_cast< int >T1::P), typename T0::vector_space_type >::atp_type * wedge (const T0 &x0, const T1 &x1, bool xauto_access)
 The exterior (wedge) product of two antisymmetric tensors (auto-allocated version for persistent types). More...
 

Detailed Description

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

Function Documentation

◆ hook() [1/14]

void fiber_bundle::atp_algebra::hook ( const atp &  x0,
const atp &  x1,
atp &  xresult,
bool  xauto_access 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types).

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)
  • x0.is_p_form(xauto_access) == xresult.is_p_form(xauto_access)
Todo:
Postconditions.

Definition at line 972 of file atp.cc.

References hook(), fiber_bundle::atp::is_p_form(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ hook() [2/14]

void fiber_bundle::atp_algebra::hook ( const atp_lite &  x0,
const atp_lite &  x1,
atp_lite &  xresult 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1039 of file atp.cc.

References hook(), and star().

◆ hook() [3/14]

template<typename T0 , typename T1 >
tensor_traits< static_cast< int >T0::P) - static_cast< int >T1::P), typename T0::vector_space_type >::atp_type * fiber_bundle::atp_algebra::hook ( const T0 &  x0,
const T1 &  x1 
)

The interior (hook) product of two antisymmetric tensors (auto-allocated version for volatile types).

Precondition
  • precondition_of(hook(x0, x1, *result))
Postcondition
  • result != 0
  • postcondition_of(hook(x0, x1, *result))
Precondition
  • precondition_of(hook(x0, x1, *result))
Postcondition
  • result != 0
  • postcondition_of(hook(x0, x1, *result))

Definition at line 44 of file atp.impl.h.

References fiber_bundle::vd_lite::atp_prototype(), and hook().

◆ hook() [4/14]

template<typename T0 , typename T1 >
tensor_traits< static_cast< int >T0::P) - static_cast< int >T1::P), typename T0::vector_space_type >::atp_type * fiber_bundle::atp_algebra::hook ( const T0 &  x0,
const T1 &  x1,
bool  xauto_access 
)

The interior (hook) product of two antisymmetric tensors (auto-allocated version for persistent types).

Precondition
  • precondition_of(hook(x0, x1, *result, xauto_access))
Postcondition
  • result != 0
  • postcondition_of(hook(x0, x1, *result, xauto_access))
Precondition
  • precondition_of(hook(x0, x1, *result, xauto_access))
Postcondition
  • result != 0
  • postcondition_of(hook(x0, x1, *result, xauto_access))

Definition at line 107 of file atp.impl.h.

References hook().

◆ hook() [5/14]

void fiber_bundle::atp_algebra::hook ( const at3_e3 &  x0,
const e3 &  x1,
at2_e3 &  xresult,
bool  xauto_access 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types).

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
  • xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)

Definition at line 1265 of file at3_e3.cc.

References fiber_bundle::at3::component(), fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), hook(), fiber_bundle::atp::is_p_form(), fiber_bundle::at2::put_component(), fiber_bundle::atp::put_is_p_form(), 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().

◆ hook() [6/14]

void fiber_bundle::atp_algebra::hook ( const at3_e3_lite &  x0,
const e3_lite &  x1,
at2_e3_lite &  xresult 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1331 of file at3_e3.cc.

References fiber_bundle::at3_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::at2_lite::put_component(), and star().

◆ hook() [7/14]

void fiber_bundle::atp_algebra::hook ( const e2 &  x0,
const e2 &  x1,
at0 &  xresult,
bool  xauto_access 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types).

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
  • xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)

Definition at line 1328 of file at2_e2.cc.

References fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::atp::is_p_form(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_form(), 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().

Referenced by fields::field_atp_algebra::hook(), fiber_bundle::sec_atp_algebra::hook(), hook(), fiber_bundle::sec_at2_e2::invariant(), fiber_bundle::sec_at2_e3::invariant(), fiber_bundle::sec_at3_e3::invariant(), fiber_bundle::atp::invariant(), fiber_bundle::at3_e3::invariant(), fiber_bundle::at2_e2::invariant(), and fiber_bundle::at2_e3::invariant().

◆ hook() [8/14]

void fiber_bundle::atp_algebra::hook ( const e2_lite &  x0,
const e2_lite &  x1,
at0_lite &  xresult 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types).

Definition at line 1387 of file at2_e2.cc.

References fiber_bundle::vd_lite::component(), hook(), and fiber_bundle::at0_lite::put_component().

◆ hook() [9/14]

void fiber_bundle::atp_algebra::hook ( const at2_e2 &  x0,
const e2 &  x1,
e2 &  xresult,
bool  xauto_access 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types).

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
  • xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)

Definition at line 1419 of file at2_e2.cc.

References fiber_bundle::at2::component(), fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), hook(), fiber_bundle::atp::is_p_form(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_form(), 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().

◆ hook() [10/14]

void fiber_bundle::atp_algebra::hook ( const at2_e2_lite &  x0,
const e2_lite &  x1,
e2_lite &  xresult 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types).

Definition at line 1481 of file at2_e2.cc.

References fiber_bundle::at2_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::vd_lite::put_component(), and star().

◆ hook() [11/14]

void fiber_bundle::atp_algebra::hook ( const e3 &  x0,
const e3 &  x1,
at0 &  xresult,
bool  xauto_access 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types).

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)

Definition at line 1346 of file at2_e3.cc.

References fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), hook(), fiber_bundle::atp::is_p_form(), fiber_bundle::vd::put_component(), 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().

◆ hook() [12/14]

void fiber_bundle::atp_algebra::hook ( const e3_lite &  x0,
const e3_lite &  x1,
at0_lite &  xresult 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1403 of file at2_e3.cc.

References fiber_bundle::vd_lite::component(), hook(), and fiber_bundle::at0_lite::put_component().

◆ hook() [13/14]

void fiber_bundle::atp_algebra::hook ( const at2_e3 &  x0,
const e3 &  x1,
e3 &  xresult,
bool  xauto_access 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types).

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
  • xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)

Definition at line 1439 of file at2_e3.cc.

References fiber_bundle::at2::component(), fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), hook(), fiber_bundle::atp::is_p_form(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_form(), 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().

◆ hook() [14/14]

void fiber_bundle::atp_algebra::hook ( const at2_e3_lite &  x0,
const e3_lite &  x1,
e3_lite &  xresult 
)

The interior (hook) product of two antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1505 of file at2_e3.cc.

References fiber_bundle::at2_lite::component(), fiber_bundle::vd_lite::component(), fiber_bundle::vd_lite::put_component(), and star().

◆ star() [1/23]

void fiber_bundle::atp_algebra::star ( const atp &  x0,
atp &  xresult,
bool  xauto_access 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types).

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
  • x0.dd(xauto_access) == xresult.dd(xauto_access)
Todo:
Postconditions.

Definition at line 1106 of file atp.cc.

References fiber_bundle::tp::dd(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ star() [2/23]

void fiber_bundle::atp_algebra::star ( const atp_lite &  x0,
atp_lite &  xresult 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1178 of file atp.cc.

References star().

◆ star() [3/23]

fiber_bundle::atp_lite * fiber_bundle::atp_algebra::star ( const atp_lite &  x0)

The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types).

Precondition
  • precondition_of(star(x0, *result))
Postcondition
  • postcondition_of(star(x0, *result))

Definition at line 1248 of file atp.cc.

References star().

◆ star() [4/23]

void fiber_bundle::atp_algebra::star ( const at3_e3 &  x0,
at0 &  xresult,
bool  xauto_access 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types).

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)

Definition at line 1373 of file at3_e3.cc.

References fiber_bundle::at3::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::vd::put_component(), sheaf::poset_component::release_access(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ star() [5/23]

void fiber_bundle::atp_algebra::star ( const at3_e3_lite &  x0,
at0_lite &  xresult 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1410 of file at3_e3.cc.

References fiber_bundle::at3_lite::component(), fiber_bundle::at0_lite::put_component(), and star().

◆ star() [6/23]

fiber_bundle::at0_lite * fiber_bundle::atp_algebra::star ( const at3_e3_lite &  x0)

The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types).

Postcondition
  • result != 0

Definition at line 1433 of file at3_e3.cc.

◆ star() [7/23]

void fiber_bundle::atp_algebra::star ( const at0 &  x0,
at3_e3 &  xresult,
bool  xauto_access 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types).

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • xresult.is_p_form(xauto_access) == old_xresult_is_p_form

Definition at line 1454 of file at3_e3.cc.

References fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::atp::is_p_form(), fiber_bundle::at3::put_component(), sheaf::poset_component::release_access(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ star() [8/23]

void fiber_bundle::atp_algebra::star ( const at0_lite &  x0,
at3_e3_lite &  xresult 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types).

Postcondition
  • xresult.component(0) == x0.component(0)

Definition at line 1492 of file at3_e3.cc.

References fiber_bundle::at3_lite::component(), fiber_bundle::at0_lite::component(), fiber_bundle::at3_lite::put_component(), and wedge().

◆ star() [9/23]

void fiber_bundle::atp_algebra::star ( const at2_e2 &  x0,
at0 &  xresult,
bool  xauto_access 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types).

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)

Definition at line 1518 of file at2_e2.cc.

References fiber_bundle::at2::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::vd::put_component(), 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().

Referenced by hook(), fiber_bundle::sec_at2_e2::invariant(), fiber_bundle::sec_at3_e3::invariant(), fiber_bundle::sec_at2_e3::invariant(), fields::field_atp_algebra::star(), fiber_bundle::sec_atp_algebra::star(), and star().

◆ star() [10/23]

void fiber_bundle::atp_algebra::star ( const at2_e2_lite &  x0,
at0_lite &  xresult 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types).

Postcondition
  • xresult.component(0) == x0.component(0)

Definition at line 1550 of file at2_e2.cc.

References fiber_bundle::at2_lite::component(), fiber_bundle::at0_lite::component(), fiber_bundle::at0_lite::put_component(), and star().

◆ star() [11/23]

fiber_bundle::at0_lite * fiber_bundle::atp_algebra::star ( const at2_e2_lite &  x0)

The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types).

Precondition
  • precondition_of(star(x0, *result))
Todo:
Postconditions.
Postcondition
  • result != 0
  • postcondition_of(star(x0, *result))

Definition at line 1571 of file at2_e2.cc.

References star().

◆ star() [12/23]

void fiber_bundle::atp_algebra::star ( const at0 &  x0,
at2_e2 &  xresult,
bool  xauto_access 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types).

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • xresult.is_p_form(xauto_access) == old_xresult_is_p_form

Definition at line 1598 of file at2_e2.cc.

References fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::atp::is_p_form(), fiber_bundle::at2::put_component(), sheaf::poset_component::release_access(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ star() [13/23]

void fiber_bundle::atp_algebra::star ( const at2_e3 &  x0,
e3 &  xresult,
bool  xauto_access 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types).

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)

Definition at line 1547 of file at2_e3.cc.

References fiber_bundle::at2::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::atp::is_p_form(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_form(), fiber_bundle::atp::put_is_p_vector(), sheaf::poset_component::release_access(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ star() [14/23]

void fiber_bundle::atp_algebra::star ( const at0_lite &  x0,
at2_e2_lite &  xresult 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types).

Postcondition
  • xresult.component(0) == x0.component(0)

Definition at line 1634 of file at2_e2.cc.

References fiber_bundle::at2_lite::component(), fiber_bundle::at0_lite::component(), fiber_bundle::at2_e2_lite::put_component(), and star().

◆ star() [15/23]

void fiber_bundle::atp_algebra::star ( const at2_e3_lite &  x0,
e3_lite &  xresult 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1596 of file at2_e3.cc.

References fiber_bundle::at2_lite::component(), fiber_bundle::vd_lite::put_component(), and star().

◆ star() [16/23]

fiber_bundle::at2_e2_lite * fiber_bundle::atp_algebra::star ( const at0_lite &  x0)

The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types).

Precondition
  • precondition_of(star(x0, *result))
Todo:
Postconditions.
Postcondition
  • result != 0
  • postcondition_of(star(x0, *result))

Definition at line 1655 of file at2_e2.cc.

References star().

◆ star() [17/23]

fiber_bundle::e3_lite * fiber_bundle::atp_algebra::star ( const at2_e3_lite &  x0)

The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1627 of file at2_e3.cc.

◆ star() [18/23]

void fiber_bundle::atp_algebra::star ( const e2 &  x0,
e2 &  xresult,
bool  xauto_access 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types).

Issue:
Do these functions belong in e2?
Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)

Definition at line 1682 of file at2_e2.cc.

References fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::atp::is_p_form(), fiber_bundle::vd::put_component(), fiber_bundle::atp::put_is_p_form(), fiber_bundle::atp::put_is_p_vector(), sheaf::poset_component::release_access(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ star() [19/23]

void fiber_bundle::atp_algebra::star ( const e3 &  x0,
at2_e3 &  xresult,
bool  xauto_access 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version persistent types).

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • xresult.is_p_form(xauto_access) == old_xresult_is_p_form

Definition at line 1650 of file at2_e3.cc.

References fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::atp::is_p_form(), fiber_bundle::at2::put_component(), sheaf::poset_component::release_access(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), and sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible().

◆ star() [20/23]

void fiber_bundle::atp_algebra::star ( const e2_lite &  x0,
e2_lite &  xresult 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1728 of file at2_e2.cc.

References fiber_bundle::vd_lite::component(), fiber_bundle::vd_lite::put_component(), and star().

◆ star() [21/23]

void fiber_bundle::atp_algebra::star ( const e3_lite &  x0,
at2_e3_lite &  xresult 
)

The Hodge star operator for antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1696 of file at2_e3.cc.

References fiber_bundle::vd_lite::component(), fiber_bundle::at2_lite::put_component(), and star().

◆ star() [22/23]

fiber_bundle::e2_lite * fiber_bundle::atp_algebra::star ( const e2_lite &  x0)

The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types).

Postcondition
  • result != 0

Definition at line 1758 of file at2_e2.cc.

◆ star() [23/23]

fiber_bundle::at2_e3_lite * fiber_bundle::atp_algebra::star ( const e3_lite &  x0)

The Hodge star operator for antisymmetric tensors (auto-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1727 of file at2_e3.cc.

◆ wedge() [1/10]

void fiber_bundle::atp_algebra::wedge ( const atp &  x0,
const atp &  x1,
atp &  xresult,
bool  xauto_access 
)

The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for persistent types).

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.dd(xauto_access) >= xresult.dd(xauto_access)
  • x1.dd(xauto_access) >= xresult.dd(xauto_access)
  • xresult.p(xauto_access) == x0.p(xauto_access) + x1.p(xauto_access)
Todo:
Postconditions.

Definition at line 1272 of file atp.cc.

References fiber_bundle::tp::dd(), fiber_bundle::tp::p(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and wedge().

◆ wedge() [2/10]

void fiber_bundle::atp_algebra::wedge ( const atp_lite &  x0,
const atp_lite &  x1,
atp_lite &  xresult 
)

The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for volatile types).

Precondition
  • x0.dd() == x1.dd()
  • x0.dd() == xresult.dd()
  • xresult.p() == x0.p() + x1.p()
Todo:
Postconditions.

Definition at line 1328 of file atp.cc.

References fiber_bundle::tp_lite::dd(), fiber_bundle::tp_lite::p(), and wedge().

◆ wedge() [3/10]

template<typename T0 , typename T1 >
tensor_traits< static_cast< int >T0::P)+static_cast< int >T1::P), typename T0::vector_space_type >::atp_type * fiber_bundle::atp_algebra::wedge ( const T0 &  x0,
const T1 &  x1 
)

The exterior (wedge) product of two antisymmetric tensors (auto-allocated version for volatile types).

Precondition
  • precondition_of(wedge(x0, x1, *result))
Postcondition
  • result != 0
  • postcondition_of(wedge(x0, x1, *result))
Precondition
  • precondition_of(wedge(x0, x1, *result))
Postcondition
  • result != 0
  • postcondition_of(wedge(x0, x1, *result))

Definition at line 76 of file atp.impl.h.

References fiber_bundle::vd_lite::atp_prototype(), and wedge().

◆ wedge() [4/10]

template<typename T0 , typename T1 >
tensor_traits< static_cast< int >T0::P)+static_cast< int >T1::P), typename T0::vector_space_type >::atp_type * fiber_bundle::atp_algebra::wedge ( const T0 &  x0,
const T1 &  x1,
bool  xauto_access 
)

The exterior (wedge) product of two antisymmetric tensors (auto-allocated version for persistent types).

Precondition
  • precondition_of(wedge(x0, x1, *result, xauto_access))
Postcondition
  • result != 0
  • postcondition_of(wedge(x0, x1, *result, xauto_access))
Precondition
  • precondition_of(wedge(x0, x1, *result, xauto_access))
Postcondition
  • result != 0
  • postcondition_of(wedge(x0, x1, *result, xauto_access))

Definition at line 136 of file atp.impl.h.

References wedge().

◆ wedge() [5/10]

void fiber_bundle::atp_algebra::wedge ( const at2_e3 &  x0,
const e3 &  x1,
at3_e3 &  xresult,
bool  xauto_access 
)

The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for persistent types).

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
  • xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)

Definition at line 1513 of file at3_e3.cc.

References fiber_bundle::at2::component(), fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::atp::is_p_form(), fiber_bundle::at3::put_component(), fiber_bundle::atp::put_is_p_form(), fiber_bundle::atp::put_is_p_vector(), sheaf::poset_component::release_access(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and wedge().

◆ wedge() [6/10]

void fiber_bundle::atp_algebra::wedge ( const at2_e3_lite &  x0,
const e3_lite &  x1,
at3_e3_lite &  xresult 
)

The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for volatile types).

Definition at line 1572 of file at3_e3.cc.

References fiber_bundle::at2_lite::component(), fiber_bundle::vd_lite::component(), and fiber_bundle::at3_lite::put_component().

◆ wedge() [7/10]

void fiber_bundle::atp_algebra::wedge ( const e3 &  x0,
const e3 &  x1,
at2_e3 &  xresult,
bool  xauto_access 
)

The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for persistent types).

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
  • xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)

Definition at line 1750 of file at2_e3.cc.

References fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::atp::is_p_form(), fiber_bundle::at2::put_component(), fiber_bundle::atp::put_is_p_form(), fiber_bundle::atp::put_is_p_vector(), sheaf::poset_component::release_access(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and wedge().

◆ wedge() [8/10]

void fiber_bundle::atp_algebra::wedge ( const e2 &  x0,
const e2 &  x1,
at2_e2 &  xresult,
bool  xauto_access 
)

The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for persistent types).

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
  • xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)

Definition at line 1779 of file at2_e2.cc.

References fiber_bundle::vd::component(), sheaf::poset_component::get_read_access(), sheaf::poset_component::get_read_write_access(), fiber_bundle::atp::is_p_form(), fiber_bundle::at2::put_component(), fiber_bundle::atp::put_is_p_form(), 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().

Referenced by fiber_bundle::sec_at2_e2::invariant(), fiber_bundle::sec_at3_e3::invariant(), fiber_bundle::sec_at2_e3::invariant(), star(), fields::field_atp_algebra::wedge(), fiber_bundle::sec_atp_algebra::wedge(), and wedge().

◆ wedge() [9/10]

void fiber_bundle::atp_algebra::wedge ( const e2_lite &  x0,
const e2_lite &  x1,
at2_e2_lite &  xresult 
)

The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for volatile types).

Precondition
  • x0.is_same_type(x1)
  • x0.dd() == xresult.dd()
Todo:
Postconditions.

Definition at line 1833 of file at2_e2.cc.

References fiber_bundle::vd_lite::component(), fiber_bundle::e2_lite::dd(), fiber_bundle::at2_e2_lite::dd(), fiber_bundle::any_lite::is_same_type(), and fiber_bundle::at2_e2_lite::put_component().

◆ wedge() [10/10]

void fiber_bundle::atp_algebra::wedge ( const e3_lite &  x0,
const e3_lite &  x1,
at2_e3_lite &  xresult 
)

The exterior (wedge) product of two antisymmetric tensors (pre-allocated version for volatile types).

Todo:
Postconditions.

Definition at line 1813 of file at2_e3.cc.

References fiber_bundle::vd_lite::component(), and fiber_bundle::at2_lite::put_component().