how to define a finitely generated subalgebra of k[x_1,x_2,.....,x_n] ?

[Sanjay Singha]

how to define a finitely generated subalgebra of k[x_1,x_2,.....,x_n] ?

[nich...@umn.edu]

Hello Sanjay,

I don't think Macaulay2 has a way to directly define a subring of a polynomial ring. 

There is a package currently under development that can be used to do things such as calculate Sagbi bases and perform subduction. If a subring R has a Sagbi basis, subduction can be used to check if a polynomial is an element of R. Here is a link: https://github.com/natelastname/SubalgebraBases

Best,

-Nathan Nichols

[Sanjay Singha]

Thank you sir.

--
You received this message because you are subscribed to a topic in the Google Groups "Macaulay2" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/macaulay2/pYwMy_2wc8A/unsubscribe.
To unsubscribe from this group and all its topics, send an email to macaulay2+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/macaulay2/4a0ff134-8292-4e81-80e2-6715d4759be4n%40googlegroups.com.