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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
--- status: DRAFT
--- author(s): MES
--- notes:
-*
-- TODO
promote(Module,type of InexactNumber')
promote(Module,type of InexactNumber)
promote(Module,type of Number)
promote(Module,type of RingElement)
promote(MutableMatrix,type of InexactNumber')
promote(MutableMatrix,type of InexactNumber)
promote(MutableMatrix,type of Number)
promote(MutableMatrix,type of RingElement)
promote(Vector,type of InexactNumber')
promote(Vector,type of InexactNumber)
promote(Vector,type of Number)
promote(Vector,type of RingElement)
*-
undocumented {(promote,CC,CC_*),
(promote, Matrix, InexactNumber),(promote, Number, InexactNumber),
(promote, Ideal, Number),
(promote, Ideal, RingElement),
(promote, List, QQ, CC_*),
(promote, List, QQ, QQ),
(promote, List, QQ, RR_*),
(promote, List, RR_*, CC_*),
(promote, List, RR_*, RR_*),
(promote, List, CC_*, CC_*),
(promote, List, ZZ, CC_*),
(promote, List, ZZ, QQ),
(promote, List, ZZ, RR_*),
(promote, List, ZZ, ZZ),
(promote,Matrix,CC_*,CC_*),
(promote,Matrix,Number),
(promote,Matrix,QQ,CC_*),
(promote,Matrix,QQ,QQ),
(promote,Matrix,QQ,RR_*),
(promote,Matrix,RingElement),
(promote,Matrix,RR_*,CC_*),
(promote,Matrix,RR_*,RR_*),
(promote,Matrix,ZZ,CC_*),
(promote,Matrix,ZZ,QQ),
(promote,Matrix,ZZ,RR_*),
(promote,Matrix,ZZ,ZZ),
(promote,MonoidElement,RingElement),
(promote,QQ,CC_*),
(promote,QQ,QQ),
(promote, QQ, RingElement),
(promote,QQ,RR_*),
(promote,RR,CC_*),
(promote,RR,RR_*),
(promote, RRi, RRi_*),
(promote,ZZ,CC_*),
(promote,ZZ,QQ),
(promote,ZZ,RingElement),
(promote,ZZ,RR_*),
(promote,Matrix,InexactNumber'),
(promote,ZZ,ZZ),
(symbol _,CC,ComplexField),
(symbol _,Constant,RingFamily),
(symbol _,Constant,Ring),
(symbol _,InexactFieldFamily,ZZ),
(symbol _,Number,RingFamily),
(symbol _,QQ,ComplexField),
(symbol _,QQ,RealField),
(symbol _,RR,ComplexField),
(symbol _,RR,RealField),
(symbol _,ZZ,ComplexField),
(symbol _,ZZ,RealField),
(promote,List,QQ,RRi'),
(promote,List,RR',RRi'),
(promote,List,ZZ,RRi'),
(promote,Matrix,QQ,RRi'),
(promote,Matrix,RR',RRi'),
(promote,Matrix,ZZ,RRi'),
(promote,Module,InexactNumber'),
(promote,Module,InexactNumber),
(promote,Module,Number),
(promote,Module,RingElement),
(promote,MutableMatrix,InexactNumber'),
(promote,MutableMatrix,InexactNumber),
(promote,MutableMatrix,Number),
(promote,MutableMatrix,RingElement),
(promote,QQ,RRi'),
(promote,RR,RRi'),
(promote,Vector,InexactNumber'),
(promote,Vector,InexactNumber),
(promote,Vector,Number),
(promote,Vector,RingElement),
(promote,ZZ,RRi')
}
document {
Key => {promote,
(symbol _, RingElement, Ring),(symbol _,Number,Ring),
(promote,RR,QQ)},
Headline => "promote to another ring",
Usage => "promote(f,R)",
Inputs => {
"f" => {ofClass{RingElement, Ideal, Matrix}, " over some base ring of R"},
"R" => Ring
},
Outputs => {
RingElement => {"or ", ofClass Matrix, ", over R"},
},
PARA {
"Promote the given ring element or matrix ", TT "f", " to an element or matrix of ", TT "R", ", via the natural map to ", TT "R", ".
This is semantically equivalent to creating the natural ring map from ", TT "ring f --> R", " and mapping f via this map."
},
EXAMPLE lines ///
R = QQ[a..d]; f = a^2;
S = R/(a^2-b-1);
promote(2/3,S)
F = map(R,QQ); F(2/3)
promote(f,S)
G = map(S,R); G(f)
///,
PARA {
"Promotion of real numbers to rational numbers is accomplished by using all of the bits of
the internal representation."
},
EXAMPLE lines ///
promote(101.,QQ)
promote(.101,QQ)
factor denominator oo
ooo + 0.
oo === .101
///,
PARA {
"For promotion of ring elements, there is the following shorter notation."
},
EXAMPLE ///13_R///,
PARA{
"If you wish to promote a module to another ring, either promote the corresponding matrices,
use the natural ring map, or use tensor product of matrices or modules.",
},
EXAMPLE lines ///
use R;
I = ideal(a^2,a^3,a^4)
promote(I,S)
m = image matrix{{a^2,a^3,a^4}}
promote(gens m,S)
G m
m ** S
///,
"A special feature is that if ", TT "f", " is rational, and ", TT "R", " is not
an algebra over ", TO "QQ", ", then an element of ", TT "R", " is provided
by attempting the evident division.",
SeeAlso => {baseRings, lift, liftable, "substitution and maps between rings",
substitute, (symbol**,Matrix,Ring) },
Subnodes => { TO setupPromote },
}
|
