8000 Symbolic normalization · Issue #2 · gaperez64/epad · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Symbolic normalization #2

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
Open
3 tasks
gaperez64 opened this issue May 28, 2025 · 1 comment
Open
3 tasks

Symbolic normalization #2

gaperez64 opened this issue May 28, 2025 · 1 comment

Comments

@gaperez64
Copy link
Owner
gaperez64 commented May 28, 2025 •
edited
Loading

Implement:

  • try (any) symbolic order first and, only if needed, switch to semantic
  • when using a semantic order and finding an offending RHS/vector in the span of the submodule, add an option to add all equalities instead of a single one
  • keep track of the order for which each (final) system is increasing so that it can be checked at the end
@gaperez64
Copy link
Owner Author

Started working on the second one. Now all bases are returned, not just one. This can be fed into the split function all_disj_from_noninc, and that's exactly what norm.py does now. This should be tested and norm.py should have an option to use only the first or to give all of them to the function spitting out subsystems.

For the first one: I need to figure out how to check whether a system is increasing for some symbolic order.

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
No milestone
Development

No branches or pull requests
1 participant
@gaperez64
0