search for:
map(GradedModule,GradedModule,Function)
-- make a map
Synopsis:
Function:
map
-- make a map
Input:
an instance of class
GradedModule
.
an instance of class
GradedModule
.
an instance of class
Function
.
Output:
an instance of class
GradedModuleMap
.
Optional arguments :
map(...,
Degree
)
map(..., DegreeMap => ...)
search for: