Skip to content

Arrows and Asymmetric Boxes for Invertible Generators#864

Draft
thud wants to merge 2 commits into
masterfrom
new-show-orientation
Draft

Arrows and Asymmetric Boxes for Invertible Generators#864
thud wants to merge 2 commits into
masterfrom
new-show-orientation

Conversation

@thud
Copy link
Copy Markdown
Collaborator

@thud thud commented Oct 7, 2022

Add arrows / asymmetric boxes to invertible generators.

@thud thud changed the base branch from master to labelled October 7, 2022 07:28
@thud thud changed the title New show orientation Arrows and Asymmetric Boxes for Invertible Generators Oct 7, 2022
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Oct 7, 2022

Visit the preview URL for this PR (updated for commit 29c3d40):

https://homotopy-rs--homotopy-io-new-show-orientation-j3wik0rt.web.app

(expires Sun, 06 Nov 2022 07:30:05 GMT)

🔥 via Firebase Hosting GitHub Action 🌎

@thud
Copy link
Copy Markdown
Collaborator Author

thud commented Oct 7, 2022

#553 (comment)

This is a pretty messy commit which represents a few days of random prototyping with arrows and boxes. As I recall, the arrows just point randomly at the moment and the same, I think, applies for the boxes.

Hopefully it is of some use to someone.

Another note, I'm not sure if this plays well with the path simplification algorithm (used by tikz renderer etc.).

@calintat calintat force-pushed the labelled branch 5 times, most recently from b52d4b2 to da9b076 Compare October 15, 2022 19:39
@calintat calintat force-pushed the labelled branch 2 times, most recently from 420d881 to 8032f51 Compare October 23, 2022 08:56
@calintat calintat force-pushed the labelled branch 3 times, most recently from 68a02e6 to 5e56cb5 Compare November 3, 2022 10:19
@NickHu NickHu force-pushed the labelled branch 2 times, most recently from c03f607 to 8cb3da8 Compare November 10, 2022 12:47
@NickHu NickHu force-pushed the labelled branch 2 times, most recently from 8ea48ad to 98f4ef7 Compare November 21, 2022 15:46
@calintat calintat force-pushed the labelled branch 2 times, most recently from b4465db to 099828a Compare November 25, 2022 11:02
Base automatically changed from labelled to master November 25, 2022 11:32
@calintat calintat force-pushed the new-show-orientation branch from 29c3d40 to ab50f3c Compare December 8, 2022 15:52
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Dec 11, 2022 •
edited
Loading

Visit the preview URL for this PR (updated for commit c771ba7):

https://homotopy-rs--homotopy-io-new-show-orientation-atdgezfp.web.app

(expires Mon, 06 Mar 2023 20:26:32 GMT)

🔥 via Firebase Hosting GitHub Action 🌎

Sign: 05ce40f0d298ddcee3705e1ffae42ac186395bf7

@calintat calintat force-pushed the master branch 2 times, most recently from 25c6a8d to 09c00e9 Compare February 7, 2024 13:55
@NickHu NickHu force-pushed the master branch 6 times, most recently from fa70da2 to 4dfe07f Compare February 19, 2024 12:59
@calintat calintat force-pushed the master branch 2 times, most recently from 8059097 to 6c94846 Compare March 7, 2024 00:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@thud @regular-citizen