Issues

• PurePoly equality ignores gens but args and subs depend on them

  polys
  sympy/sympy#30740 · Filter by author smichr opened on Oct 12, 2026

• satisfiable returns incorrect SAT results when Z3 is unavailable

  sympy/sympy#30729 · Filter by author sonusharma6-dsa opened on Oct 11, 2026

• asin, acos and atan give is_rational = False when the result can be 0

  sympy/sympy#30722 · Filter by author varnit7002-tech opened on Oct 11, 2026

• Centralize EncodedCNF invariants and SAT backend result conventions

  sympy/sympy#30719 · Filter by author sonusharma6-dsa opened on Oct 10, 2026
  1

• Incorrect assumptions for the square of an irrational symbol

  sympy/sympy#30718 · Filter by author Shubhankar-Joshi2489 opened on Oct 10, 2026
  1

• PID controller stabilization

  physics.control
  sympy/sympy#30717 · Filter by author leomanga opened on Oct 10, 2026
  9

• hypergeometric functions with nonpositive integer in upper and lower parameters

  sympy/sympy#30708 · Filter by author smichr opened on Oct 9, 2026
  1

• Centralize doctest exclusions and optional-dependency requirements

  CITesting
  sympy/sympy#30704 · Filter by author smichr opened on Oct 9, 2026
  3

• ConditionSet skips free numeric parameter substitution; nested Lambda scope question

  sympy/sympy#30692 · Filter by author paumartin2407 opened on Oct 7, 2026

• track condition on denominators introduced during reduce_inequalities

  solvers.inequalities
  sympy/sympy#30688 · Filter by author smichr opened on Oct 6, 2026
  1

• Wrong definite integral of (1 + sqrt(1 - x**2))**3: sign of the square root is lost

  sympy/sympy#30685 · Filter by author terben opened on Oct 6, 2026

• wrong result: Sum((-1) ** n * x ** (2 * n + 1) / (2 * n + 1), (n, 1, oo)).doit().subs(x, 0) returns nan; Expected = 0

  sympy/sympy#30674 · Filter by author 11350613 opened on Oct 5, 2026
  1

• Find bugs in the rewrite of SymPy's assumption system

  assumptionsEasy to Fixgood first issue
  sympy/sympy#30671 · Filter by author TiloRC opened on Oct 4, 2026
  3

• feature request: integrate(1 / sqrt(sin(x)), (x, 0, pi / 2))

  Enhancement

  sympy/sympy#30664 · Filter by author 11350613 opened on Oct 4, 2026
  4

• wrong result: is_isomorphic(FpGroup(F, [a**2]), FpGroup(F, [a**3])) returns True; Expected = False

  sympy/sympy#30661 · Filter by author 11350613 opened on Oct 4, 2026

• Algebraic transformations must preserve semantics when applied to Relationals

  coresimplify
  sympy/sympy#30658 · Filter by author smichr opened on Oct 3, 2026
  3

• Convergence condition of Sum(k * binomial(n, k) * p**k * (1-p)**(n-k), (k, 0, n)) is unnecessary and complicated

  concrete
  sympy/sympy#30652 · Filter by author sylee957 opened on Oct 3, 2026
  1

• Simplification of complex exponential to trigonometric function fails for simple example

  sympy/sympy#30649 · Filter by author lucasmyers97 opened on Oct 2, 2026

• XOR simplification can be made on simplifed expressions

  sympy/sympy#30647 · Filter by author BandhanPramanik opened on Oct 2, 2026
  3

• infinitesimals(): heuristics raise TypeError/KeyError/UnboundLocalError, and hint='default' and hint='all' abort instead of trying the next heuristic

  sympy/sympy#30644 · Filter by author tapir442 opened on Oct 1, 2026

• infinitesimals() returns non-symmetries for first order ODEs nonlinear in y', and checkinfsol() confirms them

  sympy/sympy#30643 · Filter by author tapir442 opened on Oct 1, 2026
  1

• Can mrv() handle functions with multiple varying arguments?

  sympy/sympy#30641 · Filter by author sonusharma6-dsa opened on Oct 1, 2026
  1

• (a**b).is_extended_real wrongly gives True when b is extended real

  assumptionsWrong Result
  sympy/sympy#30619 · Filter by author TiloRC opened on Sep 29, 2026
  1

• Extended real numbers should be not closed under addition or multiplication

  assumptionsWrong Result
  sympy/sympy#30618 · Filter by author TiloRC opened on Sep 29, 2026

• Most methods on QQ.algebraic_field(sqrt(2), sqrt(5)) fail, many computations on algebraic fields in general seem wrong

  polys
  sympy/sympy#30613 · Filter by author cancrizans opened on Sep 29, 2026
  5