Detailed Description

template<typename S1_, typename S2_>
class Sym::S1xS2< S1_, S2_ >

This class combines two symmetries.

Definition at line 34 of file S1xS2.h.

#include <S1xS2.h>

Public Types
typedef S1_::Scalar_	Scalar

typedef S1_::Scalar_	Scalar_

typedef S1_	S1

typedef S2_	S2

typedef qarray< Nq >	qType

Public Member Functions
	S1xS2 ()

template<std::size_t M>
bool	compare (const std::array< S1xS2< S1_, S2_ >::qType, M > &q1, const std::array< S1xS2< S1_, S2_ >::qType, M > &q2)

template<std::size_t M>
bool	validate (const std::array< S1xS2< S1_, S2_ >::qType, M > &qs)

Static Public Member Functions
static std::string	name ()

static constexpr bool	IS_CHARGE_SU2 ()

static constexpr bool	IS_SPIN_SU2 ()

static constexpr bool	IS_SPIN_U1 ()

static constexpr bool	NO_SPIN_SYM ()

static constexpr bool	NO_CHARGE_SYM ()

static constexpr std::array< KIND, Nq >	kind ()

static constexpr std::array< int, Nq >	mod ()

static constexpr qType	qvacuum ()

static constexpr std::array< qType, lowest_qs_size >	lowest_qs ()

static qType	flip (const qType &q)

static int	degeneracy (const qType &q)

static int	spinorFactor ()

template<std::size_t M>
static bool	compare (const std::array< qType, M > &q1, const std::array< qType, M > &q2)

template<std::size_t M>
static bool	validate (const std::array< qType, M > &qs)

static bool	triangle (const std::array< qType, 3 > &qs)

static bool	pair (const std::array< qType, 2 > &qs)


static std::vector< qType >	reduceSilent (const qType &ql, const qType &qr)

static std::vector< qType >	reduceSilent (const qType &ql, const qType &qm, const qType &qr)

static std::vector< qType >	reduceSilent (const std::vector< qType > &ql, const qType &qr)

static std::vector< qType >	reduceSilent (const std::vector< qType > &ql, const std::vector< qType > &qr, bool UNIQUE=false)

static vector< tuple< qarray< Nq >, size_t, qarray< Nq >, size_t, qarray< Nq > > >	tensorProd (const std::vector< qType > &ql, const std::vector< qType > &qr)


static Scalar	coeff_unity ()

static Scalar	coeff_dot (const qType &q1)

static Scalar	coeff_rightOrtho (const qType &q1, const qType &q2)

static Scalar	coeff_leftSweep (const qType &q1, const qType &q2)

static Scalar	coeff_swapPhase (const qType &q1, const qType &q2, const qType &q3)

static Scalar	coeff_adjoint (const qType &q1, const qType &q2, const qType &q3)

static Scalar	coeff_splitAA (const qType &q1, const qType &q2, const qType &q3)

static Scalar	coeff_leftSweep2 (const qType &q1, const qType &q2, const qType &q3)

static Scalar	coeff_leftSweep3 (const qType &q1, const qType &q2, const qType &q3)

static Scalar	coeff_3j (const qType &q1, const qType &q2, const qType &q3, int q1_z, int q2_z, int q3_z)

static Scalar	coeff_CGC (const qType &q1, const qType &q2, const qType &q3, int q1_z, int q2_z, int q3_z)

static Scalar	coeff_6j (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6)

static Scalar	coeff_Apair (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6)

static Scalar	coeff_splitAA (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6)

static Scalar	coeff_prod (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6)

static Scalar	coeff_MPOprod6 (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6)

static Scalar	coeff_twoSiteGate (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6)

static Scalar	coeff_9j (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6, const qType &q7, const qType &q8, const qType &q9)

static Scalar	coeff_tensorProd (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6, const qType &q7, const qType &q8, const qType &q9)

static Scalar	coeff_MPOprod9 (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6, const qType &q7, const qType &q8, const qType &q9)

static Scalar	coeff_buildL (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6, const qType &q7, const qType &q8, const qType &q9)

static Scalar	coeff_buildR (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6, const qType &q7, const qType &q8, const qType &q9)

static Scalar	coeff_HPsi (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6, const qType &q7, const qType &q8, const qType &q9)

static Scalar	coeff_AW (const qType &q1, const qType &q2, const qType &q3, const qType &q4, const qType &q5, const qType &q6, const qType &q7, const qType &q8, const qType &q9)

Static Public Attributes
static constexpr std::size_t	Nq =S1_::Nq+S2_::Nq

static constexpr bool	HAS_CGC = false

static constexpr bool	NON_ABELIAN = S1_::NON_ABELIAN or S2_::NON_ABELIAN

static constexpr bool	ABELIAN = S1_::ABELIAN and S2_::ABELIAN

static constexpr bool	IS_TRIVIAL = S1_::IS_TRIVIAL and S2_::IS_TRIVIAL

static constexpr bool	IS_MODULAR = S1_::IS_MODULAR and S2_::IS_MODULAR

static constexpr int	MOD_N = S1_::MOD_N * S2_::MOD_N

static constexpr size_t	lowest_qs_size = S1_::lowest_qs_size*S2_::lowest_qs_size

Member Typedef Documentation

◆ qType

template<typename S1_ , typename S2_ >

typedef qarray<Nq> Sym::S1xS2< S1_, S2_ >::qType

Definition at line 66 of file S1xS2.h.

◆ S1

template<typename S1_ , typename S2_ >

typedef S1_ Sym::S1xS2< S1_, S2_ >::S1

Definition at line 42 of file S1xS2.h.

◆ S2

template<typename S1_ , typename S2_ >

typedef S2_ Sym::S1xS2< S1_, S2_ >::S2

Definition at line 43 of file S1xS2.h.

◆ Scalar

template<typename S1_ , typename S2_ >

typedef S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::Scalar

Definition at line 38 of file S1xS2.h.

◆ Scalar_

template<typename S1_ , typename S2_ >

typedef S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::Scalar_

Definition at line 39 of file S1xS2.h.

Constructor & Destructor Documentation

◆ S1xS2()

template<typename S1_ , typename S2_ >

Sym::S1xS2< S1_, S2_ >::S1xS2 ( )

inline

Definition at line 45 of file S1xS2.h.

Member Function Documentation

◆ coeff_3j()

template<typename S1_ , typename S2_ >

static Scalar Sym::S1xS2< S1_, S2_ >::coeff_3j	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		int	q1_z,
		int	q2_z,
		int	q3_z
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 132 of file S1xS2.h.

◆ coeff_6j()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_6j	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 410 of file S1xS2.h.

◆ coeff_9j()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_9j	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6,
		const qType &	q7,
		const qType &	q8,
		const qType &	q9
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 524 of file S1xS2.h.

◆ coeff_adjoint()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_adjoint	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 349 of file S1xS2.h.

◆ coeff_Apair()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_Apair	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 429 of file S1xS2.h.

◆ coeff_AW()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_AW	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6,
		const qType &	q7,
		const qType &	q8,
		const qType &	q9
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 674 of file S1xS2.h.

◆ coeff_buildL()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_buildL	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6,
		const qType &	q7,
		const qType &	q8,
		const qType &	q9
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 599 of file S1xS2.h.

◆ coeff_buildR()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_buildR	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6,
		const qType &	q7,
		const qType &	q8,
		const qType &	q9
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 624 of file S1xS2.h.

◆ coeff_CGC()

template<typename S1_ , typename S2_ >

static Scalar Sym::S1xS2< S1_, S2_ >::coeff_CGC	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		int	q1_z,
		int	q2_z,
		int	q3_z
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 134 of file S1xS2.h.

◆ coeff_dot()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_dot ( const qType & q1 )

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 309 of file S1xS2.h.

◆ coeff_HPsi()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_HPsi	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6,
		const qType &	q7,
		const qType &	q8,
		const qType &	q9
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 649 of file S1xS2.h.

◆ coeff_leftSweep()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_leftSweep	(	const qType &	q1,
		const qType &	q2
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 328 of file S1xS2.h.

◆ coeff_leftSweep2()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_leftSweep2	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 371 of file S1xS2.h.

◆ coeff_leftSweep3()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_leftSweep3	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 382 of file S1xS2.h.

◆ coeff_MPOprod6()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_MPOprod6	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 486 of file S1xS2.h.

◆ coeff_MPOprod9()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_MPOprod9	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6,
		const qType &	q7,
		const qType &	q8,
		const qType &	q9
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 574 of file S1xS2.h.

◆ coeff_prod()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_prod	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 467 of file S1xS2.h.

◆ coeff_rightOrtho()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_rightOrtho	(	const qType &	q1,
		const qType &	q2
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 318 of file S1xS2.h.

◆ coeff_splitAA() [1/2]

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_splitAA	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 360 of file S1xS2.h.

◆ coeff_splitAA() [2/2]

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_splitAA	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6
	)

static

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 448 of file S1xS2.h.

◆ coeff_swapPhase()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_swapPhase	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 338 of file S1xS2.h.

◆ coeff_tensorProd()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_tensorProd	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6,
		const qType &	q7,
		const qType &	q8,
		const qType &	q9
	)

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 549 of file S1xS2.h.

◆ coeff_twoSiteGate()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_twoSiteGate	(	const qType &	q1,
		const qType &	q2,
		const qType &	q3,
		const qType &	q4,
		const qType &	q5,
		const qType &	q6
	)

static

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 505 of file S1xS2.h.

◆ coeff_unity()

template<typename S1_ , typename S2_ >

S1_::Scalar_ Sym::S1xS2< S1_, S2_ >::coeff_unity

inlinestatic

Various coefficients, all resulting from contractions or traces of the Clebsch-Gordon coefficients.

Definition at line 301 of file S1xS2.h.

◆ compare() [1/2]

template<typename S1_ , typename S2_ >

template<std::size_t M>

static bool Sym::S1xS2< S1_, S2_ >::compare	(	const std::array< qType, M > &	q1,
		const std::array< qType, M > &	q2
	)

static

This function defines a strict order for arrays of quantum-numbers.

Note: The implementation is arbritary, as long as it defines a strict order.

◆ compare() [2/2]

template<typename S1_ , typename S2_ >

template<std::size_t M>

bool Sym::S1xS2< S1_, S2_ >::compare	(	const std::array< S1xS2< S1_, S2_ >::qType, M > &	q1,
		const std::array< S1xS2< S1_, S2_ >::qType, M > &	q2
	)

Definition at line 700 of file S1xS2.h.

◆ degeneracy()

template<typename S1_ , typename S2_ >

static int Sym::S1xS2< S1_, S2_ >::degeneracy ( const qType & q )

inlinestatic

Definition at line 88 of file S1xS2.h.

◆ flip()

template<typename S1_ , typename S2_ >

static qType Sym::S1xS2< S1_, S2_ >::flip ( const qType & q )

inlinestatic

Definition at line 87 of file S1xS2.h.

◆ IS_CHARGE_SU2()

template<typename S1_ , typename S2_ >

static constexpr bool Sym::S1xS2< S1_, S2_ >::IS_CHARGE_SU2 ( )

inlinestaticconstexpr

Definition at line 58 of file S1xS2.h.

◆ IS_SPIN_SU2()

template<typename S1_ , typename S2_ >

static constexpr bool Sym::S1xS2< S1_, S2_ >::IS_SPIN_SU2 ( )

inlinestaticconstexpr

Definition at line 59 of file S1xS2.h.

◆ IS_SPIN_U1()

template<typename S1_ , typename S2_ >

static constexpr bool Sym::S1xS2< S1_, S2_ >::IS_SPIN_U1 ( )

inlinestaticconstexpr

Definition at line 61 of file S1xS2.h.

◆ kind()

template<typename S1_ , typename S2_ >

static constexpr std::array< KIND, Nq > Sym::S1xS2< S1_, S2_ >::kind ( )

inlinestaticconstexpr

Definition at line 68 of file S1xS2.h.

◆ lowest_qs()

template<typename S1_ , typename S2_ >

static constexpr std::array< qType, lowest_qs_size > Sym::S1xS2< S1_, S2_ >::lowest_qs ( )

inlinestaticconstexpr

Definition at line 74 of file S1xS2.h.

◆ mod()

template<typename S1_ , typename S2_ >

static constexpr std::array< int, Nq > Sym::S1xS2< S1_, S2_ >::mod ( )

inlinestaticconstexpr

Definition at line 69 of file S1xS2.h.

◆ name()

template<typename S1_ , typename S2_ >

static std::string Sym::S1xS2< S1_, S2_ >::name ( )

inlinestatic

Definition at line 47 of file S1xS2.h.

◆ NO_CHARGE_SYM()

template<typename S1_ , typename S2_ >

static constexpr bool Sym::S1xS2< S1_, S2_ >::NO_CHARGE_SYM ( )

inlinestaticconstexpr

Definition at line 64 of file S1xS2.h.

◆ NO_SPIN_SYM()

template<typename S1_ , typename S2_ >

static constexpr bool Sym::S1xS2< S1_, S2_ >::NO_SPIN_SYM ( )

inlinestaticconstexpr

Definition at line 63 of file S1xS2.h.

◆ pair()

template<typename S1_ , typename S2_ >

bool Sym::S1xS2< S1_, S2_ >::pair ( const std::array< qType, 2 > & qs )

static

Definition at line 746 of file S1xS2.h.

◆ qvacuum()

template<typename S1_ , typename S2_ >

static constexpr qType Sym::S1xS2< S1_, S2_ >::qvacuum ( )

inlinestaticconstexpr

Definition at line 71 of file S1xS2.h.

◆ reduceSilent() [1/4]

template<typename S1_ , typename S2_ >

std::vector< typename S1xS2< S1_, S2_ >::qType > Sym::S1xS2< S1_, S2_ >::reduceSilent	(	const qType &	ql,
		const qType &	qm,
		const qType &	qr
	)

static

Calculate the irreps of the tensor product of ql, qm and qr.

Note: This is independent of the order the quantumnumbers.

Definition at line 212 of file S1xS2.h.

◆ reduceSilent() [2/4]

template<typename S1_ , typename S2_ >

std::vector< typename S1xS2< S1_, S2_ >::qType > Sym::S1xS2< S1_, S2_ >::reduceSilent	(	const qType &	ql,
		const qType &	qr
	)

static

Calculate the irreps of the tensor product of ql and qr.

Definition at line 194 of file S1xS2.h.

◆ reduceSilent() [3/4]

template<typename S1_ , typename S2_ >

std::vector< typename S1xS2< S1_, S2_ >::qType > Sym::S1xS2< S1_, S2_ >::reduceSilent	(	const std::vector< qType > &	ql,
		const qType &	qr
	)

static

Calculate the irreps of the tensor product of all entries of ql with qr.

Warning: : Returns not only unique irreps. Not sure, if we should return only the unique values here. Probably, that should be at least added as an option.

Definition at line 219 of file S1xS2.h.

◆ reduceSilent() [4/4]

template<typename S1_ , typename S2_ >

std::vector< typename S1xS2< S1_, S2_ >::qType > Sym::S1xS2< S1_, S2_ >::reduceSilent	(	const std::vector< qType > &	ql,
		const std::vector< qType > &	qr,
		bool	UNIQUE = `false`
	)

static

Calculate the irreps of the tensor product of all entries of ql with all entries of qr.

Warning: : Returns only unique irreps. Better: Put an option for unique or non-unique irreps in the return vector.

Definition at line 243 of file S1xS2.h.

◆ spinorFactor()

template<typename S1_ , typename S2_ >

static int Sym::S1xS2< S1_, S2_ >::spinorFactor ( )

inlinestatic

Definition at line 90 of file S1xS2.h.

◆ tensorProd()

template<typename S1_ , typename S2_ >

vector< tuple< qarray< S1xS2< S1_, S2_ >::Nq >, size_t, qarray< S1xS2< S1_, S2_ >::Nq >, size_t, qarray< S1xS2< S1_, S2_ >::Nq > > > Sym::S1xS2< S1_, S2_ >::tensorProd	(	const std::vector< qType > &	ql,
		const std::vector< qType > &	qr
	)

static

Calculate the irreps of the tensor product of ql and qr.

Definition at line 278 of file S1xS2.h.

◆ triangle()

template<typename S1_ , typename S2_ >

bool Sym::S1xS2< S1_, S2_ >::triangle ( const std::array< qType, 3 > & qs )

static

Definition at line 730 of file S1xS2.h.

◆ validate() [1/2]

template<typename S1_ , typename S2_ >

template<std::size_t M>

static bool Sym::S1xS2< S1_, S2_ >::validate ( const std::array< qType, M > & qs )

static

This function checks if the array qs contains quantum-numbers which match together, with respect to the flow equations.

Cosmetic Todo:: Write multiple functions, for different sizes of the array and rename them, to have a more clear interface. Example: For 3-array: triangular(...) or something similar.

◆ validate() [2/2]

template<typename S1_ , typename S2_ >

template<std::size_t M>

bool Sym::S1xS2< S1_, S2_ >::validate ( const std::array< S1xS2< S1_, S2_ >::qType, M > & qs )

Definition at line 763 of file S1xS2.h.

Member Data Documentation

◆ ABELIAN

template<typename S1_ , typename S2_ >

constexpr bool Sym::S1xS2< S1_, S2_ >::ABELIAN = S1_::ABELIAN and S2_::ABELIAN

staticconstexpr

Definition at line 53 of file S1xS2.h.

◆ HAS_CGC

template<typename S1_ , typename S2_ >

constexpr bool Sym::S1xS2< S1_, S2_ >::HAS_CGC = false

staticconstexpr

Definition at line 51 of file S1xS2.h.

◆ IS_MODULAR

template<typename S1_ , typename S2_ >

constexpr bool Sym::S1xS2< S1_, S2_ >::IS_MODULAR = S1_::IS_MODULAR and S2_::IS_MODULAR

staticconstexpr

Definition at line 55 of file S1xS2.h.

◆ IS_TRIVIAL

template<typename S1_ , typename S2_ >

constexpr bool Sym::S1xS2< S1_, S2_ >::IS_TRIVIAL = S1_::IS_TRIVIAL and S2_::IS_TRIVIAL

staticconstexpr

Definition at line 54 of file S1xS2.h.

◆ lowest_qs_size

template<typename S1_ , typename S2_ >

constexpr size_t Sym::S1xS2< S1_, S2_ >::lowest_qs_size = S1_::lowest_qs_size*S2_::lowest_qs_size

inlinestaticconstexpr

Definition at line 73 of file S1xS2.h.

◆ MOD_N

template<typename S1_ , typename S2_ >

constexpr int Sym::S1xS2< S1_, S2_ >::MOD_N = S1_::MOD_N * S2_::MOD_N

staticconstexpr

Definition at line 56 of file S1xS2.h.

◆ NON_ABELIAN

template<typename S1_ , typename S2_ >

constexpr bool Sym::S1xS2< S1_, S2_ >::NON_ABELIAN = S1_::NON_ABELIAN or S2_::NON_ABELIAN

staticconstexpr

Definition at line 52 of file S1xS2.h.

◆ Nq

template<typename S1_ , typename S2_ >

constexpr std::size_t Sym::S1xS2< S1_, S2_ >::Nq =S1_::Nq+S2_::Nq

staticconstexpr

Definition at line 49 of file S1xS2.h.

The documentation for this class was generated from the following file:

S1xS2.h

Detailed Description

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Member Typedef Documentation

◆ qType

◆ S1

◆ S2

◆ Scalar

◆ Scalar_

Constructor & Destructor Documentation

◆ S1xS2()

Member Function Documentation

◆ coeff_3j()

◆ coeff_6j()

◆ coeff_9j()

◆ coeff_adjoint()

◆ coeff_Apair()

◆ coeff_AW()

◆ coeff_buildL()

◆ coeff_buildR()

◆ coeff_CGC()

◆ coeff_dot()

◆ coeff_HPsi()

◆ coeff_leftSweep()

◆ coeff_leftSweep2()

◆ coeff_leftSweep3()

◆ coeff_MPOprod6()

◆ coeff_MPOprod9()

◆ coeff_prod()

◆ coeff_rightOrtho()

◆ coeff_splitAA() [1/2]

◆ coeff_splitAA() [2/2]

◆ coeff_swapPhase()

◆ coeff_tensorProd()

◆ coeff_twoSiteGate()

◆ coeff_unity()

◆ compare() [1/2]

◆ compare() [2/2]

◆ degeneracy()

◆ flip()

◆ IS_CHARGE_SU2()

◆ IS_SPIN_SU2()

◆ IS_SPIN_U1()

◆ kind()

◆ lowest_qs()

◆ mod()

◆ name()

◆ NO_CHARGE_SYM()

◆ NO_SPIN_SYM()

◆ pair()

◆ qvacuum()

◆ reduceSilent() [1/4]

◆ reduceSilent() [2/4]

◆ reduceSilent() [3/4]

◆ reduceSilent() [4/4]

◆ spinorFactor()

◆ tensorProd()

◆ triangle()

◆ validate() [1/2]

◆ validate() [2/2]

Member Data Documentation

◆ ABELIAN

◆ HAS_CGC

◆ IS_MODULAR

◆ IS_TRIVIAL

◆ lowest_qs_size

◆ MOD_N

◆ NON_ABELIAN

◆ Nq