The function reduced computes the reduced ideal given an integral ideal by executing inverse twice. The reduced ideal is the ideal that minimizes the pole order among the ideals in the same class
i1 : setPolynomialRing({x,y},{2,3}) o1 = PR o1 : PolynomialRing |
i2 : setQuotientRing(y^2-x^3-7*x) o2 = QR o2 : QuotientRing |
i3 : J=ideal(x,y); reduced(J) o3 : Ideal of QR o4 = ideal (x, y) o4 : Ideal of QR |
The object reduced is a method function.