¿Computa Macaulay2 contracciones de ideales bajo homomorfismos de anillos? En concreto, si $R\subseteq S$ es una extensión de anillos (digamos anillos de polinomios sobre $\mathbb{Q}$ que puede especificarse en M2) y $I$ es un ideal en $S$ dado por generadores, ¿existe un comando para calcular $I\cap R$ ?
EDITAR: El eliminar comando se supone que hace lo que quiero, excepto que cuando lo uso la salida es un ideal en el anillo original.
Marc, si tienes intención de seguir contribuyendo regularmente a este sitio, estaría bien que registraras tu cuenta (sólo se tarda un minuto en hacerlo). Así sería más fácil que el software te reconociera (y es la tercera vez que pido a los moderadores que fusionen tu cuenta antigua con una recién creada).
En realidad quiero registrarme (mientras tanto tengo un ID de OPen), pero no encuentro el enlace para ello. También me registré con el mismo nombre pero con una cuenta nueva.
La cuenta que utilizó para escribir su último comentario es registrado. Si desea añadir otra información de registro como Open ID, debe ir a su perfil de usuario aquí (puede acceder a esta página haciendo clic en su nombre en la parte superior central de cada página). Puede añadir información de registro aquí (a esta página se accede haciendo clic en "mis inicios de sesión" en la página del perfil de usuario).
De forma más general, también existe la función preimage que toma $f$ una función de $R$ a $S$ y $I$ un ideal en $S$ y salidas $I^c$ en $R$ http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.6/share/doc/Macaulay2/Macaulay2Doc/html/_preimage.html
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
