Skip to content

normalize_coordinates for projective morphisms gcd failure #35797

@bhutz

Description

@bhutz

Is there an existing issue for this?

  • I have searched the existing issues for a bug report that matches the one I want to file, without success.

Did you read the documentation and troubleshoot guide?

  • I have read the documentation and troubleshoot guide

Environment

- **OS**: Ubuntu 20.04
- **Sage Version**: 10.0

Steps To Reproduce

K.<a> = NumberField(3*x^2 + 1)
P.<z,w> = ProjectiveSpace(K, 1)
phi = DynamicalSystem_projective([a*(z^2 + w^2),z*w])
phi.normalize_coordinates()

Expected Behavior

Should return a version of the point with normalized coordinates

Actual Behavior

the gcd step fails since it assumes clearing denominators gives back points in the ring of integers.

Additional Information

No response

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions