Changes between Version 22 and Version 45 of Ticket #29936


Ignore:
Timestamp:
Apr 24, 2021, 10:31:01 AM (20 months ago)
Author:
Samuel Lelièvre
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29936

    • Property Status changed from needs_work to needs_review
    • Property Authors changed from to Travis Scrimshaw
    • Property Milestone changed from sage-9.2 to sage-9.4
    • Property Summary changed from Sign error in hyperbolic geodesic to Fix moebius_transform, midpoint and perpendicular_bisector
    • Property Reviewers changed from to Samuel Lelièvre
    • Property Commit changed from 2028478e2e1ffd9294b7a5b0e96626479ce7f546 to bd2d756c73c0f6d2f9677dfec9338752fcaeb6c8
  • Ticket #29936 – Description

    v22 v45  
    1 Fuzzing doctests for `geometry/hyperbolic_space/hyperbolic_geodesic.py` revealed a sign error.
     1We fix several related issues in hyperbolic geometry:
     2
     3- `moebius_transform` wrong in the orientation-reversing
     4  (negative determinant) case
     5- `midpoint` and `perpendicular_bisector`
     6  gave different results for (a, b) and (b, a)
     7
     8Fuzzing `geometry/hyperbolic_space/hyperbolic_geodesic.py`
     9doctests uncovered these issues. See #29935, #29962, #29963.
     10
    211
    312{{{