Opened 2 years ago

Last modified 21 months ago

#23136 new enhancement

Allow giac algorithm in solve

Reported by: mforets Owned by:
Priority: major Milestone: sage-8.0
Component: calculus Keywords: solve, giac
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:


To allow the giac interface as an optional keyword of the solve function.

Change History (3)

comment:1 Changed 2 years ago by mforets

Here are some tests:

involving the unknown as exponent:

sage: solve((2/3)^x-2, x)
[3^x == 2^(x - 1)] # not explicit x = ..
sage: giac('solve((2/3)^x-2, x)')
list[ln(2)/(ln(2)-ln(3))]  # ok

from #3745:

sage: sage: solve((sin(x) - 8*cos(x)*sin(x))*(sin(x)^2 + cos(x)) - (2*cos(x)*sin(x) - sin(x))*(-2*sin(x)^2 + 2*cos(x)^2 - cos(x)), x) 
[x == pi, x == 1/2*pi, x == 0]  # wrong
sage: giac('solve((sin(x) - 8*cos(x)*sin(x))*(sin(x)^2 + cos(x)) - (2*cos(x)*sin(x) - sin(x))*(-2*sin(x)^2 + 2*cos(x)^2 - cos(x)), x)')
list[-2*atan(sqrt(2)),0,2*atan(sqrt(2)),pi]  # ok

comment:2 Changed 23 months ago by mforets

see also #22322 (allow sympy algorithm in solve)

comment:3 Changed 21 months ago by chapoton

preliminary step in #23677

Note: See TracTickets for help on using tickets.