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
In gap-system/gap#4585@mfarrokhidg asked about using Strings as list of characters as arguments. This does not work. The documentation tries to address this ("arguments must be GAP Strings"), but perhaps the documentation should be more clear that the functions require IsStringRep not just IsString.
I gave the following workaround. A similar example might be useful in the manual.
In gap-system/gap#4585 @mfarrokhidg asked about using Strings as list of characters as arguments. This does not work. The documentation tries to address this ("arguments must be GAP Strings"), but perhaps the documentation should be more clear that the functions require
IsStringRep
not justIsString
.I gave the following workaround. A similar example might be useful in the manual.
The text was updated successfully, but these errors were encountered: