Diofant 0.15

20 Aug 2024

New features

• New configuration option (MAX_INTEGER_NBITS) to control the maximal size of evaluated integers, see #1327.

• Added eliminate() to eliminate symbols from the equations, see #1331.

Compatibility breaks

• Removed itermonomials() and topological_sort() functions, see #1321 and #1322.

• Removed Float.num property, use mpmath.mpmathify(), see #1323.

• Removed support for CPython 3.10, see #1344.

• Removed rcall() method of Basic, see #1346.

• Removed method argument of jn_zeros(), see #1352.

• Removed sstrrepr() function, see #1362.

• Removed support for ASCII pretty-printing and pprint_use_unicode() function, see #1369.

• Removed bottom_up(), has_variety() and has_dups() functions, see #1380.

• Removed diofant.tensor.tensor module, see #1380.

• Removed symarray() function, see #1383.

• Removed base kwarg for log(), see #1407.

• Removed ln alias for log(), see #1410.

Minor changes

• Support CPython 3.12, see #1325.

• Support as_real_imag() for RootOf, see #1415.

• Support CPython 3.13, see #1425.

Issues closed

See the release milestone for complete list of issues and pull requests involved in this release.

These Sympy issues also were addressed:

• sympy/sympy#25142: incorrect simplification of a complex relational

• sympy/sympy#19813: logcombine hangs

• sympy/sympy#22450: Rational raised to the big power hangs

• sympy/sympy#25165: Series expansion not working

• sympy/sympy#25197: Simple exponential integral error in an otherwise case

• sympy/sympy#23399: Simplifying equation with function seemingly gets stuck

• sympy/sympy#20427: Result from clear_denoms() prints like zero poly but behaves wierdly (due to unstripped DMP)

• sympy/sympy#2720 eliminate()

• sympy/sympy#16951: integrate(sqrt(2*m*(E - x)), x)

• sympy/sympy#25341: CoercionFailed on eq: 2*sqrt(x)/(x + 1)**2 - 1/(sqrt(x)*(x + 1)) - 1/(4*x**(3/2)))/(x + 1) = 0

• sympy/sympy#20327: Finite Field coercion fails from Rational type

• sympy/sympy#25406: Resultant of Polynomials Returns Wrong Output

• sympy/sympy#25451: Incorrect simplification when mixing basic logical operators and equality

• sympy/sympy#25496: Privileging expr.__class__ over expr.func for reconstruction

• sympy/sympy#25521: integrate raises HeuristicGCDFailed

• sympy/sympy#25520: RecursionError in inverse_laplace_transform

• sympy/sympy#25399: Cannot use typing.Generic[T] with Symbol

• sympy/sympy#25582: Incorrect limit for atan

• sympy/sympy#25592: factor_list sometimes generates PolificationFailed errors with algebraic extensions

• sympy/sympy#25590: simplify produces wrong answer with non-commuting symbols

• sympy/sympy#25572: simplify reorders noncommutative factors

• sympy/sympy#25603: Simplifying And boolean operation removes a condition

• sympy/sympy#25612: Lack of is_real attribute for Mul class

• sympy/sympy#25624: lcm(-1,1) and lcm(Poly(-1,x), Poly(1,x)) gives different output

• sympy/sympy#25627: solve does not take positive=True into account

• sympy/sympy#25681: Issues with limits while using abs function

• sympy/sympy#25682: Branches for series expansions involving the abs function is not handled correctly

• sympy/sympy#25679: hypersimp does not work correctly

• sympy/sympy#25698: n=6000002; int(n*(log(n) + log(log(n)))) takes more than 200 s to compute on sympy.live.org

• sympy/sympy#25701: TypeError on Eq(2*sign(x + 3)/(5*Abs(x + 3)**(3/5)), 0)

• sympy/sympy#25723: GCD missing polynomial factor

• sympy/sympy#25738: Incorrect result of reduce_inequalities involving pi and abs

• sympy/sympy#25697: can not reduce log inequalities

• sympy/sympy#25806: Integrate a simple function

• sympy/sympy#25833: Limit at infinity of arctan(expression that goes to infinity) erroneously gives NaN or it doesn’t compute.

• sympy/sympy#25882: IndexError when run classify_ode

• sympy/sympy#25885: Wrong result for a limit

• sympy/sympy#25886: CeortionError in integrate()

• sympy/sympy#25896: ratint(e,x).diff().equals(e) is not always True (terms lost)

• sympy/sympy#25899: surprising error message with Poly(‘a-a’)

• sympy/sympy#23843: Asymptotic series for atan/acot functions shifted to their branch cuts gives wrong answer

• sympy/sympy#25965: ceiling(CRootOf()) not implemented, leads to exception in Range

• sympy/sympy#25983: Incorrect result of reduce_inequalities

• sympy/sympy#25991: Inconsistencies in as_leading_term, Series Expansion, and Limit Computations for Expressions Involving Square Roots

• sympy/sympy#26071: Definite integral error

• sympy/sympy#26119: Lambdify crashes on empty tuple

• sympy/sympy#26178: Wrong result of sqf_list for PolyElement with excluded symbols

• sympy/sympy#26250: Incorrect limit involving elliptic functions

• sympy/sympy#25786: Wrong result for a simple integral

• sympy/sympy#26343: TypeError: Invalid NaN Comparison using dsolve for ODE with ics={v(0) : 0}

• sympy/sympy#26313: Error result for limit of a piecewise

• sympy/sympy#26477: Error in integral result using hyper

• sympy/sympy#26497: factor produces wrong output

• sympy/sympy#26501: TypeError: ‘>’ not supported between instances of ‘Poly’ and ‘int’ calling integrate in sympy 1.12

• sympy/sympy#26503: TypeError: Invalid NaN comparison calling integrate in sympy 1.12

• sympy/sympy#26504: IndexError: Index out of range: calling integrate in sympy 1.12

• sympy/sympy#26506: RecursionError: maximum recursion depth exceeded in comparison calling integrate in sympy 1.12

• sympy/sympy#26513: Wrong limit result for Abs((-n/(n+1))**n)

• sympy/sympy#26502: lots of PolynomialError contains an element of the set of generators exceptions calling integrate in sympy 1.12

• sympy/sympy#14069: Condition for TODO in zeta_functions.py is now satisfied

• sympy/sympy#25931: Possible improvements in gruntz

• sympy/sympy#26566: wrong result integrating sin(a*(x+pi))**2

• sympy/sympy#26571: integrate((x**8+1)**(-1/2),x) raises _CoeffExpValueError

• sympy/sympy#26577: factor should use the same domain for numerator and denominator

• sympy/sympy#26682: Incorrect behaviour for solve_poly_system

• sympy/sympy#26787: Poly.count_roots wrong for algebraic fields because is_negative is wrong

• sympy/sympy#14738: dup_count_complex_roots() can’t handle degenerate cases

• sympy/sympy#26856: very simple example of series bug

• sympy/sympy#26873: Saving a long expression to load in another python notebook/file

• sympy/sympy#26903: minpoly returns a not irreducible polynomial

• sympy/sympy#26930: Simple integral evaluation broken in 1.13

• sympy/sympy#26916: Ei(-x) * exp(x) (exponential integral) limit to infinity error out

• sympy/sympy#26956: integrate values with non-suitable parameters