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
47
|
--- status: Draft
--- author(s): Gregory G. Smith
--- notes:
document {
Key => {isQuotientRing, (isQuotientRing,QuotientRing), (isQuotientRing,Ring)},
Headline => "whether something is a quotient ring",
Usage => "isQuotientRing R",
Inputs => {
"R" => Ring
},
Outputs => {
Boolean => {TO "true", " if ", TT "R", " is a ",
TO2("QuotientRing", "quotient ring"), " and ", TO "false", " otherwise"}
},
EXAMPLE {
"S = ZZ/3[x,y,z];",
"isQuotientRing S",
"R = S/(x^2-y*z);",
"isQuotientRing R",
"ambient R",
"symAlg = symmetricAlgebra R^2;",
"isQuotientRing symAlg",
"sing = singularLocus R;",
"isQuotientRing sing"
},
SeeAlso => {ambient}
}
document {
Key => isQuotientOf,
Headline => "whether one thing is a quotient of another",
Subnodes => {
TO (isQuotientOf, Ring, Ring),
TO (isQuotientOf, Type, Ring),
},
}
document {
Key => {(isQuotientOf, Ring, Ring),(isQuotientOf, Ring, QuotientRing)},
Headline => "whether one ring is a quotient of another"
}
document {
Key => {(isQuotientOf, Type, Ring),(isQuotientOf, Type, QuotientRing)},
Headline => "whether one ring is a quotient of a ring of a given type"
}
|
