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