Oscar Benjamin

Strange right arrow completion

4

I don't really know how to explain a full reproducer for this because it depends on the history of things that I have typed into ipython. Right now I can...

For this ODE dsolve can find the general solution but fails when asked to solve with initial conditions: ```python In [1]: eq = diff(f(x), x) - sqrt(f(x)**2 - 1) In...

build: add a meson build configuration

76

This is incomplete but I am putting it here as a talking point: Would there be any interest in flint using meson as a build system or as an alternative...

Automatic simplification of expressions involving `AlgebraicNumber`

2

SymPy has an algebraic number type that can represent an algebraic number as an element of a number field. Elements of a number field can be represented as polynomial functions...

Add a function to convert algebraic numbers to RootOf

1

I have written a function `rootof_reduce` which is analogous to Mathematica's RootReduce function: https://reference.wolfram.com/language/ref/RootReduce.html The idea is that any algebraic number has a canonical representation as a RootOf and so...

fix(dsolve): handle simple DAE systems in dsolve

4

Fixes gh-24841 A mixture of algebraic and differential equations is known as a system of differential algebraic equations. The machinery in dsolve_system can handle simple cases of this but needs...

fix(vector): fix printing of negative scalars

2

#### References to other Issues or PRs Backport of gh-26733 #### Brief description of what is fixed or changed #### Other comments #### Release Notes NO ENTRY

fix(polys): convert to exact domain in groebner

22

Naive application of e.g. Buchberger's algorithm with floating point fails because some terms that should simplify to zero do not. A specialised implementation for computing an approximate Groebner basis could...

Add a factors function to get factors without multiplicity

8

This is a trivial function in terms of existing functions but I often find myself wanting this when using SymPy interactively or otherwise: ```python In [1]: def factors(*args, **kwargs): ...:...

This comes from a SymPy issue: https://github.com/sympy/sympy/issues/26791 Flint's nmod does not compare equal to SymPy's Integer type in the same way that ints do: ```python In [22]: flint.nmod(3, 5) ==...