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

Test with more version of sagelib #84

Open saraedum opened 5 months ago

saraedum commented 5 months ago
Dependencies
saraedum commented 5 months ago

@videlec any idea what's the problem here?

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

This is with SageMath 10.0. (Same with 10.1 and 10.2.)