Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Stability for the generators of principal ideals #23170

Open
saraedum opened this issue Jun 7, 2017 · 3 comments
Open

Stability for the generators of principal ideals #23170

saraedum opened this issue Jun 7, 2017 · 3 comments
Labels
c: commutative algebra p: minor / 4 t: enhancement

Comments

@saraedum
Copy link
Member

saraedum commented Jun 7, 2017

Currently, when creating a principal ideal from a single generator, that exact generator is not returned when requesting the generator for the ideal:

sage: R.<x> = QQ[]
sage: a = R(1337)
sage: R.ideal(a).gen() is a
False

This is unfortunate because anything that is cached in a has to be recomputed.

Depends on #23171

Component: commutative algebra

Keywords: sd86.5, sd87

Issue created by migration from https://trac.sagemath.org/ticket/23170
@saraedum saraedum added this to the sage-8.0 milestone Jun 7, 2017
@saraedum

This comment has been minimized.

Sign in to view
@saraedum
Copy link
Member Author

saraedum commented Jun 9, 2017

Dependencies: #23171

@roed314
Copy link
Contributor

roed314 commented Jul 17, 2017

Changed keywords from sd86.5 to sd86.5, sd87

@mkoeppe mkoeppe removed this from the sage-8.0 milestone Dec 29, 2022
@saraedum saraedum mentioned this issue Dec 29, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: commutative algebra p: minor / 4 t: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@roed314 @saraedum @mkoeppe