Skip to content

rational maps for WeierstrassIsomorphism should not be polynomials #34811

@yyyyx4

Description

@yyyyx4

The methods .rational_maps() and .x_rational_map() for WeierstrassIsomorphism return polynomials, but the same methods for other EllipticCurveHom return rational maps (i.e., elements of the fraction field).

For consistency, these methods should return the same types in all child classes of EllipticCurveHom, despite the rational maps actually having denominator 1 in this case.

Component: elliptic curves

Author: Lorenz Panny

Branch/Commit: 551d007

Reviewer: Travis Scrimshaw

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions