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.

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

#1413 - Add concrete version of zonotope algorithm to manual #1444

Merged
merged 2 commits into from
Jun 21, 2019

Conversation

schillic
Copy link
Member

@schillic schillic commented Jun 16, 2019

Closes #1413.

This requires:

@schillic schillic force-pushed the schillic/1413 branch 5 times, most recently from dcfd6b0 to bb982ad Compare June 18, 2019 15:34
src/AbstractZonotope.jl Outdated Show resolved Hide resolved
@schillic schillic force-pushed the schillic/1413 branch 2 times, most recently from c09cfe1 to 43b3997 Compare June 21, 2019 12:51
@schillic schillic changed the title WIP #1413 - Add concrete version of zonotope algorithm to manual #1413 - Add concrete version of zonotope algorithm to manual Jun 21, 2019
@schillic schillic requested a review from mforets June 21, 2019 13:03
@schillic
Copy link
Member Author

This makes the docs build 6 minutes faster (which affects every PR) 🎉

Copy link
Member

@mforets mforets left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

When updating the wiki would you please add this independent contribution:

  • added concrete minkowski sum for AbstractZonotope

@schillic schillic merged commit 3e9d837 into master Jun 21, 2019
@schillic schillic deleted the schillic/1413 branch June 21, 2019 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add concrete version of zonotope algorithm to manual
2 participants