Lattice land propagators completion library
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
lala::pc::GroupMul< Universe, divsig > Struct Template Reference

#include <terms.hpp>

Public Types

using U = Universe
 

Static Public Member Functions

static CUDA void project (const U &a, const U &b, U &r)
 
static CUDA bool is_absorbing (const U &a)
 
static CUDA void rev_op (const U &a, const U &b, U &r)
 
static CUDA void left_residual (const U &a, const U &b, U &r)
 
static CUDA void right_residual (const U &a, const U &b, U &r)
 
static CUDA char symbol ()
 
static CUDA Sig sig ()
 

Static Public Attributes

static constexpr bool prefix_symbol = false
 

Member Typedef Documentation

◆ U

template<class Universe , Sig divsig>
using lala::pc::GroupMul< Universe, divsig >::U = Universe

Member Function Documentation

◆ project()

template<class Universe , Sig divsig>
static CUDA void lala::pc::GroupMul< Universe, divsig >::project ( const U & a,
const U & b,
U & r )
inlinestatic

◆ is_absorbing()

template<class Universe , Sig divsig>
static CUDA bool lala::pc::GroupMul< Universe, divsig >::is_absorbing ( const U & a)
inlinestatic

◆ rev_op()

template<class Universe , Sig divsig>
static CUDA void lala::pc::GroupMul< Universe, divsig >::rev_op ( const U & a,
const U & b,
U & r )
inlinestatic
Precondition
is_absorbing(b) must be false.

◆ left_residual()

template<class Universe , Sig divsig>
static CUDA void lala::pc::GroupMul< Universe, divsig >::left_residual ( const U & a,
const U & b,
U & r )
inlinestatic

If a and b contains 0, then we cannot say anything on the inverse since 0 is absorbing and the inverse could be anything.

◆ right_residual()

template<class Universe , Sig divsig>
static CUDA void lala::pc::GroupMul< Universe, divsig >::right_residual ( const U & a,
const U & b,
U & r )
inlinestatic

◆ symbol()

template<class Universe , Sig divsig>
static CUDA char lala::pc::GroupMul< Universe, divsig >::symbol ( )
inlinestatic

◆ sig()

template<class Universe , Sig divsig>
static CUDA Sig lala::pc::GroupMul< Universe, divsig >::sig ( )
inlinestatic

Member Data Documentation

◆ prefix_symbol

template<class Universe , Sig divsig>
bool lala::pc::GroupMul< Universe, divsig >::prefix_symbol = false
staticconstexpr
The documentation for this struct was generated from the following file: