Print exponents instead of repeated multiplications
When we enter [ab]{4}
, we display (a+b)(a+b)(a+b)(a+b)
. I am to be convinced that having a power node in expression would be useful (why not, I'm not against it, I am just skeptical). But we can display that, it would be nicer to read: (a+b){4}
.
This is to be done in vcsn/core/rat/printer.hh
. Pay extra attention to precedence issues. We might have to issue parens.
Be sure to check all that in check-rat (tests/rat
).