search

homotopy-io / homotopy-webclient

https://homotopy.io
26 stars 5 forks source link

Cannot trigger contraction with the UI #17

Closed jamievicary closed 5 years ago

jamievicary commented 5 years ago

Lukas, did you set up a click-and-drag UI trigger for this yet?

zrho commented 5 years ago

Not yet, this is coming soon.

zrho commented 5 years ago

Implemented in 5557213843639e05311cfb9a5154751845c31be9. This does not handle expansions yet.

jamievicary commented 5 years ago

Thanks for this nice work. I noticed however that you cannot drag homotopies (for example, braids) to trigger expansions.

jamievicary commented 5 years ago

Here is an idea for a better contraction/expansion UI, at least for 2d diagrams. If you click-and-drag a vertex (including homotopy vertices), and there is exactly one vertex at that singular level of the diagram, it assumes you're doing a contraction. If there is more than one vertex, it assumes you're doing an expansion. I think there is then no need for the shift-click business. I propose we implement this.

zrho commented 5 years ago

Oh, yes, so far I intstrumented only the vertices to listen for drags. That would have to be extended to wires as well.

I like the idea of the context dependent contraction and expansion. When moving to things across each other, I do not really want to care about whether the move is a contraction or expansion.

On Fri, 7 Sep 2018, 16:38 jamievicary notifications@github.com wrote:

Here is an idea for a better contraction/expansion UI, at least for 2d diagrams. If you click-and-drag a vertex (including homotopy vertices), and there is exactly one vertex at that singular level of the diagram, it assumes you're doing a contraction. If there is more than one vertex, it assumes you're doing an expansion. I think there is then no need for the shift-click business. I propose we implement this.

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/jamievicary/homotopy.io/issues/17#issuecomment-419479398, or mute the thread https://github.com/notifications/unsubscribe-auth/AAV1JfBafDTOU9VhcOqhGAq687DZV0Acks5uYpMDgaJpZM4Wa0gW .

jamievicary commented 5 years ago

I think we should render invisible circles above homotopy interaction points which will support a tooltip (saying "Homotopy"), and which can be the focus for contraction and expansion moves.

On Fri, 7 Sep 2018, 18:02 Lukas Heidemann, notifications@github.com wrote:

Oh, yes, so far I intstrumented only the vertices to listen for drags. That would have to be extended to wires as well.

I like the idea of the context dependent contraction and expansion. When moving to things across each other, I do not really want to care about whether the move is a contraction or expansion.

On Fri, 7 Sep 2018, 16:38 jamievicary notifications@github.com wrote:

Here is an idea for a better contraction/expansion UI, at least for 2d diagrams. If you click-and-drag a vertex (including homotopy vertices), and there is exactly one vertex at that singular level of the diagram, it assumes you're doing a contraction. If there is more than one vertex, it assumes you're doing an expansion. I think there is then no need for the shift-click business. I propose we implement this.

— You are receiving this because you commented. Reply to this email directly, view it on GitHub < https://github.com/jamievicary/homotopy.io/issues/17#issuecomment-419479398 , or mute the thread < https://github.com/notifications/unsubscribe-auth/AAV1JfBafDTOU9VhcOqhGAq687DZV0Acks5uYpMDgaJpZM4Wa0gW

.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/jamievicary/homotopy.io/issues/17#issuecomment-419486479, or mute the thread https://github.com/notifications/unsubscribe-auth/AKHHHnPmtu-b3Pfd7xE6oMgZxP43wxZhks5uYpiLgaJpZM4Wa0gW .