id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
27657 Simplify ideal generators in function field code gh-BrentBaccala "Ideals of orders are often presented using more generators than needed. For example, this snippet is taken directly from a test case in sage/src/function_fields/ideal.py:
{{{
sage: K. = FunctionField(QQ); R. = K[]
sage: L. = K.extension(y^2 - x^3 - 1)
sage: O = L.equation_order()
sage: O.ideal(x^2 + 1)
Ideal (x^2 + 1, (x^2 + 1)*y) of Order in Function field in y defined by y^2 - x^3 - 1
}}}
The presentation is obviously non-optimal, since the ideal was created with a single generator, but printed with two!" enhancement closed minor sage-8.8 algebra fixed function fields Brent Baccala Travis Scrimshaw N/A 409226089efce2d4e86148fbb06cdd1668e15717 409226089efce2d4e86148fbb06cdd1668e15717