search for:
Module : Module
-- a binary operator
Synopsis:
Operator:
:
-- a binary operator
Input:
an instance of class
Module
.
an instance of class
Module
.
Output:
an instance of class
Ideal
.
Code:
-- ../m2/colon.m2:178 Module : Module := Ideal => (M,N) -> quotient(M,N)
search for: