type/ramratpoly
¶$\operatorname{type}(f, {\mathit ramratpoly})$ or $\operatorname{type}(f, {\mathit ramratpoly}(K))$ or $\operatorname{type}(f, {\mathit ramratpoly}(K, v))$
libname := libname, FileTools:-JoinPath(["maple","lib","dcfun.mla"],base=homedir):
with(dcfun):
We test the ramified rational character of the following expression by varying the request slightly.
f := x/(1 - 2*x^(1/2) + y^(1/5));
$$\frac{x}{1-2 \sqrt{x}+y^{\frac{1}{5}}}$$
[type(f, ramratpoly(anything, x)), type(f, ramratpoly(rational, x)), type(f, ramratpoly(rational, {x, y}))]
$$[\mathit{true}, \mathit{false}, \mathit{true}]$$