gap-packages / recog

The GAP package recog to collect methods for constructive recognition
https://gap-packages.github.io/recog/
GNU General Public License v3.0
6 stars 14 forks source link

Use the meta-information validatesInput from #175 #184

Closed ssiccha closed 3 years ago

ssiccha commented 4 years ago

For now validatesInput from PR #175 only stores meta-information about a method that we don't use yet. We could require in AddMethod for each method to have validatesInput bound, to make sure that the creator of the method did not simply forget about the input validation. In that case that should be documented somewhere, I guess the "what is a method" section would be a good place.