search

flatsurf / sage-flatsurf

Flat surfaces in Sage
https://flatsurf.github.io/sage-flatsurf/
GNU General Public License v2.0
10 stars 10 forks source link

Define points on flat surfaces with boundary #275

Closed KaiFu2210 closed 2 months ago

KaiFu2210 commented 3 months ago

Given a flat surface S by pairing edges of polygons, make the function "S.point()" work for points on the boundary of the surface.

videlec commented 3 months ago

Could you write down an explicit example that fails in the issue description?

KaiFu2210 commented 3 months ago

Could you write down an explicit example that fails in the issue description?

Sure.

Example: Let S be a flat surface defined as follows: p0 = polygons(vertices = [(0,0), (-1, -1), (1,0)]) p1 = polygons(vertices = [(0,0), (0, 1), (-1,-1)]) S = MutableOrientedSimilaritySurface(QQ) S.add_polygon(p0) S.add_polygon(p1) S.glue((0,0),(1,2)) S.set_immutable() S becomes a translation surface with boundary built from 2 triangles. However, we cannot define S.point(0,(0,0)), which is a point on the bounday of S.