/* Here's the Humbert component of discriminant 4 (degree 2) found originally by running findrosenhainrelation(2,4,100); */ h4 := e1*e2 - e3;