Nemo website: http://nemocas.org
Nemo documentation: http://nemocas.org/nemo-0.3.pdf
ENV["LD_LIBRARY_PATH"] = "/usr/local/share/julia/site/v0.4/Nemo/local/lib"
using Nemo
R, alpha = FiniteField(fmpz(7), 5, "alpha")
(1 + alpha)^7
f = 1 + x + y + z + t
p = f^30
time q = p*(p + 1)
QQ[x,y,z,t]
f = 1 + x + y + z + t
p = f^30
time q = p*(p + 1)
R, x = CyclotomicField(20)
S = R[y]
f = (3x^7 + x^4 - 3x + 1)*y^3 + (2x^6-x^5+4x^4-x^3+x^2-1)*y +(-3x^7+2x^6-x^5+3x^3-2x^2+x)
time r = f^300