[resolved by #5735] ExtendedRationalField not so extended

[sagetrac-edrex]

ExtendedRationalField(1)/ExtendedRationalField(0)

yields

ZeroDivisionError: Rational division by zero

Same for ExtendedIntegerRing(1)/ExtendedIntegerRing(0)

Presumably these should both yield +Infinity?

Component: misc

Issue created by migration from https://trac.sagemath.org/ticket/2515

[burcin]

comment:1

The way Sage handles infinity should be revised in general. I say ExtendedRationalRing (and ExtendedIntegerRing) should go away altogether, since the signed and unsigned infinity rings in sage/rings/infinity.py handle the situations when infinity is encountered adequately, at least after #1915 is fixed.

[sagetrac-mabshoff]

comment:2

This ticket should be closed once #5735 is merged since the functionality will be removed from Sage - for details see that ticket.

Cheers,

Michael

[sagetrac-mabshoff]

comment:3

Fixed in Sage 3.4.1.rc3 via #5735.

Cheers,

Michael