[Termtools] Re: buggy proofs

[Salvador Lucas]

Dear all,

Johannes Waldmann wrote:

>>Consider MU-TERM for instance. We find the polynomial
>>interpretations with rational coefficients that it (quickly)
>>generates very interesting.
>>    
>>
>
>So do we. -  Salvador, what are the proofs where muterm "needs"
>non-integers?
>Can you make them available elsewhere, for reference?
>
Sure. We will make them available as part of the MU-TERM site.
In fact, we are actually working on that but we want to prepare some
companion statistics as well.

I will send an e-mail to the termtools list as soon as it is ready.

Best regards,

Salvador.