1: \begin{definition}

2: \label{DefBasissymT}Let $T$ denote a triangle. The space of totally symmetric,

3: orthogonal polynomials of degree $n$ is%

4: \begin{align}

5: \mathbb{P}_{n,n-1}^{\perp,\operatorname*{sym}}\left(  T\right)   &  :=\left\{

6: u\in\mathbb{P}_{n,n-1}^{\perp}\left(  T\right)  :u\text{ has total

7: symmetry}\right\} \label{defbnkt}\\

8: &  =\operatorname*{span}\left\{  b_{n,m}^{T,\operatorname*{sym}}:0\leq m\leq

9: d_{\operatorname*{triv}}\left(  n\right)  -1\right\}  , \label{defBnmT}%

10: \end{align}

11: where the lifted symmetric basis functions are given by $b_{n,m}%

12: ^{T,\operatorname*{sym}}:=b_{n,m}^{\operatorname*{sym}}\circ\chi_{T}^{-1}$ for

13: $b_{n,m}^{\operatorname*{sym}}$ as in Theorem \ref{TheoCD14} and an affine

14: pullback $\chi_{T}:\widehat{T}\rightarrow T$.

15: \end{definition}