next | previous | forward | backward | up | top | index | toc | home

Ideal * Ideal -- product of ideals

Synopsis

Usage:
I * J
Operator: *
Inputs:
- I, an ideal
- J, an ideal, in the same ring as I
Outputs:
- an ideal, the product of the two ideals I and J

Description

i1 : R = QQ[t][a..d];

i2 : I = ideal(a,(t+1)*c) * ideal(a^2,b^2)

             3     2          2           2
o2 = ideal (a , a*b , (t + 1)a c, (t + 1)b c)

o2 : Ideal of R

The generators produced are not generally minimal. Use trim(Ideal) or mingens(Ideal) to find a smaller generating set.

See also

ideals