Our paper A priori verification method for curl-conforming basis functions in simplices has been published in Mathematical Methods in the Applied Sciences. Check it out!.