You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, random methods are not compilable because they might return fail and the compiler skips such operations as a safety measure. Additionally, the list versions cannot be installed for the opposite category because the lists might contain information about source and/or range which would have to be swapped.
Possible solutions by looking at the implementation in #1079:
Do not allow to return fail but simply return some default object or morphism or an error if the input integer or list is not valid.
Make RandomMorphismByList get three lists, one for the source, one for the range, and one for the morphism datum (and make RandomMorphismByListWithFixedSource/Range get two lists).
The text was updated successfully, but these errors were encountered:
Currently, random methods are not compilable because they might return
fail
and the compiler skips such operations as a safety measure. Additionally, the list versions cannot be installed for the opposite category because the lists might contain information about source and/or range which would have to be swapped.Possible solutions by looking at the implementation in #1079:
fail
but simply return some default object or morphism or an error if the input integer or list is not valid.RandomMorphismByList
get three lists, one for the source, one for the range, and one for the morphism datum (and makeRandomMorphismByListWithFixedSource/Range
get two lists).The text was updated successfully, but these errors were encountered: