# Polynomial manipulation

**URL:** <https://discourse.julialang.org/t/polynomial-manipulation/114313>\
**Category:** Specific Domains\
**Tags:** algebra\
**Created:** [May 15, 2024, 5:33pm UTC](https://discourse.julialang.org/t/polynomial-manipulation/114313 "2024-05-15T17:33:11Z")\
**Posts on this page:** 6\
**Page:** 3

<div class="post-metadata">

**Author:** ![nsajko](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/nsajko/32/221187_2.png) [@nsajko](https://discourse.julialang.org/u/nsajko)\
**Post date:** [June 12, 2024, 5:29pm UTC](https://discourse.julialang.org/t/polynomial-manipulation/114313/41 "2024-06-12T17:29:45Z")

</div>

> [@nsajko](#):
>
> yet another package

Seems like another in-development Groebner bases package:

> **[GitHub - 0708andreas/ParametricGroebnerBases.jl: An implementation of the Suzuki-Sato algorithm for...](https://github.com/0708andreas/ParametricGroebnerBases.jl)**
>
> An implementation of the Suzuki-Sato algorithm for computing Gröbner systems and comprehensive/parametric Gröbner bases

> **[Andreas Bøgh Poulsen / ParametricGrobnerBases.jl · GitLab](https://gitlab.au.dk/au612120/parametricgrobnerbases.jl)**
>
> Aarhus Universitet - Gitlab

> **[Julia for the working mathematician: parametric Gröbner bases Juliacon 2024](https://pretalx.com/juliacon2024/talk/7MSS7S/)**
>
> A lot of knowledge about algorithms is hidden in old academic texts and may only have been implemented in now-defunct CAS systems. Here I share my experience writing ParametricGrobnerBases.jl for computing parametric Gröbner bases in Julia, and why I...

@Andreas_Poulsen I wonder whether the presentation slides are available, or will become available?

---

<div class="post-metadata">

**Author:** ![BLI](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/bli/32/37206_2.png) [@BLI](https://discourse.julialang.org/u/BLI)\
**Post date:** [June 12, 2024, 6:31pm UTC](https://discourse.julialang.org/t/polynomial-manipulation/114313/42 "2024-06-12T18:31:49Z")

</div>

There is no access to documentation, though, is there?

---

<div class="post-metadata">

**Author:** ![nsajko](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/nsajko/32/221187_2.png) [@nsajko](https://discourse.julialang.org/u/nsajko)\
**Post date:** [June 12, 2024, 6:48pm UTC](https://discourse.julialang.org/t/polynomial-manipulation/114313/43 "2024-06-12T18:48:59Z")

</div>

Well it’s still in-development.

---

<div class="post-metadata">

**Author:** ![Andreas\_Poulsen](https://avatars.discourse-cdn.com/v4/letter/a/b487fb/32.png) [@Andreas\_Poulsen](https://discourse.julialang.org/u/Andreas_Poulsen)\
**Post date:** [July 7, 2024, 1:08pm UTC](https://discourse.julialang.org/t/polynomial-manipulation/114313/44 "2024-07-07T13:08:14Z")

</div>

Thank you for noticing my package 😃

The package is indeed still under development, but is in a usable state. I just got documentation live today, and presentation slides will be available when JuliaCon begins.

Having read through the thread above, I don’t think my package is suitable for this problem. The problem of determining equivalent rational functions on an algebraic curve is usually done using “classic” Gröbner basis computations instead of parametric Gröbner bases, which my package implements. Indeed, for Gröbner basis computations, it simply wraps `Groebner.jl`.

Having said that, it seems the problem is solved. Gröbner basis computations can produce simplified expressions as described by @sumiya11, and exactly what “simplified” means can be controlled using monomial orders. Or is there a subtlety I’m missing?

---

<div class="post-metadata">

**Author:** ![nsajko](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/nsajko/32/221187_2.png) [@nsajko](https://discourse.julialang.org/u/nsajko)\
**Post date:** [July 7, 2024, 1:38pm UTC](https://discourse.julialang.org/t/polynomial-manipulation/114313/45 "2024-07-07T13:38:00Z")

</div>

> [@Andreas\_Poulsen](#):
>
> it seems the problem is solved

Yeah. I guess I hijacked the thread for all Groebner basis-related package discussion, sorry.

---

<div class="post-metadata">

**Author:** ![Andreas\_Poulsen](https://avatars.discourse-cdn.com/v4/letter/a/b487fb/32.png) [@Andreas\_Poulsen](https://discourse.julialang.org/u/Andreas_Poulsen)\
**Post date:** [July 8, 2024, 9:02am UTC](https://discourse.julialang.org/t/polynomial-manipulation/114313/46 "2024-07-08T09:02:36Z")

</div>

No worries, I’m happy you found my package interesting 😃

[Previous page](https://discourse.julialang.org/t/polynomial-manipulation/114313.md?page=2)