# Complex equation in maxima

I rested on this tutorial.

After issuing the command with "solve" function:

````%i2 solve((a-b-sqrt(-c^2+2*c*y-y^2+r^2))^2+(d-y)^2=2*r^2*(1-cos(e)),y);
````

The output is:

Why there is unknown quantity "y" on the right side?

P.S.

There's no "Maxima" tag, what a pity! However, I was redirected here by a stackoverflow moderator, so I assume it is not offtopic.

Maxima is a computer algebra system based on a 1982 version of Macsyma. It is written in Common Lisp and runs on all POSIX platforms such as Mac OS X, Unix, BSD, and GNU/Linux as well as under Microsoft Windows. It is free software released under the terms of the GNU General Public License.
source: http://en.wikipedia.org/wiki/Maxima_%28software%29

-
Clearly, Maxima was not entirely successful at isolating the variable you want... – J. M. Jul 23 '12 at 0:42
@J.M. Was it my fault? – 0x6B6F77616C74 Jul 23 '12 at 0:47
W|A spits out a pretty lengthy result that doesn't seem to have $y=$ (something with $y$ in it)... – The Chaz 2.0 Jul 23 '12 at 0:50
@TheChaz there are two "y" under the square root. Or this "W|A" shortcut which I don't understand (google also doesn't know anything about "W|A maxima") is significant. – 0x6B6F77616C74 Jul 23 '12 at 1:05

1
I copied your code "solve(...,y)" into www.wolframalpha.com – The Chaz 2.0 Jul 23 '12 at 1:16
show 1 more comment

## 1 Answer

The general solve command in Macsyma has limited capabilities for dealing with algebraic functions. You can work around this by using the rational function package as in the code below. There I define w to be the sqrt, then solve for w, square, then solve for y.

(algebraic:true, tellrat( w^2 = -c^2+2*c*y-y^2+r^2 ));

solve(rat(solve(rat((a-b-w)^2+(d-y)^2 = 2*r^2*(1-cos(e))),w)^2),y)

-

This is useful. – copper.hat Jul 23 '12 at 3:01
The result is five lines long, like in the wolframalpha.com. – 0x6B6F77616C74 Jul 23 '12 at 14:53
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.893926203250885, "perplexity_flag": "head"}