Describe the bug
If you enter the polyhedral constraint |a - b | <= epsilon for small epsilon, Pacti will print this constraint as
|a - b | <= 0.
This makes it hard to debug constraints.
Expected behavior
The constraint above should be printed as
|a - b | <= epsilon
iincer
commented
1 year ago
Describe the bug If you enter the polyhedral constraint
|a - b | <= epsilonfor small epsilon, Pacti will print this constraint as|a - b | <= 0. This makes it hard to debug constraints.Expected behavior The constraint above should be printed as
|a - b | <= epsilon