-
Notifications
You must be signed in to change notification settings - Fork 14
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
Edge flip #90
Edge flip #90
Conversation
@Oscfon Finalement, j'ai remplacé tes fonctions par |
@Oscfon J'ai finalement factorisé avec une méthode plus générale |
Documentation complains with zenodo
|
And some cleaning in move_dart
Implement more methods for fat graphs
add_edge()
,add_loop()
: insert an isolated edge or loopswap(i, j)
: multiply by a transposition (induces either a vertex split or merge as well as a face split or merge)move_dart(i, j)
: reallocate darti
close to dartj
The already implemented method
split_face
andsplit_vertex
can be realized using the more atomic operationsswap
(see the docstring ofsplit_face
andsplit_vertex
). Though, we keep their implementations as the newly introduced methods perform relabelling.Checklist
doc/news/
.