pacti-org/pacti

[BUG] Documentation of to_symbolic has wrong result in example

Closed this issue · 0 comments

iincer commented

Describe the bug
Klaus Havelund pointed out that the API documentation of to_symbolic has wrong result. This is the current example:
image

The output should be -2x + 3y - 4

To Reproduce
Visit https://www.pacti.org/Polyhedral/#pacti.terms.polyhedra.polyhedra.PolyhedralTerm.to_symbolic