Closed RobinHankin closed 1 month ago
This issue is only material when both permutations and freegroup are loaded simultaneously. I am not sure why anyone would want this, but on the other hand I do not want to forbid it.
But for the sake of argument suppose we have a session with both packages loaded. What should "the identity" be in this case? The concept is common to both, but it would be oh-so-easy to type "id()" [or indeed "id"] at the command line and expect to get as.free(0)
but actually get as.cycle()
. I am not sure what is desirable in this situation.
In the freegroup package, the identity is given by
id()
and in the permutations package the identity is given by variableid
I am not sure whether consistency is particularly desirable and, if so, which approach is better.