 | 1 | initial version |
I have a polynomial $f\in\mathbb F[x_1,\ldots,x_n]$ and I know that it is an element of the subalgebra generated by $f_1,\ldots,f_k$. In fact, I can confirm this with f.in_subalgebra. However, I'd like the actual expression $h(t_1,\ldots,t_k)$ such that $f=h(f_1,\ldots,f_k)$. I know that the Groebner basis method should produce such $h$.
I'd like to know if there is a ready-to-use functionality in Sage to produce $h$.
I have a polynomial $f\in\mathbb F[x_1,\ldots,x_n]$ and I know that it is an element of the subalgebra generated by $f_1,\ldots,f_k$. In fact, I can confirm this with f.in_subalgebra. However, I'd like the actual expression $h(t_1,\ldots,t_k)$ such that $f=h(f_1,\ldots,f_k)$. I know that the Groebner basis method should produce such $h$.
I'd like to know if there is a ready-to-use functionality in Sage to produce $h$.
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
