SheafSystem  0.0.0.0
Functions
fiber_bundle::sec_atp_algebra Namespace Reference

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

Functions

SHEAF_DLL_SPEC void hook (const sec_e2 &x0, const sec_e2 &x1, sec_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 sec_at2_e2 &x0, const sec_e2 &x1, sec_e2 &xresult, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void star (const sec_at2_e2 &x0, sec_at0 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void star (const sec_at0 &x0, sec_at2_e2 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void star (const sec_e2 &x0, sec_e2 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void wedge (const sec_e2 &x0, const sec_e2 &x1, sec_at2_e2 &xresult, bool xauto_access)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void hook (const sec_e3 &x0, const sec_e3 &x1, sec_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 sec_at2_e3 &x0, const sec_e3 &x1, sec_e3 &xresult, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version for persistent types). More...
 
SHEAF_DLL_SPEC void star (const sec_at2_e3 &x0, sec_e3 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void star (const sec_e3 &x0, sec_at2_e3 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void wedge (const sec_e3 &x0, const sec_e3 &x1, sec_at2_e3 &xresult, bool xauto_access)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void hook (const sec_at3_e3 &x0, const sec_e3 &x1, sec_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 star (const sec_at3_e3 &x0, sec_at0 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void star (const sec_at0 &x0, sec_at3_e3 &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void wedge (const sec_at2_e3 &x0, const sec_e3 &x1, sec_at3_e3 &xresult, bool xauto_access)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void hook (const sec_atp &x0, const sec_atp &x1, sec_atp &xresult, bool xauto_access)
 The interior (hook) product of two antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void star (const sec_atp &x0, sec_atp &xresult, bool xauto_access)
 The Hodge star operator for antisymmetric tensors (pre-allocated version). More...
 
SHEAF_DLL_SPEC void wedge (const sec_atp &x0, const sec_atp &x1, sec_atp &xresult, bool xauto_access)
 The exterior (wedge) product of two antisymmetric tensors (pre-allocated version). More...
 

Detailed Description

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

Function Documentation

◆ hook() [1/6]

void fiber_bundle::sec_atp_algebra::hook ( const sec_e2 &  x0,
const sec_e2 &  x1,
sec_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)
  • x1.dd(xauto_access) == x0.dd(xauto_access)
  • x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)
  • xresult.p(xauto_access) == x0.p(xauto_access) - 1
Postcondition
  • xresult.variance(xauto_access) == hook(x0.variance(xauto_access))

Definition at line 767 of file sec_at2_e2.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), fiber_bundle::sec_tp::dd(), fiber_bundle::atp_algebra::hook(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and fiber_bundle::sec_tp::variance().

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

◆ hook() [2/6]

void fiber_bundle::sec_atp_algebra::hook ( const sec_at2_e2 &  x0,
const sec_e2 &  x1,
sec_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)
  • x1.dd(xauto_access) == x0.dd(xauto_access)
  • x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)
  • xresult.p(xauto_access) == x0.p(xauto_access) - 1
Postcondition
  • xresult.variance(xauto_access) == hook(x0.variance(xauto_access))

Definition at line 798 of file sec_at2_e2.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), fiber_bundle::sec_tp::dd(), fiber_bundle::atp_algebra::hook(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and fiber_bundle::sec_tp::variance().

◆ hook() [3/6]

void fiber_bundle::sec_atp_algebra::hook ( const sec_atp &  x0,
const sec_atp &  x1,
sec_atp &  xresult,
bool  xauto_access 
)

The interior (hook) product of two antisymmetric tensors (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)
  • x1.dd(xauto_access) == x0.dd(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)
Postcondition
  • xresult.variance(xauto_access) == hook(x0.variance(xauto_access))

Definition at line 729 of file sec_atp.cc.

References fiber_bundle::sec_tp::dd(), fiber_bundle::atp_algebra::hook(), fiber_bundle::sec_atp::is_p_form(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and fiber_bundle::sec_tp::variance().

◆ hook() [4/6]

void fiber_bundle::sec_atp_algebra::hook ( const sec_e3 &  x0,
const sec_e3 &  x1,
sec_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)
  • x1.dd(xauto_access) == x0.dd(xauto_access)
  • x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)
  • xresult.p(xauto_access) == x0.p(xauto_access) - 1
Postcondition
  • xresult.variance(xauto_access) == hook(x0.variance(xauto_access))

Definition at line 760 of file sec_at2_e3.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), fiber_bundle::sec_tp::dd(), hook(), fiber_bundle::atp_algebra::hook(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and fiber_bundle::sec_tp::variance().

◆ hook() [5/6]

void fiber_bundle::sec_atp_algebra::hook ( const sec_at3_e3 &  x0,
const sec_e3 &  x1,
sec_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)
  • x1.dd(xauto_access) == x0.dd(xauto_access)
  • x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)
  • xresult.p(xauto_access) == x0.p(xauto_access) - 1
Postcondition
  • xresult.variance(xauto_access) == hook(x0.variance(xauto_access))

Definition at line 765 of file sec_at3_e3.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), fiber_bundle::sec_tp::dd(), fiber_bundle::atp_algebra::hook(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and fiber_bundle::sec_tp::variance().

◆ hook() [6/6]

void fiber_bundle::sec_atp_algebra::hook ( const sec_at2_e3 &  x0,
const sec_e3 &  x1,
sec_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)
  • x1.dd(xauto_access) == x0.dd(xauto_access)
  • x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)
  • xresult.p(xauto_access) == x0.p(xauto_access) - 1
Postcondition
  • xresult.variance(xauto_access) == hook(x0.variance(xauto_access))

Definition at line 791 of file sec_at2_e3.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), fiber_bundle::sec_tp::dd(), fiber_bundle::atp_algebra::hook(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and fiber_bundle::sec_tp::variance().

◆ star() [1/8]

void fiber_bundle::sec_atp_algebra::star ( const sec_at2_e2 &  x0,
sec_at0 &  xresult,
bool  xauto_access 
)

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

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • (x0.p(xauto_access)>0) \ ? (xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)) : true
  • (x0.p(xauto_access)==0) \ ? (xresult.is_p_form(xauto_access) == old_xresult_is_p_form): true

Definition at line 830 of file sec_at2_e2.cc.

References fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), fiber_bundle::atp_algebra::star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_vd_algebra::unary_op(), and fiber_bundle::sec_tp::variance().

Referenced by hook(), fields::field_atp_algebra::star(), and star().

◆ star() [2/8]

void fiber_bundle::sec_atp_algebra::star ( const sec_at0 &  x0,
sec_at2_e2 &  xresult,
bool  xauto_access 
)

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

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • (x0.p(xauto_access)>0) \ ? (xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)) : true
  • (x0.p(xauto_access)==0) \ ? (xresult.is_p_form(xauto_access) == old_xresult_is_p_form): true

Definition at line 870 of file sec_at2_e2.cc.

References fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), star(), fiber_bundle::atp_algebra::star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_vd_algebra::unary_op(), and fiber_bundle::sec_tp::variance().

◆ star() [3/8]

void fiber_bundle::sec_atp_algebra::star ( const sec_atp &  x0,
sec_atp &  xresult,
bool  xauto_access 
)

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

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

Definition at line 794 of file sec_atp.cc.

References fiber_bundle::atp_algebra::star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and wedge().

◆ star() [4/8]

void fiber_bundle::sec_atp_algebra::star ( const sec_e2 &  x0,
sec_e2 &  xresult,
bool  xauto_access 
)

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

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • (x0.p(xauto_access)>0) \ ? (xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)) : true
  • (x0.p(xauto_access)==0) \ ? (xresult.is_p_form(xauto_access) == old_xresult_is_p_form): true

Definition at line 910 of file sec_at2_e2.cc.

References fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), fiber_bundle::atp_algebra::star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_vd_algebra::unary_op(), fiber_bundle::sec_tp::variance(), and wedge().

◆ star() [5/8]

void fiber_bundle::sec_atp_algebra::star ( const sec_at3_e3 &  x0,
sec_at0 &  xresult,
bool  xauto_access 
)

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

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • (x0.p(xauto_access)>0) \ ? (xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)) : true
  • (x0.p(xauto_access)==0) \ ? (xresult.is_p_form(xauto_access) == old_xresult_is_p_form): true

Definition at line 796 of file sec_at3_e3.cc.

References fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), star(), fiber_bundle::atp_algebra::star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_vd_algebra::unary_op(), and fiber_bundle::sec_tp::variance().

◆ star() [6/8]

void fiber_bundle::sec_atp_algebra::star ( const sec_at2_e3 &  x0,
sec_e3 &  xresult,
bool  xauto_access 
)

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

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • (x0.p(xauto_access)>0) \ ? (xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)) : true
  • (x0.p(xauto_access)==0) \ ? (xresult.is_p_form(xauto_access) == old_xresult_is_p_form): true

Definition at line 823 of file sec_at2_e3.cc.

References fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), star(), fiber_bundle::atp_algebra::star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_vd_algebra::unary_op(), and fiber_bundle::sec_tp::variance().

◆ star() [7/8]

void fiber_bundle::sec_atp_algebra::star ( const sec_at0 &  x0,
sec_at3_e3 &  xresult,
bool  xauto_access 
)

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

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • (x0.p(xauto_access)>0) \ ? (xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)) : true
  • (x0.p(xauto_access)==0) \ ? (xresult.is_p_form(xauto_access) == old_xresult_is_p_form): true

Definition at line 836 of file sec_at3_e3.cc.

References fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), fiber_bundle::atp_algebra::star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_vd_algebra::unary_op(), fiber_bundle::sec_tp::variance(), and wedge().

◆ star() [8/8]

void fiber_bundle::sec_atp_algebra::star ( const sec_e3 &  x0,
sec_at2_e3 &  xresult,
bool  xauto_access 
)

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

Precondition
  • x0.state_is_auto_read_accessible(xauto_access)
  • xresult.state_is_auto_read_write_accessible(xauto_access)
Postcondition
  • (x0.p(xauto_access)>0) \ ? (xresult.is_p_form(xauto_access) == x0.is_p_form(xauto_access)) : true
  • (x0.p(xauto_access)==0) \ ? (xresult.is_p_form(xauto_access) == old_xresult_is_p_form): true

Definition at line 863 of file sec_at2_e3.cc.

References fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), fiber_bundle::atp_algebra::star(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_vd_algebra::unary_op(), fiber_bundle::sec_tp::variance(), and wedge().

◆ wedge() [1/4]

void fiber_bundle::sec_atp_algebra::wedge ( const sec_atp &  x0,
const sec_atp &  x1,
sec_atp &  xresult,
bool  xauto_access 
)

The exterior (wedge) product of two antisymmetric tensors (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.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)
  • x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)
Todo:
Postconditions.

Definition at line 867 of file sec_atp.cc.

References fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), and fiber_bundle::atp_algebra::wedge().

◆ wedge() [2/4]

void fiber_bundle::sec_atp_algebra::wedge ( const sec_e2 &  x0,
const sec_e2 &  x1,
sec_at2_e2 &  xresult,
bool  xauto_access 
)

The exterior (wedge) product of two antisymmetric tensors (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.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)
  • x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)
Postcondition
  • xresult.variance(xauto_access) == \ wedge(x0.variance(xauto_access), x1.variance(xauto_access))

Definition at line 950 of file sec_at2_e2.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_tp::variance(), and fiber_bundle::atp_algebra::wedge().

Referenced by star(), and fields::field_atp_algebra::wedge().

◆ wedge() [3/4]

void fiber_bundle::sec_atp_algebra::wedge ( const sec_at2_e3 &  x0,
const sec_e3 &  x1,
sec_at3_e3 &  xresult,
bool  xauto_access 
)

The exterior (wedge) product of two antisymmetric tensors (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.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)
  • x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)
Postcondition
  • xresult.variance(xauto_access) == \ wedge(x0.variance(xauto_access), x1.variance(xauto_access))

Definition at line 876 of file sec_at3_e3.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_tp::variance(), and fiber_bundle::atp_algebra::wedge().

◆ wedge() [4/4]

void fiber_bundle::sec_atp_algebra::wedge ( const sec_e3 &  x0,
const sec_e3 &  x1,
sec_at2_e3 &  xresult,
bool  xauto_access 
)

The exterior (wedge) product of two antisymmetric tensors (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.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)
  • x0.is_p_form(xauto_access) == x1.is_p_form(xauto_access)
Postcondition
  • xresult.variance(xauto_access) == \ wedge(x0.variance(xauto_access), x1.variance(xauto_access))

Definition at line 903 of file sec_at2_e3.cc.

References fiber_bundle::sec_vd_algebra::binary_op(), fiber_bundle::sec_tp::dd(), fiber_bundle::sec_atp::is_p_form(), fiber_bundle::sec_tp::p(), fiber_bundle::sec_tp::put_variance(), sheaf::read_write_monitor_handle::state_is_auto_read_accessible(), sheaf::read_write_monitor_handle::state_is_auto_read_write_accessible(), fiber_bundle::sec_tp::variance(), and fiber_bundle::atp_algebra::wedge().