id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
25510,Declared coordinate range not taken into account when a symbolic bound is involved,egourgoulhon,,"This is OK:
{{{
sage: M = Manifold(2, 'M')
sage: X. = M.chart(""x y:(0,1)"")
sage: assumptions()
[x is real, y is real, y > 0, y < 1]
}}}
while this is bad:
{{{
sage: forget()
sage: M = Manifold(2, 'M')
sage: a = var('a'); assume(a>0)
sage: X. = M.chart(""x y:(0,a)"")
sage: assumptions()
[a > 0, x is real, y is real, y > 0]
}}}
The constraint `y < a` is not included in the assumption list, contrary to `y < 1` in the first example. The origin of the bug is
{{{
sage: bool(a != Infinity)
False
}}}
This is corrected by changing the tests `xmin != -Infinity` and `xmax != Infinity` to respectively `not (xmin == -Infinity)` and `not (xmax == Infinity)` in `sage.manifolds.chart.RealChart._init_coordinates`.",defect,closed,major,sage-8.3,geometry,fixed,"manifold, coordinate chart",Dicolevrai,,Eric Gourgoulhon,Travis Scrimshaw,N/A,,936592d7ae9b50ad4bd11e831b3dffded71b934b,936592d7ae9b50ad4bd11e831b3dffded71b934b,,