Opened 9 months ago
Closed 8 months ago
#25510 closed defect (fixed)
Declared coordinate range not taken into account when a symbolic bound is involved
Reported by: | egourgoulhon | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.3 |
Component: | geometry | Keywords: | manifold, coordinate chart |
Cc: | Dicolevrai | Merged in: | |
Authors: | Eric Gourgoulhon | Reviewers: | Travis Scrimshaw |
Report Upstream: | N/A | Work issues: | |
Branch: | 936592d (Commits) | Commit: | 936592d7ae9b50ad4bd11e831b3dffded71b934b |
Dependencies: | Stopgaps: |
Description
This is OK:
sage: M = Manifold(2, 'M') sage: X.<x,y> = 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.<x,y> = 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
.
Change History (8)
comment:1 Changed 9 months ago by
- Branch set to public/manifolds/coordinate_range_assumptions_25510
- Commit set to ebc0af92c59f1f8759c71065fe401e27d9c688fe
comment:2 Changed 9 months ago by
- Cc Dicolevrai added
- Status changed from new to needs_review
comment:3 Changed 9 months ago by
- Summary changed from Declared range of coordinate with symbolic bounds not taken into account to Declared range of coordinate not taken into account when a symbolic bound is involved
comment:4 Changed 9 months ago by
- Summary changed from Declared range of coordinate not taken into account when a symbolic bound is involved to Declared coordinate range not taken into account when a symbolic bound is involved
comment:5 Changed 9 months ago by
- Commit changed from ebc0af92c59f1f8759c71065fe401e27d9c688fe to 936592d7ae9b50ad4bd11e831b3dffded71b934b
Branch pushed to git repo; I updated commit sha1. New commits:
936592d | Remove unnecessary import in chart.py + corrected some simplify code in the same file
|
comment:6 follow-up: ↓ 7 Changed 9 months ago by
- Reviewers set to Travis Scrimshaw
- Status changed from needs_review to positive_review
LGTM.
comment:7 in reply to: ↑ 6 Changed 9 months ago by
Thanks for the review!
comment:8 Changed 8 months ago by
- Branch changed from public/manifolds/coordinate_range_assumptions_25510 to 936592d7ae9b50ad4bd11e831b3dffded71b934b
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
New commits:
Fix assumptions for coordinate range declared with symbolic bounds