1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
--- status: DRAFT
--- author(s): kummini
--- notes:
document {
Key => source,
Headline => "source of a map",
"Gives the source of a map of rings, chain complexes or modules",
SeeAlso => {target}
}
document {
Key => (source,RingMap),
Headline => "find the source ring for a map of rings",
Usage => "source f",
Inputs => {
"f"
},
Outputs => {
"the source ring of the map"
},
EXAMPLE {
"S = ZZ/10007[x, y, z];",
"R = ZZ/10007[t];",
"f = map(R,S,{t^3,t^4,t^5})",
"source f"
},
}
document {
Key => {(source,Matrix), (source,MutableMatrix)},
Headline => "find the source module of matrix",
Usage => "source f",
Inputs => {
"f" => Matrix
},
Outputs => {
{"the source module of ", TT "f"}
},
EXAMPLE {
"R = ZZ[x,y,z];",
"M = R^1/(x,y,z);",
"N = R^1/(x^2,y^2,x*y*z,z^2);",
"g = map(N,M,x*y);",
"source g",
},
}
|
