-
Notifications
You must be signed in to change notification settings - Fork 77
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鈥檒l occasionally send you account related emails.
Already on GitHub? Sign in to your account
multiple labels per arrow #92
Comments
I would definitely like to support this (in fact, there's even an old branch where I started implementing this feature, though it's very out-of-date now: https://github.com/varkor/quiver/tree/multiple-labels). I think the biggest question is what the most intuitive interface would be. Possibly there could be radio buttons for each edge label in the side panel, and the input bar at the bottom would always correspond to the selected button. This feature should be straightforward to implement, but I don't have time to get to it in the near future. It'll be on the list for version 1.3.0 of quiver, though. |
I second this idea. How else would you do |
But if arrows can have mutlple lablels, you might as well make nodes as well. I would say you have a main label which is always present but can be blank, and a deletable / extendable list of up to 8 labels. One for each top, left, right, bottom, and the in-betweens of those. It's kind of interesting that if a CD has a vertex with degree of more than 16, then the diagram defeats the purpose of the CD as a mnemonic for learning a diagram chasing concept. The diagram is simply too convoluted. So the class of CD graphs (that are drawn for humans) is a lot more computatationally tamable than graphs with unrestricted vertex degree. To make this even more visually workable, I would perhaps limit the edge labels to 4 and also the node labels. With extra node labels you can do stuff like "x \in X` but on the top & bottom of the node as well as the sides. You shouldn't have to fake the multiple labels if you need them. It's a very needed feature, imho. |
At the moment, you can achieve this by drawing two identical arrows, but I agree it's not ideal.
I don't think I've ever seen a situation where you would want a vertex to have multiple labels. Have you got an example? |
@varkor In answer to your question about an example for multi-labels on vertices: Pictured you see the first part of a diagram chase in a category of A-modules. It's more natural to have Also, just doing this for arrows is asymmetrical design-wise. If people see mutli-labels on edges, they will automatically expect multi-labels on vertices. |
Thank you for this app, it's really helpful for me 馃挅
Trying to copy an existing diagram in quiver, I want to be able to add a label both above and below an arrow which is not yet possible in quiver itself afaik:
I am currently manually adding the lower label afterwards, which is not too much of a hassle.
The text was updated successfully, but these errors were encountered: