If I have a hyperelliptic curve of genus 2 = y2+( x2+x)y = x5+ x3 +1
and reduced divisor for the curve in Mumford is (x2+18x, 17x+1).
the two was given, I can construct the curve: as k. = GF(next_prime(2^160)); R.<x> = k[]
C = HyperellipticCurve(x^5 + x^3 + 1, x^2+x)
How to set (x2+18x, 17x+1) as it's divisor
