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
|
--- status: DRAFT
--- author(s):
--- notes:
document {
Key => {ring, (ring,Vector), (ring,SheafOfRings), (ring,RingElement),(ring,GradedModule),
(ring,Variety), (ring,ChainComplexMap),(ring, GradedModuleMap),(ring, GroebnerBasis),(ring, Number),
(ring,Module),(ring,ChainComplex),(ring,Matrix),
(ring,MutableMatrix),(ring,Ideal), (ring,CC),(ring,RR),(ring,Resolution),
(ring,CoherentSheaf),(ring,MonomialIdeal)},
Headline => "get the associated ring of an object",
Usage => "ring M",
Inputs => {"M" => "an object with a ring associated to it"},
Outputs => {
Ring => "associated to the input object"
},
"For example, ring elements, matrices, ideals, modules, chain complexes,
varieties, coherent sheaves, etc., all have a base ring naturally associated
to them. ",
EXAMPLE {
"R = ZZ/101[x,y,z];",
"ring x",
"M = matrix {{2*x, x+y},{y^3, z*y}};",
"ring M",
"S = QQ[x,y,z];",
"ring x",
"I = ideal (x*y, y*z);",
"ring I"
},
-- Caveat => {},
SeeAlso => {baseRings, coefficientRing}
}
|
