sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.43k stars 479 forks source link

Sporadic failures in incidence_matrix of float cdd polyhedron #32030

Open mkoeppe opened 3 years ago

mkoeppe commented 3 years ago
            sage: P = polytopes.dodecahedron(exact=False)
            sage: M = P.incidence_matrix.cache
            sage: P.incidence_matrix.clear_cache()
            sage: M == P.incidence_matrix()

This test has been observed to fail sporadically

CC: @kliem @egourgoulhon

Component: geometry

Issue created by migration from https://trac.sagemath.org/ticket/32030

kliem commented 3 years ago
comment:1

What do you mean by sporadically? It seems to depend on the machine or maybe on the installed version of cdd, because I can run it a thousand times in a row without a problem.

mkoeppe commented 3 years ago
comment:2

I don't have more information at the moment. I was also unable to provoke it when I tried