# reduced -- Compute Reduced Ideal

## Synopsis

• Usage:
K=reduced(J)
• Inputs:
• J, an integral ideal
• Outputs:

## Description

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