homotopy-rs
homotopy-rs copied to clipboard
homotopy-io
A Rust/WASM implementation of homotopy.io
There seems to be some kind of problem with the rendering at the moment. I made the swallowtail source (see attached), and it should be a monochromatic (yellow) picture; the...
I think we should have a vector that shows the direction of source to target in 3D, as it would be helpful when looking at/constructing proofs.
If you are working in some 3D diagram, but manipulating 2D slices, it might be useful to have just a reference view of the 3D diagram in the corner, with...
There are some scenarios where you really want to contract multiple levels of the diagram simultaneously, not just pairwise. For example, if you build the source diagram for the third...
I have a theorem consisting of an n-object, `f` that is invertible by construction and an (n+1) object `Proof f` giving the proof. I was going to try and prove...
Now that Klaudia has an initial version of manifold detection, it's time to think about implementing this into the tool. For every generator, we should have an option to make...
SwitchSlice is the only action which can't be triggered without a keyboard/mouse, meaning it's unusable on a touchscreen. I was thinking two buttons below and above the slice controls.
It's really annoying that settings don't persist across sessions. It should be possible to save them in local storage.
Collapse seems to have a recursive structure, so it can be reimplemented from the current approach (fully explode, then collapse a graph of 0-diagrams and 0-rewrites). The hope is that...
The triple braid is not laid out correctly in 3d, the central braid becomes an intersection. 