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: |

### 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

Milestone: | sage-7.5 → sage-9.4 |
---|

### comment:2 Changed 16 months ago by

Milestone: | sage-9.4 → sage-9.5 |
---|

### comment:3 Changed 12 months ago by

Milestone: | sage-9.5 → sage-9.6 |
---|

### comment:4 Changed 7 months ago by

Milestone: | sage-9.6 → sage-9.7 |
---|

### comment:5 Changed 3 months ago by

Milestone: | sage-9.7 → sage-9.8 |
---|

**Note:**See TracTickets for help on using tickets.

still the same in 9.4.beta4