Closed iincer closed 1 year ago
Describe the bug Klaus Havelund pointed out that the API documentation of to_symbolic has wrong result. This is the current example:
to_symbolic
The output should be -2x + 3y - 4
-2x + 3y - 4
To Reproduce Visit https://www.pacti.org/Polyhedral/#pacti.terms.polyhedra.polyhedra.PolyhedralTerm.to_symbolic
Describe the bug Klaus Havelund pointed out that the API documentation of![image](https://github.com/pacti-org/pacti/assets/42584466/0147a57d-eb36-426d-b430-f9c3b3c09396)
to_symbolic
has wrong result. This is the current example:The output should be
-2x + 3y - 4
To Reproduce Visit https://www.pacti.org/Polyhedral/#pacti.terms.polyhedra.polyhedra.PolyhedralTerm.to_symbolic