Skip to Content.

Sympa Menu

ssreflect - Re: multivariate polynomials

Subject: Ssreflect Users Discussion List

List archive

Re: multivariate polynomials

From: Laurent Théry <>
To:
Subject: Re: multivariate polynomials
Date: Wed, 16 Apr 2014 15:07:17 +0200

On 04/16/2014 02:28 PM, 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.

would be great to have such a library

--
Laurent

multivariate polynomials, bertot, 04/16/2014
- Re: multivariate polynomials, Pierre-Yves Strub, 04/16/2014
  - Re: multivariate polynomials, Pierre-Yves Strub, 04/16/2014
  - Re: multivariate polynomials, Laurent Théry, 04/16/2014
    - Re: multivariate polynomials, Cyril Cohen, 04/16/2014

Archive powered by MHonArc 2.6.18.