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

polyhedron: make sure empty [] vector works as right hand side #3278

Merged
merged 2 commits into from
Jan 31, 2024
Merged

polyhedron: make sure empty [] vector works as right hand side #3278

merged 2 commits into from
Jan 31, 2024

Conversation

benlorenz
Copy link
Member

see: #3273

@benlorenz
polyhedral: make sure empty [] vector works as right hand side
fb82b55 
make matrix construction more robust as well
@benlorenz benlorenz enabled auto-merge (squash) January 31, 2024 09:22
@benlorenz benlorenz merged commit 37f2b99 into master Jan 31, 2024
21 checks passed
@benlorenz benlorenz deleted the bl/emptyany branch January 31, 2024 09:30
@thofma thofma mentioned this pull request Feb 4, 2024
Merged
ooinaruhugh pushed a commit to ooinaruhugh/Oscar.jl that referenced this pull request Feb 15, 2024
@benlorenz @ooinaruhugh
polyhedron: make sure empty [] vector works as right hand side (oscar…
3b1a505 
…-system#3278)

* polyhedral: make sure empty [] vector works as right hand side

make matrix construction more robust as well

* Polyhedral: fix another polymake conversion
@thofma thofma mentioned this pull request Feb 20, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fingolfin fingolfin fingolfin approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@benlorenz @fingolfin