RingMap Ideal -- blank operator for adjacent expressions

RingMap Ideal -- blank operator for adjacent expressions

Synopsis:

Operator: symbol " " -- blank operator for adjacent expressions

Input:

an instance of class RingMap.

an instance of class Ideal.

Output:

an instance of class Ideal.

Code:

     -- ../../../Macaulay2/m2/ringmap.m2:279
     RingMap Ideal := Ideal => (f,I) -> ideal f module I