Synopsis:
I * J -- the product of two ideals.
Code:
-- ../../../Macaulay2/m2/matrix1.m2:518 Ideal * Ideal := Ideal => (I,J) -> ideal flatten (generators I ** generators J)