Leaklens

sympy__sympy-22005

detection of infinite solution request

Verdict: the fix is stated in the issue (Tier A).

It looks like the test could be `if len(basis) < len(gens)` though I'm not sure if the implementation can handle all cases where `len(basis) > len(gens)`.

The text states the fix: “It looks like the test could be `if len(basis) < len(gens)` though I'm not sure if the implementation can handle all cases where `len(basis) > len(gens)`.”

All SWE-bench Lite tasks · more sympy/sympy tasks · How the check works