rename Ideal.reduced_basis to Ideal.interreduced_basis

[malb]

It seems like people get confused by the name and assume the function returns the reduced Gröbner basis. Thus reduced_basis() should be deprecated and interreduced_basis() should take its place.

CC: @johnperry-math

Component: commutative algebra

Issue created by migration from https://trac.sagemath.org/ticket/5056

[johnperry-math]

"patch", not "path"

[malb]

comment:1

Attachment: interreduced_basis_path.gz

[simon-king-jena]

comment:2

The patch applies cleanly (in spite of its strange name :) ), there is a deprecation warning, and the doc tests of multi_polynomial_ideal.py pass. In other words, the patch does what it is supposed to.
Positive review!

[sagetrac-mabshoff]

comment:3

Merged in Sage 3.3.alpha2.

Cheers,

Michael