homotopy-rs

homotopy-rs copied to clipboard

Different styles for generators

3

Here are some options: - vertex with horizontal-tangent wires (default) - vertex with vertical-tangent wires - box with vertical wires (#460) - asymmetric CQM-style boxes (#623)

calintat

Improve "About" dialog

3

There are a few problems with the "About" dialog: - [x] it's drawn behind the drawer so it gets obstructed if the drawer is open, - [x] it should block...

calintat

Unoriented surfaces

3

Evaluate the orientation number mod 2? Need to think if this makes sense.

jamievicary

jamievicary

We need to think about these. We should at least work out how to do all of them in principle. - ~~Framed diagrams~~ - Framed typechecking - ~~Oriented diagrams~~ -...

jamievicary

Reset view should make the diagram fill the screen

3

or maybe 80% of the screen (Nick's suggestion) leaving a nice border.

jamievicary

Lighting doesn't distinguish diagram layers

1

The lighting still has a certain flatness to it, which was not present in the javascript homotopy.io. Consider the following examples. The first image is in the js version, while...

jamievicary

Vertex sphere size parameter

1

To view a large diagram you have to zoom out, but then the vertices can't be seen. An example is the animation of the algebraic Eckmann-Hilton proof. To counter this...

jamievicary

[layout.hom.zip](https://github.com/homotopy-io/homotopy-rs/files/8860867/layout.hom.zip)

calintat

Restrict minimum and maximum zoom level

1

jamievicary