MyNixOS website logo
Description

Utilities for Multivariate Polynomials with Rational Coefficients.

Computation of resultant, subresultants, greatest common divisor, integral division (aka division without remainder) of two multivariate polynomials with rational coefficients, Sturm-Habicht sequence and square-free factorization of a multivariate polynomial with rational coefficients. The computations are performed by the 'C++' library 'CGAL' (<https://www.cgal.org/>). Resultants have applications in polynomial systems solving, number theory, and algebraic geometry. The package also contains some functions computing the number of real roots of a univariate polynomial with rational coefficients, and a function computing the division with remainder of two univariate polynomials with rational coefficients.

resultant

Utilities for polynomials with rational coefficients.

R-CMD-check


This package deals with polynomials, univariate and multivariate, with rational coefficients. Features include:

  • resultant of two multivariate polynomials

  • subresultants of two multivariate polynomials

  • greatest common divisor of two multivariate polynomials

  • integral division (aka division without remainder) of two multivariate polynomials

  • Sturm-Habicht sequence of a multivariate polynomial

  • square-free factorization of a multivariate polynomial

  • number of real roots of a univariate polynomial in a given interval

  • division with remainder of two univariate polynomials

See this blog post for an illustration of the resultant.


License

This package is provided under the GPL-3 license but it uses the C++ library CGAL which requires a license from the GeometryFactory if you wish to use it for commercial purposes.

Metadata

Version

1.0.0

License

Unknown

Platforms (75)

    Darwin
    FreeBSD
    Genode
    GHCJS
    Linux
    MMIXware
    NetBSD
    none
    OpenBSD
    Redox
    Solaris
    WASI
    Windows
Show all
  • aarch64-darwin
  • aarch64-genode
  • aarch64-linux
  • aarch64-netbsd
  • aarch64-none
  • aarch64_be-none
  • arm-none
  • armv5tel-linux
  • armv6l-linux
  • armv6l-netbsd
  • armv6l-none
  • armv7a-darwin
  • armv7a-linux
  • armv7a-netbsd
  • armv7l-linux
  • armv7l-netbsd
  • avr-none
  • i686-cygwin
  • i686-darwin
  • i686-freebsd
  • i686-genode
  • i686-linux
  • i686-netbsd
  • i686-none
  • i686-openbsd
  • i686-windows
  • javascript-ghcjs
  • loongarch64-linux
  • m68k-linux
  • m68k-netbsd
  • m68k-none
  • microblaze-linux
  • microblaze-none
  • microblazeel-linux
  • microblazeel-none
  • mips-linux
  • mips-none
  • mips64-linux
  • mips64-none
  • mips64el-linux
  • mipsel-linux
  • mipsel-netbsd
  • mmix-mmixware
  • msp430-none
  • or1k-none
  • powerpc-netbsd
  • powerpc-none
  • powerpc64-linux
  • powerpc64le-linux
  • powerpcle-none
  • riscv32-linux
  • riscv32-netbsd
  • riscv32-none
  • riscv64-linux
  • riscv64-netbsd
  • riscv64-none
  • rx-none
  • s390-linux
  • s390-none
  • s390x-linux
  • s390x-none
  • vc4-none
  • wasm32-wasi
  • wasm64-wasi
  • x86_64-cygwin
  • x86_64-darwin
  • x86_64-freebsd
  • x86_64-genode
  • x86_64-linux
  • x86_64-netbsd
  • x86_64-none
  • x86_64-openbsd
  • x86_64-redox
  • x86_64-solaris
  • x86_64-windows