reduced -- Compute Reduced Ideal

Synopsis

• Usage:

  K=reduced(J)

• Inputs:
  • J, an integral ideal
• Outputs:
  • an ideal

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

See also

• inverse -- compute the inverse