help links subscribe changes refresh edit

	IssueTracker
#170 Axiom fails to solve "separable" system of equations ←	↑	→ #172 bezout.spad.pamphlet and Knuth's reference

#171 Solve handles lists of expressions differently

Edit detail for #171 Solve handles lists of expressions differently revision 1 of 1

	1
Editor: Time: 2007/11/17 22:02:05 GMT-8
Note:

changed:
-
There are several forms of 'solve' defined in 'TRANSOLVE', among them one that takes a list of equations, another one that takes a single equation. After fixing bug #102 and #137,

\begin{axiom}
solve([exp(x)=2], [x])
\end{axiom}

returns the empty list, whereas

\begin{axiom}
solve(exp(x)=2, x)
\end{axiom}

gives the correct answer.

There are several forms of solve defined in TRANSOLVE, among them one that takes a list of equations, another one that takes a single equation. After fixing bug #102 and #137,

fricas

(1) -> solve([exp(x)=2], [x])

$\label{eq1}\left[ \right]$

(1)

Type: List(List(Equation(Expression(Integer))))

returns the empty list, whereas

fricas

solve(exp(x)=2, x)

$\label{eq2}\left[{x ={\log \left({2}\right)}}\right]$

(2)

Type: List(Equation(Expression(Integer)))

gives the correct answer.