Skip to content

Fix basis of multivariate polynomial ring #39425

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

Merged
merged 3 commits into from
Feb 10, 2025

Conversation

user202729
Copy link
Contributor

@user202729 user202729 commented Feb 1, 2025

Previously .basis() method doesn't work there. (vector space basis)

Issue popped up while working on #39089

Also fix a corner case in IntegerVectors iteration where length=0.

📝 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

github-actions bot commented Feb 1, 2025

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

Copy link
Collaborator

@tscrim tscrim left a comment

Choose a reason for hiding this comment

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

LGTM modulo my one suggested change.

user202729 and others added 2 commits February 3, 2025 12:39
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
@tscrim
Copy link
Collaborator

tscrim commented Feb 3, 2025

Thank you.

vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 4, 2025
sagemathgh-39425: Fix basis of multivariate polynomial ring
    
Previously `.basis()` method doesn't work there. (vector space basis)

Issue popped up while working on
sagemath#39089

Also fix a corner case in `IntegerVectors` iteration where `length=0`.

### 📝 Checklist

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

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] 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: ... -->
    
URL: sagemath#39425
Reported by: user202729
Reviewer(s): Travis Scrimshaw, user202729
vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 9, 2025
sagemathgh-39425: Fix basis of multivariate polynomial ring
    
Previously `.basis()` method doesn't work there. (vector space basis)

Issue popped up while working on
sagemath#39089

Also fix a corner case in `IntegerVectors` iteration where `length=0`.

### 📝 Checklist

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

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] 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: ... -->
    
URL: sagemath#39425
Reported by: user202729
Reviewer(s): Travis Scrimshaw, user202729
vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 9, 2025
sagemathgh-39425: Fix basis of multivariate polynomial ring
    
Previously `.basis()` method doesn't work there. (vector space basis)

Issue popped up while working on
sagemath#39089

Also fix a corner case in `IntegerVectors` iteration where `length=0`.

### 📝 Checklist

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

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] 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: ... -->
    
URL: sagemath#39425
Reported by: user202729
Reviewer(s): Travis Scrimshaw, user202729
@vbraun vbraun merged commit 9fcb687 into sagemath:develop Feb 10, 2025
25 of 26 checks passed
vbraun pushed a commit to vbraun/sage that referenced this pull request Jul 18, 2025
sagemathgh-39089: Change __call__ to _element_constructor_ in multipolynomial ring
    
It's not recommended to override `__call__`.

Some dependent pull requests are needed to let tests pass.

### 📝 Checklist

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

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have created tests covering the changes. (probably not needed)
- [x] 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: ... -->


- sagemath#39425 to fix test failure
- sagemath#39419 to fix more test failure
(because the coercion system works differently when `__call__` is
overloaded versus it isn't)
    
URL: sagemath#39089
Reported by: user202729
Reviewer(s):
vbraun pushed a commit to vbraun/sage that referenced this pull request Jul 20, 2025
sagemathgh-39089: Change __call__ to _element_constructor_ in multipolynomial ring
    
It's not recommended to override `__call__`.

Some dependent pull requests are needed to let tests pass.

### 📝 Checklist

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

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have created tests covering the changes. (probably not needed)
- [x] 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: ... -->


- sagemath#39425 to fix test failure
- sagemath#39419 to fix more test failure
(because the coercion system works differently when `__call__` is
overloaded versus it isn't)
    
URL: sagemath#39089
Reported by: user202729
Reviewer(s):
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.

3 participants