Opened 6 years ago

Last modified 3 months ago

#22149 new defect

solve can't handle certain multi-equation settings

Reported by: Karl-Dieter Crisman Owned by:
Priority: major Milestone: sage-9.8
Component: symbolics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

See this ask.sagemath question. Basically, at least in certain situations involving abs(), you

var('x y a b')
f=[1+y-a*abs_symbolic(x)==x, b*x==y]; f
solve(f, [x, y])

gives boom, or more precisely

TypeError: cannot coerce arguments: no canonical coercion from <type 'list'> to Symbolic Ring

since it somehow is trying to make this into one object. But

assume(x>0)
solve(f, [x, y])

gives not boom. So somehow our code for recognizing when we have a system of equations isn't working right in the first case. Note that

var('x y a b')
f=[1+y-a*x==x, b*x==y]
solve(f,[x,y]

apparently works fine.

Change History (5)

comment:1 Changed 17 months ago by Matthias Köppe

Milestone: sage-7.5sage-9.4

still the same in 9.4.beta4

comment:2 Changed 16 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

comment:3 Changed 12 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:4 Changed 7 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:5 Changed 3 months ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.