Opened 22 months ago

Last modified 16 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 21 months ago by embray

  • Milestone changed from sage-8.6 to sage-8.7

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.

comment:2 Changed 19 months ago by embray

  • 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 16 months ago by embray

  • 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.