Skip to content

Incorrect parent when evaluating constant multivariate polynomial #33373

@roed314

Description

@roed314

When evaluating a univariate polynomial, it correctly takes the parent of the input into account:

sage: k.<a> = GF(2^4)
sage: R.<x> = PolynomialRing(k)
sage: f = R(1)
sage: S.<y> = PolynomialRing(k)
sage: f(y).parent()
Univariate Polynomial Ring in y over Finite Field in a of size 2^4

Multivariate polynomials do not:

sage: k.<a> = GF(2^4)
sage: R.<x> = PolynomialRing(k, 1)
sage: f = R(1)
sage: S.<y> = PolynomialRing(k, 1)
sage: f(y).parent()
Finite Field in a of size 2^4

Component: algebra

Keywords: pAdicBordeaux

Author: David Roe

Reviewer: Marc Mezzarobba

Issue created by migration from https://trac.sagemath.org/ticket/33373

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions