Opened 15 months ago
Last modified 10 months ago
#26946 new defect
cardinality of finite multivariate polynomial quotients is broken
Reported by: | mantepse | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | algebra | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
sage: R.<a> = PolynomialRing(GF(2)); R.quotient((a^2+a)*R).cardinality() 4 sage: R.<a,b> = PolynomialRing(GF(2)); R.quotient((a^2+a, b^2+b)*R).cardinality() --------------------------------------------------------------------------- AttributeError Traceback (most recent call last) <ipython-input-12-0d4ecbf62612> in <module>() ----> 1 R = PolynomialRing(GF(Integer(2)), names=('a', 'b',)); (a, b,) = R._first_ngens(2); R.quotient((a**Integer(2)+a, b**Integer(2)+b)*R).cardinality() /home/martin/sage-develop/local/lib/python2.7/site-packages/sage/rings/ring.pyx in sage.rings.ring.Ring.cardinality (build/cythonized/sage/rings/ring.c:9050)() 932 +Infinity 933 """ --> 934 if not self.is_finite(): 935 from .infinity import Infinity 936 return Infinity /home/martin/sage-develop/local/lib/python2.7/site-packages/sage/rings/ring.pyx in sage.rings.ring.Ring.is_finite (build/cythonized/sage/rings/ring.c:8953)() 915 if self.is_zero(): 916 return True --> 917 return super(Ring, self).is_finite() 918 919 def cardinality(self): AttributeError: 'super' object has no attribute 'is_finite'
Change History (3)
comment:1 Changed 15 months ago by
- Milestone changed from sage-8.6 to sage-8.7
comment:2 Changed 12 months ago by
- Milestone changed from sage-8.7 to sage-8.8
Ticket retargeted after milestone closed (if you don't believe this ticket is appropriate for the Sage 8.8 release please retarget manually)
comment:3 Changed 10 months ago by
- Milestone sage-8.8 deleted
As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).
Note: See
TracTickets for help on using
tickets.
Retarging tickets optimistically to the next milestone. If you are responsible for this ticket (either its reporter or owner) and don't believe you are likely to complete this ticket before the next release (8.7) please retarget this ticket's milestone to sage-pending or sage-wishlist.