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,,