SheafSystem  0.0.0.0
fields::field_st2_algebra Namespace Reference

Namespace containing the algrebra functions for a field with a property section of type sec_st2. More...

Functions

void SHEAF_DLL_SPEC trace (const field_st2 &x0, field_at0 &xresult, bool xauto_access)
 The trace of x0. More...
 
void SHEAF_DLL_SPEC determinant (const field_st2 &x0, field_at0 &xresult, bool xauto_access)
 The determinant of x0. More...
 

Detailed Description

Namespace containing the algrebra functions for a field with a property section of type sec_st2.

Function Documentation

◆ determinant()

void fields::field_st2_algebra::determinant ( const field_st2 x0,
field_at0 xresult,
bool  xauto_access 
)

The determinant of x0.

Precondition
  • precondition_of(\ determinant(x0.property(), xresult.property(), xauto_access))
Postcondition
  • postcondition_of(\ determinant(x0.property(), xresult.property(), xauto_access))

Definition at line 56 of file field_st2_funcs.impl.h.

References fiber_bundle::sec_st2_algebra::determinant(), fiber_bundle::st2_algebra::determinant(), fields::field_at0::property(), and fields::field_st2::property().

Referenced by trace().

◆ trace()

void fields::field_st2_algebra::trace ( const field_st2 x0,
field_at0 xresult,
bool  xauto_access 
)

The trace of x0.

Implementation for field_st2 algebra functions.

Precondition
  • precondition_of(\ trace(x0.property(), xresult.property(), xauto_access))
Postcondition
  • postcondition_of(\ trace(x0.property(), xresult.property(), xauto_access))

Definition at line 32 of file field_st2_funcs.impl.h.

References determinant(), fields::field_st2::property(), fields::field_at0::property(), fiber_bundle::sec_st2_algebra::trace(), and fiber_bundle::st2_algebra::trace().