fix missing call to lazy-aref
add some exports for convenience
check for torsion divisors in the case of degree 4, and everything is
defined over \Q
weed out the mistakes from the complicated formulas