id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
30248 Normaliz backend is broken with double description input jipilab "This bug was found while manipulating hyperplane arrangements.
A minimal example to reproduce the bug is:
{{{
sage: p1 = Polyhedron(backend='normaliz', base_ring=AA, rays=[(AA(0), AA(0), AA(1)), (AA(0), AA(1), AA(-1)), (AA(1), AA(0), AA(-1))], vertices=[(AA(0), AA(0), AA(0))])
sage: p1
A 3-dimensional polyhedron in AA^3 defined as the convex hull of 1 vertex and 3 rays
sage: -p1
A 3-dimensional polyhedron in AA^3 defined as the convex hull of 1 vertex and 3 lines
sage: p2 = Polyhedron(backend='normaliz', base_ring=AA, rays=[(AA(-1), AA(0), AA(1)), (AA(-1), AA(1), AA(0)), (AA(0), AA(0), AA(-1))], vertices=[(AA(0), AA(0), AA(0))])
sage: p2
A 3-dimensional polyhedron in AA^3 defined as the convex hull of 1 vertex and 3 rays
sage: -p2
A 3-dimensional polyhedron in AA^3 defined as the convex hull of 1 vertex and 3 lines
}}}
Looking at `dilation` it seems that dilation is not the problem, it does the right thing, but the `parent.element_class` call messes things up.
Notice that changing the base ring to `QQ` or `ZZ` or removing the `'normaliz'` backend, one does not get the error... This is nasty.
In the hyperplane arrangement, there are some rational regions, and some irrational regions..." defect closed critical sage-9.2 geometry fixed polytope, backend, normaliz, hyperplane, regions gh-kliem gh-LaisRast mkoeppe tscrim Jean-Philippe Labbé Travis Scrimshaw N/A 83453fb76a747556812266da84afb98b64fc7eab 83453fb76a747556812266da84afb98b64fc7eab