Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Enable TestGroupOptions.tryNonGroupElements #234

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

ssiccha
Copy link
Collaborator

@ssiccha ssiccha commented Dec 17, 2020

This checks whether recog can correctly recognise, that a given input
does not lie in the recognised group.

Lets see whether the tests pass.

This checks whether recog can correctly recognise, that a given input
does not lie in the recognised group.
@ssiccha
Copy link
Collaborator Author

ssiccha commented Dec 17, 2020

There's only three test failures which looks pretty good, namely in:
ProjNotAbsIrred.tst, ProjSubfield2.tst, ClassicalNatural.tst.
The latter fails with Giving up, Schreier tree is not shallow., so that's probably not related to the changes in this PR.

# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants