-
Notifications
You must be signed in to change notification settings - Fork 32
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
#58 - abstract type hierarchy #79
Conversation
74cd5dc
to
b608aeb
Compare
src/VPolygon.jl
Outdated
""" | ||
tohrep(P::VPolygon{N})::HPolygonal{N} where {N<:Real} | ||
|
||
Build a contraint representation of the given polygon. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
contraint -> constraint
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
fixed, thx
docs/src/lib/representations.md
Outdated
@@ -142,7 +142,7 @@ dim(::EmptySet) | |||
ZeroSet | |||
dim(::ZeroSet) | |||
σ(::AbstractVector{Float64}, ::ZeroSet) | |||
∈(::AbstractVector{Float64}, ::ZeroSet) | |||
∈(::AbstractVector{Float64}, ::ZeroSet{Float64}) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
let's merge this unrelated change via another branch? one question: don't you need this annotation also in the previous line, σ(::AbstractVector{Float64}, ::ZeroSet)
?
could you consider splitting this big PR in smaller chunks? we can incorporate each new abstract type in stages. |
Do the intermediate commits have to compile? It's rather complicated otherwise. |
maybe useful is to use the git cherry-pick from a new branch for one or more commits. |
What would these chunks look like? |
From my side this PR is ready. @mforets: If you tell me what you have in mind, I can try the splitting, but I do not see a big benefit. I mostly reordered functions and copy-pasted them around, no new features really. |
5fa10e6
to
e683161
Compare
I reorganized the commits a bit, is this acceptable? |
e683161
to
8ce9c4d
Compare
I replaced |
good! do merge when you are done with the changes 👍 |
done:
ZeroSet