Opened 10 years ago

Closed 7 years ago

#13326 closed defect (fixed)

bug in comparisons of infinite values

Reported by: caruso Owned by:
Priority: major Milestone: sage-6.7
Component: symbolics Keywords: comparaison Infinity pynac
Cc: Merged in:
Authors: Ralf Stephan Reviewers: Marc Mezzarobba
Report Upstream: N/A Work issues:
Branch: f4fc186 (Commits, GitHub, GitLab) Commit: f4fc1867ee38fdbb0cc2a44b6f09eb161a973688
Dependencies: #18362 Stopgaps:

Status badges

Description 

sage: if log(2)*Infinity == Infinity: print "Hello"
....: 
type = 214729600
** Hit STUB**: invalid type: is_zero() type not handled
terminate called after throwing an instance of 'std::runtime_error'
  what():  stub

------------------------------------------------------------------------
Unhandled SIGABRT: An abort() occurred in Sage.
This probably occurred because a *compiled* component of Sage has a bug
in it and is not properly wrapped with sig_on(), sig_off(). You might
want to run Sage under gdb with 'sage -gdb' to debug this.
Sage will now terminate.
------------------------------------------------------------------------

Change History (12)

comment:1 Changed 9 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:2 Changed 9 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:3 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:4 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:5 Changed 7 years ago by vdelecroix

  • Milestone changed from sage-6.4 to sage-6.7

The bug is still here on sage-6.7.beta1!

comment:6 Changed 7 years ago by rws

  • Component changed from algebra to symbolics
  • Keywords pynac added
  • Owner changed from AlexGhitza to burcin

comment:7 Changed 7 years ago by rws

  • Owner changed from burcin to (none)

comment:8 Changed 7 years ago by rws

  • Summary changed from Bug in comparisons of infinite values to bug in comparisons of infinite values

The crash itself is unnecessary and will be fixed by #14211.

The invalid type in Pynac is ​https://github.com/pynac/pynac/issues/35

Last edited 7 years ago by rws (previous) (diff)

comment:9 Changed 7 years ago by rws

  • Branch set to u/rws/bug_in_comparisons_of_infinite_values

comment:10 Changed 7 years ago by rws

  • Authors set to Ralf Stephan
  • Commit set to f4fc1867ee38fdbb0cc2a44b6f09eb161a973688
  • Dependencies set to #18362
  • Status changed from new to needs_review

New commits:

​23892cb18362: upgrade to pynac-0.3.7; fix one changed doctest result
​f4fc18613326: doctest

comment:11 Changed 7 years ago by mmezzarobba

  • Reviewers set to Marc Mezzarobba
  • Status changed from needs_review to positive_review

comment:12 Changed 7 years ago by vbraun

  • Branch changed from u/rws/bug_in_comparisons_of_infinite_values to f4fc1867ee38fdbb0cc2a44b6f09eb161a973688
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.