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.

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

Remove unnecessary forcing to univariate #38151

Merged
merged 6 commits into from
Jul 24, 2024
Merged

Conversation

Nathabolin
Copy link
Contributor

@Nathabolin Nathabolin commented Jun 4, 2024

Fixes #38012
by not forcing input to be uni-variate if already uni-variate

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

Copy link

@bhutz bhutz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add that this doctest is fixing issue 38012.

add white space around '+' in the example (line 8446)

@Nathabolin Nathabolin added the gsoc: 2024 Tag for GSoC2024 issues/PRs label Jun 4, 2024
Copy link

github-actions bot commented Jun 4, 2024

Documentation preview for this PR (built with commit 6ad33ef; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@mkoeppe
Copy link
Contributor

mkoeppe commented Jun 5, 2024

Hints:

Nathabolin and others added 2 commits June 5, 2024 19:02
Co-authored-by: Sebastian A. Spindler <153911337+S17A05@users.noreply.github.com>
Co-authored-by: Sebastian A. Spindler <153911337+S17A05@users.noreply.github.com>
@Nathabolin Nathabolin changed the title Fixing issue 38012 Fixing issue 38012, unecessary forcing in dynamics normal form command Jun 6, 2024
@S17A05
Copy link
Member

S17A05 commented Jun 6, 2024

What @mkoeppe was referring to with the second hint: You should write "Fixes #38012" (without the "issue") in the PR text, so that the issue gets linked to this PR.

Copy link

@bhutz bhutz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This good to me and all tests are passing and the docs build.

@Nathabolin Nathabolin changed the title Fixing issue 38012, unecessary forcing in dynamics normal form command Finding an Elliptic curve from a Lattes map Jul 2, 2024
@Nathabolin Nathabolin changed the title Finding an Elliptic curve from a Lattes map Code for commits to fix issue #38012 Uneeded forcing to univariate Jul 2, 2024
@Nathabolin
Copy link
Contributor Author

What needs to be done for this to be accepted? or is it accepted?

@Nathabolin Nathabolin changed the title Code for commits to fix issue #38012 Uneeded forcing to univariate Code for commits to fix issue Uneeded forcing to univariate Jul 3, 2024
@S17A05
Copy link
Member

S17A05 commented Jul 3, 2024

What needs to be done for this to be accepted? or is it accepted?

This is accepted, it just needs some time to be merged since the release of Sage 10.4 is currently being prepared, and afaik only urgent stuff is getting merged right now. Also merging the new develop-branch into your PR resets the "positive review"-label, so you should avoid it unless there are merge conflicts that need to be resolved.

@Nathabolin
Copy link
Contributor Author

Good to know thank you so much

@@ -8437,6 +8437,14 @@ def normal_form(self, return_conjugation=False):
To: Finite Field in z2 of size 3^2
Defn: 1 |--> 1

Fixes :issue:`38012` by not forcing univariate polynomial to be univariate::

sage: R.<z> = PolynomialRing(QQ)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The comment says an implementation detail that is not understandable by a user. The usual way to introduce a test (example) for a fix is

TEST:

Check that :issue:`38012` is fixed::

    sage: R.<z> = PolynomialRing(QQ)

@kwankyu
Copy link
Collaborator

kwankyu commented Jul 4, 2024

Please correct the PR title.

@Nathabolin Nathabolin changed the title Code for commits to fix issue Uneeded forcing to univariate Code for commits to fix issue 38012 Uneeded forcing to univariate Jul 5, 2024
@Nathabolin Nathabolin changed the title Code for commits to fix issue 38012 Uneeded forcing to univariate Code for commit to fix issue 38012 Uneeded forcing to univariate Jul 5, 2024
@mkoeppe mkoeppe changed the title Code for commit to fix issue 38012 Uneeded forcing to univariate Remove unnecessary forcing to univariate Jul 17, 2024
@mkoeppe mkoeppe removed this from the sage-10.4 milestone Jul 21, 2024
@vbraun vbraun merged commit 34d1bd7 into sagemath:develop Jul 24, 2024
29 checks passed
vbraun pushed a commit to vbraun/sage that referenced this pull request Jul 25, 2024
…nomialIdeal`, `is_MPolynomialRing`, `is_MPowerSeries`, `is_PolynomialQuotientRing`, `is_PolynomialRing`, `is_PolynomialSequence`, `is_PowerSeries`, `is_QuotientRing`

    
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixes sagemath#12345". -->

Part of:
- sagemath#32414


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->

- Depends on sagemath#38151 (merged here)
    
URL: sagemath#38266
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee
@mkoeppe mkoeppe added this to the sage-10.5 milestone Jul 25, 2024
vbraun pushed a commit to vbraun/sage that referenced this pull request Jul 31, 2024
…nomialIdeal`, `is_MPolynomialRing`, `is_MPowerSeries`, `is_PolynomialQuotientRing`, `is_PolynomialRing`, `is_PolynomialSequence`, `is_PowerSeries`, `is_QuotientRing`

    
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixes sagemath#12345". -->

Part of:
- sagemath#32414


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->

- Depends on sagemath#38151 (merged here)
    
URL: sagemath#38266
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee
vbraun pushed a commit to vbraun/sage that referenced this pull request Aug 2, 2024
…nomialIdeal`, `is_MPolynomialRing`, `is_MPowerSeries`, `is_PolynomialQuotientRing`, `is_PolynomialRing`, `is_PolynomialSequence`, `is_PowerSeries`, `is_QuotientRing`

    
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixes sagemath#12345". -->

Part of:
- sagemath#32414


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->

- Depends on sagemath#38151 (merged here)
    
URL: sagemath#38266
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee
vbraun pushed a commit to vbraun/sage that referenced this pull request Aug 3, 2024
…nomialIdeal`, `is_MPolynomialRing`, `is_MPowerSeries`, `is_PolynomialQuotientRing`, `is_PolynomialRing`, `is_PolynomialSequence`, `is_PowerSeries`, `is_QuotientRing`

    
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixes sagemath#12345". -->

Part of:
- sagemath#32414


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->

- Depends on sagemath#38151 (merged here)
    
URL: sagemath#38266
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Normal Form fails with single variable polynomials
6 participants