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
|
--- status: DRAFT
--- author(s): kummini
--- notes:
undocumented {
(char,FractionField),
(char,QuotientRing),
(char,PolynomialRing)}
document {
Key => {char, (char,Ring), (char,AffineVariety), (char, InexactField), (char,ProjectiveVariety)},
Headline => "computes the characteristic of the ring or field",
Usage => "char F",
Inputs => {
"F" => Ring => {"or ", ofClass AffineVariety, " or ", ofClass ProjectiveVariety}
},
Outputs => {
{"the characteristic of the ring. If ", TT "F", " is an affine or projective variety, then
the characteristic of the corresponding ring is returned"}
},
EXAMPLE lines ///
R = ZZ/10007[x,y];
char R
R = ZZ[x]/823671827384723894723894723892
char R
///,
}
|
