{ "__type": "IngestedDoc", "__tag": 4010, "_content": { "Notes": { "__type": "Section", "__tag": 4015, "children": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "If the input b matrix is a 1-D array with N elements, when supplied together with an NxN input a, it is assumed as a valid column vector despite the apparent size mismatch. This is compatible with the numpy.dot() behavior and the returned result is still 1-D array." } ] }, { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "The general, symmetric, Hermitian and positive definite solutions are obtained via calling ?GETRF/?GETRS, ?SYSV, ?HESV, and ?POTRF/?POTRS routines of LAPACK respectively." } ] }, { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "The datatype of the arrays define which solver is called regardless of the values. In other words, even when the complex array entries have precisely zero imaginary parts, the complex solver will be called based on the data type of the array." } ] } ], "title": [], "level": 0, "target": null }, "Warns": { "__type": "Section", "__tag": 4015, "children": [], "title": [], "level": 0, "target": null }, "Raises": { "__type": "Section", "__tag": 4015, "children": [ { "__type": "Parameters", "__tag": 4026, "children": [ { "__type": "DocParam", "__tag": 4016, "name": "", "annotation": "ValueError", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "If size mismatches detected or input a is not square." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "", "annotation": "LinAlgError", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "If the computation fails because of matrix singularity." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "", "annotation": "LinAlgWarning", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "If an ill-conditioned input a is detected." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "", "annotation": "NotImplementedError", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "If transposed is True and input a is a complex matrix." } ] } ] } ] } ], "title": [], "level": 0, "target": null }, "Yields": { "__type": "Section", "__tag": 4015, "children": [], "title": [], "level": 0, "target": null }, "Methods": { "__type": "Section", "__tag": 4015, "children": [], "title": [], "level": 0, "target": null }, "Returns": { "__type": "Section", "__tag": 4015, "children": [ { "__type": "Parameters", "__tag": 4026, "children": [ { "__type": "DocParam", "__tag": 4016, "name": "x", "annotation": "ndarray, shape (N, NRHS) or (..., N)", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "The solution array." } ] } ] } ] } ], "title": [], "level": 0, "target": null }, "Summary": { "__type": "Section", "__tag": 4015, "children": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "Solve the equation " }, { "__type": "InlineCode", "__tag": 4051, "value": "a @ x = b" }, { "__type": "Text", "__tag": 4046, "value": " for " }, { "__type": "InlineCode", "__tag": 4051, "value": "x" }, { "__type": "Text", "__tag": 4046, "value": ", where " }, { "__type": "ParamRef", "__tag": 4071, "name": "a" }, { "__type": "Text", "__tag": 4046, "value": " is a square matrix." } ] } ], "title": [], "level": 0, "target": null }, "Receives": { "__type": "Section", "__tag": 4015, "children": [], "title": [], "level": 0, "target": null }, "Warnings": { "__type": "Section", "__tag": 4015, "children": [], "title": [], "level": 0, "target": null }, "Attributes": { "__type": "Section", "__tag": 4015, "children": [], "title": [], "level": 0, "target": null }, "Parameters": { "__type": "Section", "__tag": 4015, "children": [ { "__type": "Parameters", "__tag": 4026, "children": [ { "__type": "DocParam", "__tag": 4016, "name": "a", "annotation": "array_like, shape (..., N, N)", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "Square left-hand side matrix or a batch of matrices." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "b", "annotation": "(..., N, NRHS) array_like", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "Input data for the right hand side or a batch of right-hand sides." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "lower", "annotation": "bool, default: False", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "Ignored unless " }, { "__type": "InlineCode", "__tag": 4051, "value": "assume_a" }, { "__type": "Text", "__tag": 4046, "value": " is one of " }, { "__type": "InlineCode", "__tag": 4051, "value": "'sym'" }, { "__type": "Text", "__tag": 4046, "value": ", " }, { "__type": "InlineCode", "__tag": 4051, "value": "'her'" }, { "__type": "Text", "__tag": 4046, "value": ", or " }, { "__type": "InlineCode", "__tag": 4051, "value": "'pos'" }, { "__type": "Text", "__tag": 4046, "value": ". If True, the calculation uses only the data in the lower triangle of " }, { "__type": "ParamRef", "__tag": 4071, "name": "a" }, { "__type": "Text", "__tag": 4046, "value": "; entries above the diagonal are ignored. If False (default), the calculation uses only the data in the upper triangle of " }, { "__type": "ParamRef", "__tag": 4071, "name": "a" }, { "__type": "Text", "__tag": 4046, "value": "; entries below the diagonal are ignored." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "overwrite_a", "annotation": "bool, optional", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "Allow overwriting data in " }, { "__type": "ParamRef", "__tag": 4071, "name": "a" }, { "__type": "Text", "__tag": 4046, "value": " (may enhance performance). Default is False. See " }, { "__type": "CrossRef", "__tag": 4002, "value": "tutorial_linalg_overwrite", "reference": { "__type": "LocalRef", "__tag": 4022, "kind": "docs", "path": "tutorial:linalg" }, "kind": "exists" }, { "__type": "Text", "__tag": 4046, "value": " for details." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "overwrite_b", "annotation": "bool, optional", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "Allow overwriting data in " }, { "__type": "ParamRef", "__tag": 4071, "name": "b" }, { "__type": "Text", "__tag": 4046, "value": " (may enhance performance). Default is False. See " }, { "__type": "CrossRef", "__tag": 4002, "value": "tutorial_linalg_overwrite", "reference": { "__type": "LocalRef", "__tag": 4022, "kind": "docs", "path": "tutorial:linalg" }, "kind": "exists" }, { "__type": "Text", "__tag": 4046, "value": " for details." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "check_finite", "annotation": "bool, default: True", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "Whether to check that the input matrices contain only finite numbers. Disabling may give a performance gain, but may result in problems (crashes, non-termination) if the inputs do contain infinities or NaNs." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "assume_a", "annotation": "str, optional", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "Valid entries are described above. If omitted or " }, { "__type": "InlineCode", "__tag": 4051, "value": "None" }, { "__type": "Text", "__tag": 4046, "value": ", checks are performed to identify structure so the appropriate solver can be called." } ] } ] }, { "__type": "DocParam", "__tag": 4016, "name": "transposed", "annotation": "bool, default: False", "desc": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "If True, solve " }, { "__type": "InlineCode", "__tag": 4051, "value": "a.T @ x == b" }, { "__type": "Text", "__tag": 4046, "value": ". Raises " }, { "__type": "CrossRef", "__tag": 4002, "value": "NotImplementedError", "reference": { "__type": "RefInfo", "__tag": 4000, "module": "builtins", "version": "?", "kind": "module", "path": "builtins:NotImplementedError" }, "kind": "module" }, { "__type": "Text", "__tag": 4046, "value": " for complex " }, { "__type": "ParamRef", "__tag": 4071, "name": "a" }, { "__type": "Text", "__tag": 4046, "value": "." } ] } ] } ] } ], "title": [], "level": 0, "target": null }, "Extended Summary": { "__type": "Section", "__tag": 4015, "children": [ { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "If the data matrix is known to be a particular type then supplying the corresponding string to " }, { "__type": "InlineCode", "__tag": 4051, "value": "assume_a" }, { "__type": "Text", "__tag": 4046, "value": " key chooses the dedicated solver. The available options are" } ] }, { "__type": "Code", "__tag": 4050, "value": "============================= ================================\n diagonal 'diagonal'\n tridiagonal 'tridiagonal'\n banded 'banded'\n upper triangular 'upper triangular'\n lower triangular 'lower triangular'\n symmetric 'symmetric' (or 'sym')\n hermitian 'hermitian' (or 'her')\n symmetric positive definite 'positive definite' (or 'pos')\n general 'general' (or 'gen')\n============================= ================================", "execution_status": null, "out": "" }, { "__type": "Paragraph", "__tag": 4045, "children": [ { "__type": "Text", "__tag": 4046, "value": "Array argument(s) of this function may have additional \"batch\" dimensions prepended to the core shape. In this case, the array is treated as a batch of lower-dimensional slices; see " }, { "__type": "InlineRole", "__tag": 4003, "value": "linalg_batch", "domain": null, "role": "ref", "inventory": null }, { "__type": "Text", "__tag": 4046, "value": " for details." } ] } ], "title": [], "level": 0, "target": null }, "Other Parameters": { "__type": "Section", "__tag": 4015, "children": [], "title": [], "level": 0, "target": null } }, "_ordered_sections": [ "Summary", "Extended Summary", "Parameters", "Attributes", "Methods", "Returns", "Yields", "Receives", "Other Parameters", "Raises", "Warns", "Warnings", "Notes" ], "item_file": "build-install/usr/lib/python3.14/site-packages/scipy/linalg/_basic.py", "item_line": 57, "item_type": "function", "aliases": [ "scipy.linalg.solve" ], "example_section_data": { "__type": "Section", "__tag": 4015, "children": [ { "__type": "Text", "__tag": 4046, "value": "Given `a` and `b`, solve for `x`:\n\n" }, { "__type": "Code", "__tag": 4050, "value": "import numpy as np\na = np.array([[3, 2, 0], [1, -1, 0], [0, 5, 1]])\nb = np.array([2, 4, -1])\nfrom scipy.linalg import solve\nx = solve(a, b)\nx\n", "execution_status": "success", "out": "array([ 2., -2., 9.])\n" }, { "__type": "Code", "__tag": 4050, "value": "a @ x == b\n", "execution_status": "failure", "out": "array([ True, True, True])\n" }, { "__type": "Text", "__tag": 4046, "value": "\nBatches of matrices are supported, with and without structure detection:\n(See :ref:`linalg_batch` for further details of handling batched inputs.)\n\n" }, { "__type": "Code", "__tag": 4050, "value": "a = np.arange(12).reshape(3, 2, 2) # a batch of 3 2x2 matrices\nA = a.transpose(0, 2, 1) @ a # A is a batch of 3 positive definite matrices\nb = np.ones(2)\nsolve(A, b) # this automatically detects that A is pos.def.\nsolve(A, b, assume_a='pos') # bypass structucture detection\n", "execution_status": "success", "out": "array([[ 1. , -0.5],\n [ 3. , -2.5],\n [ 5. , -4.5]])\n" }, { "__type": "Text", "__tag": 4046, "value": "\nNote that the structure detection runs per-slice: in the example above, each of the\ntwo slices will be independently discovered as being positive definite. Setting an\nexplicit ``assume_a`` argument bypasses structure detection and uses the provided\nvalue without checking:\n\n" }, { "__type": "Code", "__tag": 4050, "value": "a = np.stack((np.eye(2), np.arange(1, 5).reshape(2, 2)))\nb = [1, 1]\n", "execution_status": "success", "out": "" }, { "__type": "Code", "__tag": 4050, "value": "solve(a, b, assume_a=\"diagonal\")\n", "execution_status": "failure", "out": "array([[1. , 1. ],\n [1. , 0.25]])\n" } ], "title": [], "level": 0, "target": null }, "see_also": [], "signature": { "__type": "SignatureNode", "__tag": 4029, "kind": "function", "parameters": [ { "__type": "SigParam", "__tag": 4030, "name": "a", "annotation": { "__type": "Empty", "__tag": 4031 }, "kind": "POSITIONAL_OR_KEYWORD", "default": { "__type": "Empty", "__tag": 4031 } }, { "__type": "SigParam", "__tag": 4030, "name": "b", "annotation": { "__type": "Empty", "__tag": 4031 }, "kind": "POSITIONAL_OR_KEYWORD", "default": { "__type": "Empty", "__tag": 4031 } }, { "__type": "SigParam", "__tag": 4030, "name": "lower", "annotation": { "__type": "Empty", "__tag": 4031 }, "kind": "POSITIONAL_OR_KEYWORD", "default": "False" }, { "__type": "SigParam", "__tag": 4030, "name": "overwrite_a", "annotation": { "__type": "Empty", "__tag": 4031 }, "kind": "POSITIONAL_OR_KEYWORD", "default": "False" }, { "__type": "SigParam", "__tag": 4030, "name": "overwrite_b", "annotation": { "__type": "Empty", "__tag": 4031 }, "kind": "POSITIONAL_OR_KEYWORD", "default": "False" }, { "__type": "SigParam", "__tag": 4030, "name": "check_finite", "annotation": { "__type": "Empty", "__tag": 4031 }, "kind": "POSITIONAL_OR_KEYWORD", "default": "True" }, { "__type": "SigParam", "__tag": 4030, "name": "assume_a", "annotation": { "__type": "Empty", "__tag": 4031 }, "kind": "POSITIONAL_OR_KEYWORD", "default": "None" }, { "__type": "SigParam", "__tag": 4030, "name": "transposed", "annotation": { "__type": "Empty", "__tag": 4031 }, "kind": "POSITIONAL_OR_KEYWORD", "default": "False" } ], "return_annotation": { "__type": "Empty", "__tag": 4031 }, "target_name": "solve" }, "references": null, "qa": "scipy.linalg._basic:solve", "arbitrary": [], "local_refs": [ "a", "assume_a", "b", "check_finite", "lower", "overwrite_a", "overwrite_b", "transposed", "x" ] }