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
|
--- status: DRAFT
--- author(s): MES
--- notes:
undocumented {(liftable, Number, Number), (liftable, Number, RingElement),
(liftable, RingElement, Number), (liftable, RingElement, RingElement),
(liftable, QQ, ZZ),
(liftable, CC, RR_*),
(liftable, Number, InexactNumber),
(liftable, RRi, QQ),(liftable, RRi, RR),(liftable, RRi, ZZ)}
document {
Key => {liftable},
Headline => "whether lifting to another ring is possible",
Usage => "liftable(f,R)",
Inputs => {
"f" => { ofClass{RingElement,Matrix} },
"R" => Ring
},
Outputs => {
Boolean => {"whether ", TT "f", " can be lifted to the ring ", TT "R", ""}
},
"The ring ", TT "R", " should be one of the base rings associated with the
ring of ", TT "f", ".",
EXAMPLE lines ///
R = ZZ[x]
liftable ((x-1)*(x+1)-x^2, ZZ)
///,
EXAMPLE lines ///
liftable(3/4,ZZ)
liftable((3/4)*4,ZZ)
///,
SeeAlso => {lift, baseRings}
}
|
