https://github.com/tkluck/polynomialrings.jl

A library for arithmetic and algebra with multi-variable polynomials.
https://github.com/tkluck/polynomialrings.jl

Last synced: about 1 month ago
JSON representation

A library for arithmetic and algebra with multi-variable polynomials.

• Host: GitHub
• URL: https://github.com/tkluck/polynomialrings.jl
• Owner: tkluck
• License: other
• Created: 2017-06-25T21:11:59.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2023-09-09T08:47:44.000Z (about 1 year ago)
• Last Synced: 2024-10-10T11:39:37.929Z (about 1 month ago)
• Language: Julia
• Homepage:
• Size: 1.33 MB
• Stars: 10
• Watchers: 3
• Forks: 4
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# PolynomialRings

[![](https://img.shields.io/badge/docs-stable-blue.svg)](https://tkluck.github.io/PolynomialRings.jl/stable)

[![](https://img.shields.io/badge/docs-latest-blue.svg)](https://tkluck.github.io/PolynomialRings.jl/latest)

| **Build Status**        | **Test coverage**                              |

|:-----------------------:|:----------------------------------------------:|

| [![][c-i-img]][c-i-url] | [![Coverage Status][codecov-img]][codecov-url] |

A library for arithmetic and algebra with multi-variable polynomials.

## Usage

```julia

using PolynomialRings

R = @ring! ℚ[x,y]

if (x+y)*(x-y) == x^2 - y^2

    println("Seems to work")

end

```

A few useful functions are `deg`, `expansion`, `groebner_basis`. Use `divrem`

and friends for doing reduction w.r.t. Gröbner bases.

Want to know more? Have a look [at the getting started guide][1].

[1]: https://tkluck.github.io/PolynomialRings.jl/latest/getting-started.html

## Maturity

Currently, this library should be considered alpha quality.

[c-i-img]: https://github.com/tkluck/PolynomialRings.jl/workflows/CI/badge.svg

[c-i-url]: https://github.com/tkluck/PolynomialRings.jl/actions?query=workflow%3ACI

[codecov-img]: https://codecov.io/gh/tkluck/PolynomialRings.jl/branch/master/graph/badge.svg

[codecov-url]: https://codecov.io/gh/tkluck/PolynomialRings.jl