def extension(self, poly, name=None, names=None, embedding=None): if self.modulus() == 1: return self else: from sage.rings.ring import CommutativeRing return CommutativeRing.extension(self, poly, name, names, embedding)
def extension(self, poly, name=None, names=None, embedding=None): """ Return an algebraic extension of ``self``. See :meth:`sage.rings.ring.CommutativeRing.extension()` for more information. EXAMPLES:: sage: R.<t> = QQ[] sage: Integers(8).extension(t^2 - 3) Univariate Quotient Polynomial Ring in t over Ring of integers modulo 8 with modulus t^2 + 5 """ if self.modulus() == 1: return self from sage.rings.ring import CommutativeRing return CommutativeRing.extension(self, poly, name, names, embedding)