fix output of the zero polynomial/power-series
fixed a nasty bug when comparing 1 with 1
reduce polynomials by reducing the coefficients
add reducing mod p for power series
calculate derivative of polynomials
by default nothing is equal
implement function to test for torsion points over Q, using results
from Lutz-Nagell and Mazur
enable the functions for elliptic curves in the asdf
manage exports
remove superfluous princ statements
we need a binomial coefficient
more general test for torsion point on ec (using a bound)
use simpler formulas for ec addition computation
fix the most stupid mistake in binomial