flatsurf / flatsurvey

4 stars 1 forks source link

Fix Boshernitzan conjecture check #30

Closed saraedum closed 2 years ago

saraedum commented 2 years ago

all directions need to be minimal for Boshernitzan's conjecture to fail.

A few (known) directions had reported the conjecture to be false because of a single minimal direction. These have been manually deleted from the database.