Unused kernel function 8Bits_Quotient, 16Bits_Quotient and 32Bits_Quotient -- use or remove? #2504
Description
While working on PR #2499 I discovered that the kernel functions 8Bits_Quotient, 16Bits_Quotient and 32Bits_Quotient are never used, though in theory we could install them as methods for computing quotients of associative words in syllable representation.
Pros: they might be faster than using inverson + multplication
Con: Since they were never used, they are mostly untested, and might not work correctly.
Thoughts? Pinging esp. @ThomasBreuer and @hulpke as their names appear on lib/wordrep.gi