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

Improve the eq module #512

Open
andrejbauer opened this issue Jan 22, 2020 · 0 comments
Open

Improve the eq module #512

andrejbauer opened this issue Jan 22, 2020 · 0 comments
Milestone
Andromeda 2.0 pub...

Comments

@andrejbauer
Copy link
Member

andrejbauer commented Jan 22, 2020 •
edited
Loading

  • Make it possible to install immediate equations (maybe both, normalized and non-normalized)
  • There should be a way to locally use an equation.
  • There should be a way to block an equation that's already installed.
  • It would be nice if we can have multiple equality checkers at the same time, apart from the default one.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Andromeda 2.0 public release
Development

No branches or pull requests
1 participant
@andrejbauer