Opened 2 years ago

#21939 new defect

Solving with respect to a dummy variable behaves wrong

Reported by: pelegm Owned by:
Priority: major Milestone: sage-7.5
Component: symbolics Keywords: solve, days79
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

Solving an equation which only involves x, with respect to y, gives a solution with respect to x:

sage: var('x,y')
(x, y)
sage: solve(x > 0, y)
[[x > 0]]

(Expected answer: for all y...)

It does not change if one adds y to the equation in a dummy way (like y*0).

Similarly, the following code:

solve(1>x*0, y)

returns [[]], where the expected result should probably be for all y. For the second example sympy returns True.

Change History (0)

Note: See TracTickets for help on using tickets.