Library
▹
Algebra
▹
Rings
▹
Polynomials
R
[
X
]
[
p
X
+
a
]
a
X
n
a
X
+
−
p
−
⋅
⋅
⋅
R
[
X
]
p
(
a
)
dim
deg