Py-pyneqsys

Jul 20, 2023

Solver of symbolically defined systems of non-linear equations

pyneqsys provides a convenience class for representing and solving non-linear equation systems from symbolic expressions provided e.g. with the help of SymPy.

The numerical root finding is perfomed using either

  • scipy scipy.optimize.root
  • mpmath arbitrary precision mpmath.calculus.optimization.MDNewton
  • kinsol from SUNDIALS pykinsol.solve
  • nleq2 ZIB library free for academic use pynleq2.solve
  • levmar Levenberg-Marquardt levmar.levmar

In addition to offering a unified interface to different solvers, pyneqsys can also derive the Jacobian analytically when using pyneqsys.SymbolicSys. This is useful since doing so manually is widely recognized as both tedious and error prone.



Checkout these related ports:
  • Zn_poly - C library for polynomial arithmetic
  • Zimpl - Language to translate the LP models into .lp or .mps
  • Zegrapher - Software for plotting mathematical objects
  • Zarray - Dynamically typed N-D expression system based on xtensor
  • Z3 - Z3 Theorem Prover
  • Yices - SMT solver
  • Yacas - Yet Another Computer Algebra System
  • Xtensor - Multi-dimensional arrays with broadcasting and lazy computing
  • Xtensor-python - Python bindings for xtensor
  • Xtensor-io - Xtensor plugin to read/write images, audio files, numpy npz and HDF5
  • Xtensor-blas - BLAS extension to xtensor
  • Xspread - Spreadsheet program for X and terminals
  • Xppaut - Graphical tool for solving differential equations, etc
  • Xplot - X11 plotting package
  • Xlife++ - XLiFE++ eXtended Library of Finite Elements in C++