Symbolic algebra as a tool for understanding edge elements

The paper describes a methodology for systematic comparison of tetrahedral edge element spaces using symbolic algebra. Various known edge element families, with their respective spaces and irrotational subspaces, are studied. In addition, symbolic algebra facilitates analysis of some novel hexahedral elements and of a new "prolongation of local gradients" condition for spectral convergence (the absence of "spurious modes").