Maximal newform (awaiting review)

A newform is maximal if its Galois orbit spans the ambient subspace that contains it (its Atkin-Lehner subspace when the character is trivial, the entire newspace otherwise).

A newform is the largest newform in its ambient subspace if its dimension is strictly larger than that of any other newform in the same subspace (this includes newforms that are maximal).