portelli/Grid
1
0
Fork 0
mirror of https://github.com/paboyle/Grid.git synced 2024-11-14 09:45:36 +00:00
Code Releases Activity

Move static_assert inside of function

Browse Source
This commit is contained in:
Julian Lenz 2023-05-18 18:14:53 +01:00
parent d169c275b6
commit 0078826ff1
1 changed files with 14 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
Grid/qcd/utils/GaugeGroupTwoIndex.h
View File

@ -34,12 +34,6 @@ inline Real delta(int a, int b) { return (a == b) ? 1.0 : 0.0; }
template <int ncolour, TwoIndexSymmetry S, class group_name> template <int ncolour, TwoIndexSymmetry S, class group_name>
class GaugeGroupTwoIndex : public GaugeGroup<ncolour, group_name> { class GaugeGroupTwoIndex : public GaugeGroup<ncolour, group_name> {
public: public:
static_assert(
std::is_same<group_name, GroupName::Sp>::value ? S != Symmetric : true,
"The symmetric two-index representation of Sp(2N) does not work "
"currently. If you want to use it, you need to implement the equivalent "
"of Eq. (27) and (28) from https://doi.org/10.48550/arXiv.2202.05516.");
// The chosen convention is that we are taking ncolour to be N in SU<N> but 2N // The chosen convention is that we are taking ncolour to be N in SU<N> but 2N
// in Sp(2N). ngroup is equal to N for SU but 2N/2 = N for Sp(2N). // in Sp(2N). ngroup is equal to N for SU but 2N/2 = N for Sp(2N).
static_assert(std::is_same<group_name, GroupName::SU>::value or static_assert(std::is_same<group_name, GroupName::SU>::value or
@ -84,6 +78,17 @@ class GaugeGroupTwoIndex : public GaugeGroup<ncolour, group_name> {
template <class cplx> template <class cplx>
static void base(int Index, iGroupMatrix<cplx> &eij) { static void base(int Index, iGroupMatrix<cplx> &eij) {
// This is inside of this function because you can't use this class without
// this function but you can still use its static constants because as a
// template the following static_assert is only triggered if this function
// is instantiated which in turn happens only when it's used.
static_assert(
std::is_same<group_name, GroupName::Sp>::value ? S != Symmetric : true,
"The symmetric two-index representation of Sp(2N) does not work "
"currently. If you want to use it, you need to implement the "
"equivalent of Eq. (27) and (28) from "
"https://doi.org/10.48550/arXiv.2202.05516.");
// returns (e)^(ij)_{kl} necessary for change of base U_F -> U_R // returns (e)^(ij)_{kl} necessary for change of base U_F -> U_R
assert(Index < Dimension); assert(Index < Dimension);
eij = Zero(); eij = Zero();
@ -97,7 +102,6 @@ class GaugeGroupTwoIndex : public GaugeGroup<ncolour, group_name> {
for (int j = 0; j < i; j++) { for (int j = 0; j < i; j++) {
a[counter][0] = i; a[counter][0] = i;
if (j == 0 && ngroup == ncolour / 2 && i == ngroup + j) { if (j == 0 && ngroup == ncolour / 2 && i == ngroup + j) {
//std::cout << "skipping" << std::endl; // for Sp2n this vanishes identically.
j = j + 1; j = j + 1;
} }
a[counter][1] = j; a[counter][1] = j;