Opened 15 years ago

Closed 15 years ago

#1800 closed defect (fixed)

[with patch, with positive review] bug with RealIntervalField / MPFI

Reported by: Mike Hansen Owned by: Carl Witty
Priority: major Milestone: sage-2.10.1
Component: numerical Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

sage: a = factorial(100)/exp(2)
sage: bits = 427; RealIntervalField(bits)(a).upper() - RealIntervalField(bits)(a).lower()
7.9228162514264337593543950336000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e28
sage: bits = 428; RealIntervalField(bits)(a).upper() - RealIntervalField(bits)(a).lower()
0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

Attachments (1)

trac-1800.patch (1.8 KB) - added by Carl Witty 15 years ago.

Download all attachments as: .zip

Change History (5)

comment:1 Changed 15 years ago by Carl Witty

Owner: changed from jkantor to Carl Witty
Status: newassigned

It looks like coercion from symbolic expressions to intervals is broken (because nobody ever wrote the code to do it, and the generic code that happens to be used doesn't work).

Changed 15 years ago by Carl Witty

Attachment: trac-1800.patch added

comment:2 Changed 15 years ago by Carl Witty

Priority: minormajor
Summary: bug with RealIntervalField / MPFI[with patch, needs review] bug with RealIntervalField / MPFI

comment:3 Changed 15 years ago by ncalexan

Summary: [with patch, needs review] bug with RealIntervalField / MPFI[with patch, with positive review] bug with RealIntervalField / MPFI

Solution seems correct.

comment:4 Changed 15 years ago by Michael Abshoff

Resolution: fixed
Status: assignedclosed

Merged in Sage 2.10.1.alpha0

Note: See TracTickets for help on using tickets.