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

FRONTEND: A web tool that, when input an equation number, lists all equations known or conjectured to imply it, and all equations that it is known or conjectured to imply. #209

Open
teorth opened this issue Oct 2, 2024 · 3 comments · May be fixed by #223
Open

FRONTEND: A web tool that, when input an equation number, lists all equations known or conjectured to imply it, and all equations that it is known or conjectured to imply. #209

teorth opened this issue Oct 2, 2024 · 3 comments · May be fixed by #223
Assignees
@carlini

Comments

@teorth
Copy link
Owner

teorth commented Oct 2, 2024

The tool can also describe the equation, as well as all the equations in the lists.

As an optional expansion, list the implications involving this equation that are still open.
@carlini
Copy link
Contributor

carlini commented Oct 3, 2024

claim

@carlini carlini linked a pull request Oct 3, 2024 that will close this issue
Draft
@Command-Master
Copy link
Contributor

Perhaps equations which both imply it and it implies should be listed separately, as equations which are equivalent to it?

@teorth
Copy link
Owner Author

teorth commented Oct 3, 2024

Probably only one representative of each equivalence class should be listed for the strict implications (equation2 in particular has a huge number of equivalents). Similar to the graphviz graphs we currently have where we have both boxes for single equations and circles for multiple equivalent equations. If these links are clickable one could explore the graph and find out the full equivalence class.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@carlini carlini

Labels
None yet
Projects
Equational Theories Project
Status: Claimed Tasks
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Web UI to visualize equations and their implications [DRAFT] carlini/equational_theories
3 participants
@teorth @carlini @Command-Master