ソルバー - SymPy 1.14.0 ドキュメント

Solvers - SymPy 1.14.0 documentation Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Hide navigation sidebar Hide table of contents sidebar Skip to content SymPy 1.14.0 documentation Installation Tutorials Toggle navigation of Tutorials Introductory Tutorial Toggle navigation of Introductory Tutorial Preliminaries Introduction Gotchas SymPy Features Toggle navigation of SymPy Features Basic Operations Printing Simplification Calculus Solvers Matrices Advanced Expression Manipulation What’s Next Physics Tutorials Toggle navigation of Physics Tutorials Biomechanics Tutorials Toggle navigation of Biomechanics Tutorials Biomechanical Model Example Mechanics Tutorials Toggle navigation of Mechanics Tutorials Duffing Oscillator with a Pendulum A rolling disc Toggle navigation of A rolling disc A rolling disc, with Kane’s method A rolling disc, with Kane’s method and constraint forces A rolling disc using Lagrange’s Method Multi Degree of Freedom Holonomic System Nonminimal Coordinates Pendulum A four bar linkage Linearized Carvallo-Whipple Bicycle Model Continuum Mechanics Tutorials Toggle navigation of Continuum Mechanics Tutorials Solving Beam Bending Problems using Singularity Functions Control Tutorials Toggle navigation of Control Tutorials Control Package Examples Electrical Problems using StateSpace Mechanics Problems using StateSpace How-to Guides Toggle navigation of How-to Guides Assumptions Symbolic and fuzzy booleans Writing Custom Functions Physics Solve Equations Toggle navigation of Solve Equations Solving Guidance Solve an Equation Algebraically Solve a System of Equations Algebraically Solve One or a System of Equations Numerically Solve an Ordinary Differential Equation (ODE) Algebraically Find the Roots of a Polynomial Algebraically or Numerically Solve a Matrix Equation Algebraically Reduce One or a System of Inequalities for a Single Variable Algebraically Solve a Diophantine Equation Algebraically SymPy Logo Citing SymPy Explanations Toggle navigation of Explanations Best Practices Gotchas and Pitfalls Solve Output by Type Physics Toggle navigation of Physics Vector Toggle navigation of Vector Vector & ReferenceFrame Vector: Kinematics Scalar and Vector Field Functionality Potential Issues/Advanced Topics/Future Features in Physics/Vector Module Classical Mechanics Toggle navigation of Classical Mechanics Masses, Inertias, Particles and Rigid Bodies in Physics/Mechanics Kane’s Method in Physics/Mechanics Lagrange’s Method in Physics/Mechanics Joints Framework in Physics/Mechanics Symbolic Systems in Physics/Mechanics Linearization in Physics/Mechanics References for Physics/Mechanics Autolev Parser SymPy Mechanics for Autolev Users Potential Issues/Advanced Topics/Future Features in Physics/Mechanics Biomechanics Toggle navigation of Biomechanics Introduction to Biomechanical Modeling SymPy Special Topics Toggle navigation of SymPy Special Topics Finite Difference Approximations to Derivatives Classification of SymPy objects List of active deprecations Glossary API Reference Toggle navigation of API Reference Basics Toggle navigation of Basics Assumptions Toggle navigation of Assumptions Ask Assume Refine Predicates Calculus Combinatorics Toggle navigation of Combinatorics Partitions Permutations Permutation Groups Polyhedron Prufer Sequences Subsets Gray Code Named Groups Galois Groups Number of groups Utilities Group constructors Test Utilities Tensor Canonicalization Finitely Presented Groups Polycyclic Groups Functions Toggle navigation of Functions Elementary Combinatorial Enumeration Special Integrals Toggle navigation of Integrals Computing Integrals using Meijer G-Functions Integrals Series Toggle navigation of Series Series Expansions Sequences Fourier Series Formal Power Series Limits of Sequences Simplify Toggle navigation of Simplify Simplify Hypergeometric Expansion Hongguang Fu’s Trigonometric Simplification Solvers Toggle navigation of Solvers Diophantine Inequality Solvers ODE PDE Solvers Solveset abc Algebras Concrete Core Discrete Numerical Evaluation Numeric Computation Term Rewriting Code Generation Toggle navigation of Code Generation Code Generation Logic Toggle navigation of Logic Logic Sets Matrices Toggle navigation of Matrices Matrices Toggle navigation of Matrices Matrices (linear algebra) Matrix Kind Dense Matrices Sparse Matrices Sparse Tools Immutable Matrices Matrix Expressions Matrix Normal Forms Tensor Toggle navigation of Tensor N-dim array N-dim array expressions Indexed Objects Methods Tensor Tensor Operators Vector Toggle navigation of Vector Introduction Basic Implementation details More about Coordinate Systems Scalar and Vector Field Functionality General examples of usage Applications of Vector Integrals Vector API Toggle navigation of Vector API Essential Classes in sympy.vector (docstrings) Orienter classes (docstrings) Essential Functions in sympy.vector (docstrings) Number Theory Toggle navigation of Number Theory Number Theory Physics Toggle navigation of Physics Physics Vector API Toggle navigation of Physics Vector API Essential Classes Kinematics (Docstrings) Printing (Docstrings) Essential Functions (Docstrings) Docstrings for basic field functions Mechanics API Reference Toggle navigation of Mechanics API Reference Bodies, Inertias, Loads & Other Functions (Docstrings) Kane’s Method & Lagrange’s Method (Docstrings) Joints Framework (Docstrings) System (Docstrings) Linearization (Docstrings) Expression Manipulation (Docstrings) Printing (Docstrings) Pathway (Docstrings) Actuator (Docstrings) Wrapping Geometry (Docstrings) Deprecated Classes (Docstrings) Biomechanics API Reference Toggle navigation of Biomechanics API Reference Musculotendon (Docstrings) Activation (Docstrings) Curve (Docstrings) Control Toggle navigation of Control Control Control API Control System Plots Optics Toggle navigation of Optics Gaussian Optics Medium Polarization Utilities Waves Unit Systems Toggle navigation of Unit Systems Philosophy behind unit systems More examples Dimensions and dimension systems Unit prefixes Units and unit systems Physical quantities Continuum Mechanics Toggle navigation of Continuum Mechanics Beam (Docstrings) Truss (Docstrings) Cable (Docstrings) Arch (Docstrings) High Energy Physics Quantum Mechanics Toggle navigation of Quantum Mechanics Anticommutator Clebsch-Gordan Coefficients Commutator Constants Dagger Inner Product Tensor Product Cartesian Operators and States Hilbert Space Operator Operator/State Helper Functions Qapply Represent Spin State Circuit Plot Gates Grover’s Algorithm QFT Qubit Shor’s Algorithm Particle in a Box Hydrogen Wavefunctions Matrices Pauli Algebra Quantum Harmonic Oscillator in 1-D Second Quantization Quantum Harmonic Oscillator in 3-D Wigner Symbols Utilities Toggle navigation of Utilities Testing Toggle navigation of Testing pytest Randomised Testing Run Tests Utilities Toggle navigation of Utilities Autowrap Module Codegen Decorator Enumerative Exceptions and Warnings Iterables Lambdify Memoization Miscellaneous Source Code Inspection Timing Utilities Interactive Parsing Printing Topics Toggle navigation of Topics Geometry Toggle navigation of Geometry Entities Utils Points Lines Curves Ellipses Polygons Plane Holonomic Toggle navigation of Holonomic About Holonomic Functions Representation of holonomic functions in SymPy Operations on holonomic functions Converting other representations to holonomic Uses and Current limitations Internal API Lie Algebra Polynomial Manipulation Toggle navigation of Polynomial Manipulation Basic functionality of the module Examples from Wester’s Article Polynomials Manipulation Module Reference AGCA - Algebraic Geometry and Commutative Algebra Module Introducing the Domains of the poly module Reference docs for the Poly Domains Internals of the Polynomial Manipulation Module Series Manipulation using Polynomials Literature Poly solvers Introducing the domainmatrix of the poly module Number Fields Category Theory Cryptography Differential Geometry Plotting Stats Contributing Toggle navigation of Contributing Introduction to Contributing Guide for New Contributors Toggle navigation of Guide for New Contributors Setup Development Environment Development Workflow Process Writing Tests Building the Documentation Dependencies Debugging Docstrings Style Guide Documentation Style Guide Deprecation Policy Documentation Version Back to top View this page Toggle Light / Dark / Auto color theme Toggle table of contents sidebar Solvers ¶ The solvers module in SymPy implements methods for solving equations. Note For a beginner-friendly guide focused on solving common types of equations, refer to Solve Equations . Note solve() is an older more mature general function for solving many types of equations. solve() has many options and uses different methods internally to determine what type of equations you pass it, so if you know what type of equation you are dealing with you may want to use the newer solveset() which solves univariate equations, linsolve() which solves system of linear equations, and nonlinsolve() which solves systems of non linear equations. Algebraic equations ¶ Use solve() to solve algebraic equations. We suppose all equations are equaled to 0, so solving x**2 == 1 translates into the following code: >>> from sympy.solvers import solve >>> from sympy import Symbol >>> x = Symbol ( 'x' ) >>> solve ( x ** 2 - 1 , x ) [-1, 1] The first argument for solve() is an equation (equaled to zero) and the second argument is the symbol that we want to solve the equation for. sympy.solvers.solvers. solve ( f , * symbols , ** flags ) [source] ¶ Algebraically solves equations and systems of equations. Parameters : f : a single Expr or Poly that must be zero an Equality a Relational expression a Boolean iterable of one or more of the above symbols : (object(s) to solve for) specified as none given (other non-numeric objects will be used