Alexander Demin

WIP, system solving with groebner bases

6

This pr adds the function `solve` for solving polynomial systems :ramen: #### I use the following algorithm: 1. Find the lexicographic Groebner basis of the given system 1. This basis...

Default loglevel of VSCodeServer.VSCodeLogger can be interpreted as debug

2

Hi, When running the following in the VSCode Julia REPL ```julia using Logging; Logging.min_enabled_level(current_logger()) ``` I get `LogLevel(-1)` (only when the option `Use Progress Frontend` checked in the extension settings)....

`==(α, q::MP.RationalPoly)` and `==(p::MP.AbstractPolynomialLike, α)` cause many invalidations

5

To check this, I run ```julia # from https://sciml.ai/news/2022/09/21/compile_time/ using SnoopCompile invalidations = @snoopr begin using AbstractAlgebra R, (x,y) = polynomial_ring(QQ, ["x","y"], ordering=:degrevlex) using Groebner groebner([x^2 - y^2, x*y^2 +...

One issue here is that the number of variables in the MQS ideal will now depend on input polynomials (that is, if we factor the saturating polynomial and introduce $t_1$,...,...

Slowdown when using `alloc!`

4

Hi, I have the following example where I observe a 2x slowdown with `Bumper.alloc!`. Could you please confirm that I use the package correctly? Do you have ideas on how...

How to query the ordering

2

Hi, Thanks for implementing monomial orderings, I think it is a nice feature. A question: is it possible to query the ordering on existing monomials? Currently, I have ```julia using...

Many invalidations

1

Currently on 1.10, I have ```julia @time begin using AbstractAlgebra R, (x,y) = polynomial_ring(QQ, ["x","y"], ordering=:degrevlex) using Groebner groebner([x^2 - y^2, x*y^2 + x]) end 10.243601 seconds (4.98 M allocations:...

As proposed in a private communication by X, it would be nice to have an option to compute bases up to some given total degree. For example, ```julia groebner(polynomials, max_degree=42)...