flatsurf / surface-dynamics

Teichmüller dynamics in SageMath
https://flatsurf.github.io/surface-dynamics/
GNU General Public License v2.0
12 stars 14 forks source link

Build with e-antic 2 #91

Closed saraedum closed 3 months ago

saraedum commented 3 months ago

Checklist

saraedum commented 3 months ago

@videlec SageMath 10.0 fails with

File "surface_dynamics/interval_exchanges/cover.py", line 937, in surface_dynamics.interval_exchanges.cover.PermutationCover.isotypic_projectors
Failed example:
    for (dat, ans) in [((7,1,1,2), [0,2,2,2]),
                       ((7,1,3,3), [0,1,1,1]),
                       ((8,1,2,4), [0,0,1,2,2])]:
        c1 = cyclic_cover(*dat)
        c2 = cyclic_cover_regular(*dat)
        assert c1.isotypic_projectors(floating_point=True)[1] == ans
        assert c1.isotypic_projectors(floating_point=False)[1] == ans
        assert c2.isotypic_projectors(floating_point=True)[1] == ans
        assert c2.isotypic_projectors(floating_point=False)[1] == ans
        assert c1.genus() == sum(ans)
Exception raised:
    Traceback (most recent call last):
      File "/usr/share/miniconda3/envs/test/lib/python3.11/site-packages/sage/doctest/forker.py", line 695, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/usr/share/miniconda3/envs/test/lib/python3.11/site-packages/sage/doctest/forker.py", line 1093, in compile_and_execute
        exec(compiled, globs)
      File "<doctest surface_dynamics.interval_exchanges.cover.PermutationCover.isotypic_projectors[17]>", line 8, in <module>
        assert c2.isotypic_projectors(floating_point=True)[Integer(1)] == ans
               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    AssertionError

Previously we didn't run the CI for this version.

saraedum commented 3 months ago

Superseded by #92.