Opened 12 years ago
Closed 12 years ago
#11524 closed enhancement (fixed)
Function to test for algebraic dependence of polynomials
Reported by: | araichev | Owned by: | AlexGhitza |
---|---|---|---|
Priority: | major | Milestone: | sage-4.7.2 |
Component: | algebra | Keywords: | algebraic dependence polynomials |
Cc: | malb | Merged in: | sage-4.7.2.alpha0 |
Authors: | Alex Raichev | Reviewers: | Martin Albrecht |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Added a function to sage/rings/polynomial/multi_polynomial_sequence.py to return an irreducible annihilating polynomial for the polynomials in self
, if those polynomials are algebraically dependent. Otherwise it returns 0.
Attachments (1)
Change History (13)
comment:1 Changed 12 years ago by
Status: | new → needs_review |
---|
comment:2 Changed 12 years ago by
Type: | PLEASE CHANGE → enhancement |
---|
comment:3 Changed 12 years ago by
Reviewers: | → Martin Albrecht |
---|---|
Status: | needs_review → needs_work |
Work issues: | → documentation |
comment:6 follow-up: 7 Changed 12 years ago by
Status: | needs_work → needs_review |
---|
Thanks for your help, Martin. I'm a newbie developer, so please bear with me. I incorporated your corrections.
- I evaluated the annihilating polynomials at
self
in the doctest to get 0. Is that what you mean?
- I think 'dependence' is the more conventional math noun: 'algebraic independence' and 'algebraic dependence'.
- Yes, it would be better to return the entire elimination ideal (did it now), which is what i meant to do initially but got sidetracked into making a tailored version for my bigger project.
comment:7 Changed 12 years ago by
Status: | needs_review → positive_review |
---|
Replying to araichev:
Thanks for your help, Martin. I'm a newbie developer, so please bear with me. I incorporated your corrections.
NP at all.
- I evaluated the annihilating polynomials at
self
in the doctest to get 0. Is that what you mean?
yes, thanks.
- I think 'dependence' is the more conventional math noun: 'algebraic independence' and 'algebraic dependence'.
Okay, convinced :)
- Yes, it would be better to return the entire elimination ideal (did it now), which is what i meant to do initially but got sidetracked into making a tailored version for my bigger project.
Positive review.
comment:8 Changed 12 years ago by
Milestone: | sage-4.7.1 → sage-4.7.2 |
---|---|
Work issues: | documentation |
comment:9 Changed 12 years ago by
Status: | positive_review → needs_work |
---|
Your patch has two erroneous lines on top:
Detected SAGE64 flag Building Sage on OS X in 64-bit mode
Please let me know which version of Sage you used to make this patch. Could you try upgrading to sage-4.7.1.alpha2, export the patch again and let me know whether the issue persists (it should be fixed)? In any case, the patch needs to be updated.
Changed 12 years ago by
Attachment: | trac_11524.patch added |
---|
comment:10 Changed 12 years ago by
Status: | needs_work → needs_review |
---|
Hi jdemeyer:
I used Sage 4.7 to make the patch. I took your advice and upgraded to sage-4.7.1.alpha2 and retested the patch. The two erroneous lines disappeared. The new patch is up.
Thanks.
comment:11 Changed 12 years ago by
Status: | needs_review → positive_review |
---|
comment:12 Changed 12 years ago by
Merged in: | → sage-4.7.2.alpha0 |
---|---|
Resolution: | → fixed |
Status: | positive_review → closed |
self
beself
, i.e. not typeset as mathematics?