#30555 closed defect (fixed)

Incorrect gt() and lt() functions in Berkovich space

Reported by: gh-EnderWannabe Owned by:
Priority: trivial Milestone: sage-9.3
Component: padics Keywords:
Cc: bhutz, paulfili Merged in:
Authors: Alexander Galarraga Reviewers: Ben Hutz
Report Upstream: N/A Work issues:
Branch: 062ff67 (Commits, GitHub, GitLab) Commit: 062ff67f3d4b3c8a2a9c57d47d35c7ad41d96165
Dependencies: Stopgaps:

Status badges

Description

Currently, the gt() and lt() functions for points of Berkovich space over Cp treat infinity as a minimal Type I point:

sage: B = Berkovich_Cp_Projective(3)
sage: infinity = B((1,0))
sage: gauss = B(0,1)
sage: gauss.gt(infinity)
True

Infinity, however, is maximal with respect to the standard partial order. We fix this error.

Change History (6)

comment:1 Changed 15 months ago by gh-EnderWannabe

  • Branch set to u/gh-EnderWannabe/partial_order_fix

comment:2 Changed 15 months ago by git

  • Commit set to 062ff67f3d4b3c8a2a9c57d47d35c7ad41d96165

Branch pushed to git repo; I updated commit sha1. New commits:

062ff6730555: initial fix with tests + small doc changes

comment:3 Changed 15 months ago by gh-EnderWannabe

  • Status changed from new to needs_review

comment:4 Changed 15 months ago by bhutz

  • Reviewers set to Ben Hutz
  • Status changed from needs_review to positive_review

Works as expected.

comment:5 Changed 13 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:6 Changed 13 months ago by vbraun

  • Branch changed from u/gh-EnderWannabe/partial_order_fix to 062ff67f3d4b3c8a2a9c57d47d35c7ad41d96165
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.