{"action":"opened","issue":{"url":"https://api.github.com/repos/sympy/sympy/issues/8910","labels_url":"https://api.github.com/repos/sympy/sympy/issues/8910/labels{/name}","comments_url":"https://api.github.com/repos/sympy/sympy/issues/8910/comments","events_url":"https://api.github.com/repos/sympy/sympy/issues/8910/events","html_url":"https://github.com/sympy/sympy/issues/8910","id":55995195,"number":8910,"title":"Comparing Float Infinity with Core Infinity","user":{"login":"kevinventullo","id":8824032,"avatar_url":"https://avatars.githubusercontent.com/u/8824032?v=3","gravatar_id":"","url":"https://api.github.com/users/kevinventullo","html_url":"https://github.com/kevinventullo","followers_url":"https://api.github.com/users/kevinventullo/followers","following_url":"https://api.github.com/users/kevinventullo/following{/other_user}","gists_url":"https://api.github.com/users/kevinventullo/gists{/gist_id}","starred_url":"https://api.github.com/users/kevinventullo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kevinventullo/subscriptions","organizations_url":"https://api.github.com/users/kevinventullo/orgs","repos_url":"https://api.github.com/users/kevinventullo/repos","events_url":"https://api.github.com/users/kevinventullo/events{/privacy}","received_events_url":"https://api.github.com/users/kevinventullo/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-01-30T05:04:28Z","updated_at":"2015-01-30T05:04:28Z","closed_at":null,"body":"So while looking at Issue #8906 I came across a possibly related issue.\r\n\r\n```\r\n>>> from sympy.stats import *\r\n>>> from sympy import Symbol\r\n>>> x = Symbol(\"x\")\r\n>>> X = Uniform(\"u\", 0, 1)\r\n>>> P(X<.5)\r\nTraceback (most recent call last):\r\n  ...\r\n    raise TypeError(\"cannot determine truth value of\\n%s\" % self)\r\nTypeError: cannot determine truth value of\r\n-oo < -inf\r\n```\r\n\r\nThe Traceback involved intersecting some sets to figure out the domain of X, which is where the comparison `-oo < -inf` arose. I'll try to fix it quickly."}}