Showing 3 of total 3 results (show query)
stla
qspray:Multivariate Polynomials with Rational Coefficients
Symbolic calculation and evaluation of multivariate polynomials with rational coefficients. This package is strongly inspired by the 'spray' package. It provides a function to compute Gröbner bases (reference <doi:10.1007/978-3-319-16721-3>). It also includes some features for symmetric polynomials, such as the Hall inner product. The header file of the C++ code can be used by other packages. It provides the templated class 'Qspray' that can be used to represent and to deal with multivariate polynomials with another type of coefficients.
Maintained by Stéphane Laurent. Last updated 7 months ago.
4 stars 6.81 score 152 scripts 5 dependentsstla
ratioOfQsprays:Fractions of Multivariate Polynomials with Rational Coefficients
Based on the 'qspray' package, this package introduces the new type 'ratioOfQsprays'. An object of type 'qspray' represents a multivariate polynomial with rational coefficients while an object of type 'ratioOfQsprays', defined by two 'qspray' objects, represents a fraction of two multivariate polynomials with rational coefficients. Arithmetic operations for these objects are available, and they always return irreducible fractions. Other features include: differentiation, evaluation, conversion to a function, and fine control of the way to print a 'ratioOfQsprays' object. The 'C++' library 'CGAL' is used to make the fractions irreducible.
Maintained by Stéphane Laurent. Last updated 8 months ago.
multivariate-polynomialspolynomialsrational-functionsgmpcpp
4.73 score 20 scripts 2 dependentsstla
symbolicQspray:Multivariate Polynomials with Symbolic Parameters in their Coefficients
Introduces the 'symbolicQspray' objects. Such an object represents a multivariate polynomial whose coefficients are fractions of multivariate polynomials with rational coefficients. The package allows arithmetic on such polynomials. It is based on the 'qspray' and 'ratioOfQsprays' packages. Some functions for 'qspray' polynomials have their counterpart for 'symbolicQspray' polynomials. A 'symbolicQspray' polynomial should not be seen as a polynomial on the field of fractions of rational polynomials, but should rather be seen as a polynomial with rational coefficients depending on some parameters, symbolically represented, with a dependence given by fractions of rational polynomials.
Maintained by Stéphane Laurent. Last updated 8 months ago.
multivariate-polynomialssymbolic-computationgmpcpp
4.33 score 18 scripts 1 dependents