- Usage:
`K=reduced(J)`

- Inputs:
`J`, an integral ideal

- Outputs:
- an ideal

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 |

- inverse -- compute the inverse

`reduced(Ideal)`(missing documentation)