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

Figure out the deal with singular reduction. #15

Open

lvella opened this issue Apr 6, 2023 · 0 comments

Owner

lvella commented Apr 6, 2023 •

edited

Loading

There are a lot of things I don't quite understand about the problem. Understand them:

Why reducers with smaller sign/lead ratio takes precedence over equal? When they are equal, why the S-pair is eliminated as singular top reduced?
Corollary 5 implies that all singular top reductions are eliminated by singular criterion, then why I have to assume they happen during reduction?
What is a singular signature? The term is used without definition in the paper.

In fact, I should understand all the theorems of the paper.

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