Skip to content

Commit c5256fe

Browse files
committed
use Parent in skew polynomials
1 parent 30b3d78 commit c5256fe

File tree

1 file changed

+3
-6
lines changed

1 file changed

+3
-6
lines changed

src/sage/rings/polynomial/skew_polynomial_finite_order.pyx

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ AUTHOR::
1919
# (at your option) any later version.
2020
# https://www.gnu.org/licenses/
2121
# ***************************************************************************
22-
from sage.rings.ring cimport Ring
22+
from sage.structure.parent cimport Parent
2323
from sage.structure.element cimport RingElement
2424
from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
2525
from sage.rings.polynomial.skew_polynomial_element cimport SkewPolynomial_generic_dense
@@ -70,7 +70,6 @@ cdef class SkewPolynomial_finite_order_dense(SkewPolynomial_generic_dense):
7070
self._charpoly = None
7171
self._optbound = None
7272

73-
7473
cdef _matphir_c(self) noexcept:
7574
r"""
7675
Return the matrix of the multiplication by `X^r` on
@@ -131,7 +130,7 @@ cdef class SkewPolynomial_finite_order_dense(SkewPolynomial_generic_dense):
131130
from sage.matrix.constructor import matrix
132131
cdef Py_ssize_t i, j, deb, k, r = self.parent()._order
133132
cdef Py_ssize_t d = self.degree ()
134-
cdef Ring base_ring = <Ring?>self.parent().base_ring()
133+
cdef Parent base_ring = <Parent?>self.parent().base_ring()
135134
cdef RingElement minusone = <RingElement?>base_ring(-1)
136135
cdef RingElement zero = <RingElement?>base_ring(0)
137136
cdef Polk = PolynomialRing (base_ring, 'xr')
@@ -152,7 +151,6 @@ cdef class SkewPolynomial_finite_order_dense(SkewPolynomial_generic_dense):
152151
l[i] = self._parent.twisting_morphism()(l[i])
153152
return matrix(Polk, r, r, M)
154153

155-
156154
def reduced_trace(self, var=None):
157155
r"""
158156
Return the reduced trace of this skew polynomial.
@@ -415,7 +413,7 @@ cdef class SkewPolynomial_finite_order_dense(SkewPolynomial_generic_dense):
415413
coeffs = [center(c) for c in self._charpoly]
416414
return PolynomialRing(center, name=varcharpoly)(coeffs)
417415

418-
def is_central(self):
416+
def is_central(self) -> bool:
419417
r"""
420418
Return ``True`` if this skew polynomial lies in the center.
421419

@@ -439,7 +437,6 @@ cdef class SkewPolynomial_finite_order_dense(SkewPolynomial_generic_dense):
439437
except ValueError:
440438
return False
441439

442-
443440
def bound(self):
444441
r"""
445442
Return a bound of this skew polynomial (i.e. a multiple

0 commit comments

Comments
 (0)