Link to actual problem [4227] \[ \boxed {9 y^{2} {y^{\prime }}^{2}-3 x y^{\prime }+y=0} \]
type detected by program
{"first_order_ode_lie_symmetry_calculated"}
type detected by Maple
[[_1st_order, _with_linear_symmetries], _rational]
Maple symgen result This shows Maple’s found \(\xi ,\eta \) and the corresponding canonical coordinates \(R,S\)\begin{align*} \left [\underline {\hspace {1.25 ex}}\xi &= \frac {3 x}{2}, \underline {\hspace {1.25 ex}}\eta &= y\right ] \\ \left [R &= \frac {y}{x^{\frac {2}{3}}}, S \left (R \right ) &= \frac {2 \ln \left (x \right )}{3}\right ] \\ \end{align*}
\begin{align*} \\ \left [R &= \frac {\operatorname {RootOf}\left (y-\textit {\_Z}^{\frac {1}{3}}\right )^{2}}{-x^{2}+4 \operatorname {RootOf}\left (y-\textit {\_Z}^{\frac {1}{3}}\right )}, S \left (R \right ) &= \int _{}^{x}\frac {1}{-\frac {12 \operatorname {RootOf}\left (y-\textit {\_Z}^{\frac {1}{3}}\right )^{2}}{-x^{2}+4 \operatorname {RootOf}\left (y-\textit {\_Z}^{\frac {1}{3}}\right )}-6 \sqrt {\frac {\operatorname {RootOf}\left (y-\textit {\_Z}^{\frac {1}{3}}\right )^{2} \left (-\textit {\_a}^{2}+\frac {4 \operatorname {RootOf}\left (y-\textit {\_Z}^{\frac {1}{3}}\right )^{2}}{-x^{2}+4 \operatorname {RootOf}\left (y-\textit {\_Z}^{\frac {1}{3}}\right )}\right )}{-x^{2}+4 \operatorname {RootOf}\left (y-\textit {\_Z}^{\frac {1}{3}}\right )}}+3 \textit {\_a}^{2}}d \textit {\_a}\right ] \\ \end{align*}