Opened 10 years ago
Closed 10 years ago
#1214 closed defect (fixed)
[with patch, with positive review] error in polynomial ideal membership testing
Reported by: | mhansen | Owned by: | mhansen |
---|---|---|---|
Priority: | major | Milestone: | sage-2.8.15 |
Component: | commutative algebra | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | Work issues: | ||
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
sage: x^2 in I --------------------------------------------------------------------------- <type 'exceptions.AttributeError'> Traceback (most recent call last) /opt/maple11/lib/<ipython console> in <module>() /opt/sage/local/lib/python2.5/site-packages/sage/rings/ideal.py in __contains__(self, x) 315 if self.gen().is_zero(): 316 return x.is_zero() --> 317 return self.gen().divides(x) 318 319 def __cmp__(self, other): <type 'exceptions.AttributeError'>: 'Polynomial_rational_dense' object has no attribute 'divides'
Attachments (1)
Change History (5)
comment:1 Changed 10 years ago by
Changed 10 years ago by
comment:2 Changed 10 years ago by
- Milestone changed from sage-2.9 to sage-2.8.13
- Owner changed from malb to mhansen
- Status changed from new to assigned
- Summary changed from error in polynomial ideal membership testing to [with patch] error in polynomial ideal membership testing
comment:3 Changed 10 years ago by
- Summary changed from [with patch] error in polynomial ideal membership testing to [with patch, with positive review] error in polynomial ideal membership testing
This patch should be applied -- doctests are excellent and I think the divides() function is good.
There is a typo:
1624 def divides(self, x): 1625 """ 1626 Return True if self divides n.
$n$ should be $x$.
comment:4 Changed 10 years ago by
- Resolution set to fixed
- Status changed from assigned to closed
Merged in 2.8.15.alpha1 - I corrected the documentation as Nick suggested.
Note: See
TracTickets for help on using
tickets.