File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
src/sage/rings/function_field Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -847,10 +847,10 @@ cdef class KhuriMakdisi_small(KhuriMakdisi_base):
847
847
sage: E.<y> = F.extension(t^3 + (x^2 + x + 1)*t^2 + (x^3 + x + 1)*t + x^5 + x^4)
848
848
sage: O = E.maximal_order()
849
849
sage: Oinf = E.maximal_order_infinite()
850
- sage: D1 = -5 * O.ideal(x, y).divisor() + O.ideal(x + 1, y^2 + y + 1).divisor() \
851
- ....: + O.ideal(x^3 + x^2 + 1, y + x + 1).divisor()
852
- sage: D2 = Oinf.ideal(1/x, y/x^2 + 1).divisor() - 5 * O.ideal(x, y).divisor() \
853
- ....: + O.ideal(x^4 + x^3 + 1, y + x).divisor()
850
+ sage: D1 = ( -5 * O.ideal(x, y).divisor() + O.ideal(x + 1, y^2 + y + 1).divisor()
851
+ ....: + O.ideal(x^3 + x^2 + 1, y + x + 1).divisor() )
852
+ sage: D2 = ( Oinf.ideal(1/x, y/x^2 + 1).divisor() - 5 * O.ideal(x, y).divisor()
853
+ ....: + O.ideal(x^4 + x^3 + 1, y + x).divisor() )
854
854
sage: assert D1.degree() == 0
855
855
sage: assert D2.degree() == 0
856
856
sage: J = E.jacobian('km_small')
You can’t perform that action at this time.
0 commit comments