polynomialsets: abs
This does not compile properly:
vcsn.context('lan, polynomialset<law, q>')
because the star_status
of the polynomialset is that of q, which is absval, hence proper require an abs
function, that polynomialset
does not provide.
Considering the polynomial reduced to <k>\e
(when \e
is supported, obviously), it appears that in this case its abs is <abs(k)>\e
for proper to work as expecting. For the other labels, it is less clear what is to be done. Except that anyway in that case star
cannot work.
Be sure to write tests about proper when addressing this issue.