Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[BUG] Documentation of to_symbolic has wrong result in example #323

Closed
iincer opened this issue Aug 14, 2023 · 0 comments
Closed

[BUG] Documentation of to_symbolic has wrong result in example #323

iincer opened this issue Aug 14, 2023 · 0 comments
Assignees
@iincer
Labels
documentation Improvements or additions to documentation

Comments

@iincer
Copy link
Collaborator

iincer commented Aug 14, 2023

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
@iincer iincer added the documentation Improvements or additions to documentation label Aug 14, 2023
@iincer iincer self-assigned this Aug 14, 2023
iincer added a commit that referenced this issue Aug 28, 2023
@iincer
Fix [BUG] Documentation of to_symbolic has wrong result in example #323
f7da372 
Fix formatting of return values for several functions
@iincer iincer closed this as completed Aug 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@iincer iincer

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@iincer