Ssreflect Users Discussion List

[Pierre-Yves Strub <>]

BTW, this may raise the question of a joint effort if several of us are 
going to write/complete such a library.

Pierre-Yves.

On 16/04/2014 14:28, Pierre-Yves Strub wrote:
> Hi,
>
> You have a "work in progress" in multinom.v (by Cyril if my memory is
> good). I also started few weeks ago to write some lib. about them for
> my own needs, but this is quite fresh code.
>
> Pierre-Yves.
>
> On 16/04/2014 14:16, bertot wrote:
> > Hello everybody,
> >
> > Is there a library for multivariate polynomials, somewhere?
> >
> > Yves