search for:
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:
-- ../m2/ringmap.m2:279 RingMap Ideal := Ideal => (f,I) -> ideal f module I
search for: