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

EQUATION_EXPLORER: Allow the "Enter an equation" textbox to also accept equation numbers #565

Closed
teorth opened this issue Oct 14, 2024 · 4 comments
Closed

EQUATION_EXPLORER: Allow the "Enter an equation" textbox to also accept equation numbers #565

teorth opened this issue Oct 14, 2024 · 4 comments
Assignees
@Joe-McCann

Comments

@teorth
Copy link
Owner

teorth commented Oct 14, 2024

Thus, the parser would determine whether the input was a number (e.g., 1184) or an equation (e.g., x = y ◇ ((z ◇ (z ◇ y)) ◇ x)), and in either case it would navigate to the appropriate page (e.g., https://teorth.github.io/equational_theories/implications/?1184).
@teorth teorth converted this from a draft issue Oct 14, 2024
@Joe-McCann
Copy link
Contributor

claim

@teorth teorth moved this from Unclaimed Outstanding Tasks to Claimed Tasks in Equational Theories Project Oct 17, 2024
@Joe-McCann Joe-McCann mentioned this issue Oct 17, 2024
Merged
@Joe-McCann
Copy link
Contributor

propose #625

@Joe-McCann
Copy link
Contributor

propose PR #625

teorth pushed a commit that referenced this issue Oct 18, 2024
@Joe-McCann
Equation Explorer: Search by Number and Download Explorer CSV (#625)
1823299 
Adjusted files `script.js` and `index.html` to create a Download CSV
button for this issue:
#419

The file provides a CSV file version of the table on the main equation
explorer page.


![image](https://github.com/user-attachments/assets/408fe660-0aa7-4f2e-a02b-2690b43fd287)

Also adjusted files `index.html` and `find_equation_id.js` so that now
you can search on the equation editor by an integer instead of a
specific equation:
#565


![image](https://github.com/user-attachments/assets/6c43fa95-15e6-417c-98f4-f1fd9cfe2140)
@JoseBrox
Copy link

Thus, the parser would determine whether the input was a number (e.g., 1184) or an equation (e.g., x = y ◇ ((z ◇ (z ◇ y)) ◇ x)), and in either case it would navigate to the appropriate page (e.g., https://teorth.github.io/equational_theories/implications/?1184).

Perhaps it would also be interesting to be able to search by name: Astérix, Obélix, Dupond, Dupont... and maybe also by selected properties, like "Austin".

@teorth teorth closed this as completed Oct 18, 2024
@github-project-automation github-project-automation bot moved this from Claimed Tasks to Completed Tasks in Equational Theories Project Oct 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Joe-McCann Joe-McCann

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

No branches or pull requests
3 participants
@teorth @Joe-McCann @JoseBrox