Skip to content
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.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Animations for all basic rewrites #46

Closed
6 tasks done
jvdwetering opened this issue Jul 5, 2023 · 1 comment
Closed
6 tasks done

Animations for all basic rewrites #46

jvdwetering opened this issue Jul 5, 2023 · 1 comment
Labels
Type: enhancement New feature or request

Comments

@jvdwetering
Copy link
Collaborator

jvdwetering commented Jul 5, 2023 •
edited
Loading

We probably want to have some nice little animations for all the basic types of rewrites. In particular:

  • Magic wand: spider unfuse.
  • Magic wand: identity removal
  • Magic drag: Spider fusion
  • Magic drag: bialgebra
  • Magic drag: copy
  • Spider fusion

Suggestions are welcome for what these animations should look like.
@jvdwetering jvdwetering added the Type: enhancement New feature or request label Jul 5, 2023
@jvdwetering
Copy link
Collaborator Author

There is now already an animation for copy and bialgebra, which also includes pi-copy, however we probably want some special logic as to how this should be moved.

@jvdwetering jvdwetering mentioned this issue Jul 18, 2023
Closed
22 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Type: enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jvdwetering