Sergey B Kirpichev

icon indicating an email [email protected]

icon location USSR, Moscow icon location Irritating people all over the world since circa 2002.

Results 441 comments of Sergey B Kirpichev
trafficstars

Roots of polynomials over Galois fields

https://en.wikipedia.org/wiki/Chien_search

Throw away some modules

#1274

Throw away some modules

#1276

Throw away some modules

#1281

Throw away some modules

#1283

Throw away some modules

#1284

Throw away some modules

https://github.com/diofant/diofant/pull/1380

solve(sqrt(x**2 - 2*x + 1)/abs(x) - abs(x - 1)/x) returns []

N.b.: ``` In [2]: solve_surd_system([-x + 1 + sqrt(x**2 - 2*x + 1)]) --------------------------------------------------------------------------- KeyError Traceback (most recent call last) Cell In[2], line 1 ----> 1 solve_surd_system([-x + 1 +...

Cylindric algebraic decomposition (CAD)

https://github.com/sympy/sympy/issues/26177

Correctly do parametric limits

It seems both Mathematica and Maple use some heuristics (see e.g. Gruntz thesis sec. 7.5) to get a *partial* answer sometimes: ``` In[1]:= Limit[Exp[a x], x -> Infinity] Out[1]= ConditionalExpression[Infinity,...