-
Notifications
You must be signed in to change notification settings - Fork 19
Open
Labels
SummerSchoolMGRWork done during the Summer School on Matrix Group Recognition in Aachen in 2019Work done during the Summer School on Matrix Group Recognition in Aachen in 2019enhancement
Description
This is based on the discussion in PR #76.
This can be used to extend the idea of PR #76. If a test is called with tryNonGroupElements := true, then currently random elements are created that have a very low probability to pass ValidateHomomInput (see #98). RandomValidInputForHomomorphismOfRecogNode should create elements that always pass ValidateHomomInput but will usually not be in the group that is represented by the recognition node.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
SummerSchoolMGRWork done during the Summer School on Matrix Group Recognition in Aachen in 2019Work done during the Summer School on Matrix Group Recognition in Aachen in 2019enhancement