Opened 12 years ago

Closed 12 years ago

#1800 closed defect (fixed)

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

Reported by: mhansen Owned by: cwitty
Priority: major Milestone: sage-2.10.1
Component: numerical Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Work issues:
Branch: Commit:
Dependencies: Stopgaps:

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 cwitty 12 years ago.

Download all attachments as: .zip

Change History (5)

comment:1 Changed 12 years ago by cwitty

  • Owner changed from jkantor to cwitty
  • Status changed from new to assigned

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 12 years ago by cwitty

comment:2 Changed 12 years ago by cwitty

  • Priority changed from minor to major
  • Summary changed from bug with RealIntervalField / MPFI to [with patch, needs review] bug with RealIntervalField / MPFI

comment:3 Changed 12 years ago by ncalexan

  • Summary changed from [with patch, needs review] bug with RealIntervalField / MPFI to [with patch, with positive review] bug with RealIntervalField / MPFI

Solution seems correct.

comment:4 Changed 12 years ago by mabshoff

  • Resolution set to fixed
  • Status changed from assigned to closed

Merged in Sage 2.10.1.alpha0

Note: See TracTickets for help on using tickets.