Computing contractions of ideals in Macaulay2
6
$begingroup$
Does Macaulay2 compute contractions of ideals under ring homomorphisms. Specifically, if $Rsubseteq S$ is a ring extension (say polynomial rings over $mathbb{Q}$ which can be specified in M2) and $I$ is an ideal in $S$ given by generators, is there a command to compute $Icap R$?
EDIT: The eliminate command is supposed to do what I want, except when I use it the output is an ideal in the original ring.
abstract-algebra commutative-algebra math-software symbolic-computation macaulay2
edited Dec 8 '18 at 14:05
Rodrigo de Azevedo
12.9k41856
asked Jan 4 '12 at 18:02
AmdAmd
312
$endgroup$
add a comment |
6
$begingroup$
Does Macaulay2 compute contractions of ideals under ring homomorphisms. Specifically, if $Rsubseteq S$ is a ring extension (say polynomial rings over $mathbb{Q}$ which can be specified in M2) and $I$ is an ideal in $S$ given by generators, is there a command to compute $Icap R$?
EDIT: The eliminate command is supposed to do what I want, except when I use it the output is an ideal in the original ring.
abstract-algebra commutative-algebra math-software symbolic-computation macaulay2
edited Dec 8 '18 at 14:05
Rodrigo de Azevedo
12.9k41856
asked Jan 4 '12 at 18:02
AmdAmd
312
$endgroup$
add a comment |
6
6
6
0
$begingroup$
Does Macaulay2 compute contractions of ideals under ring homomorphisms. Specifically, if $Rsubseteq S$ is a ring extension (say polynomial rings over $mathbb{Q}$ which can be specified in M2) and $I$ is an ideal in $S$ given by generators, is there a command to compute $Icap R$?
EDIT: The eliminate command is supposed to do what I want, except when I use it the output is an ideal in the original ring.
abstract-algebra commutative-algebra math-software symbolic-computation macaulay2
edited Dec 8 '18 at 14:05
Rodrigo de Azevedo
12.9k41856
asked Jan 4 '12 at 18:02
AmdAmd
312
$endgroup$
Does Macaulay2 compute contractions of ideals under ring homomorphisms. Specifically, if $Rsubseteq S$ is a ring extension (say polynomial rings over $mathbb{Q}$ which can be specified in M2) and $I$ is an ideal in $S$ given by generators, is there a command to compute $Icap R$?
EDIT: The eliminate command is supposed to do what I want, except when I use it the output is an ideal in the original ring.
abstract-algebra commutative-algebra math-software symbolic-computation macaulay2
abstract-algebra commutative-algebra math-software symbolic-computation macaulay2
edited Dec 8 '18 at 14:05
Rodrigo de Azevedo
12.9k41856
asked Jan 4 '12 at 18:02
AmdAmd
312
edited Dec 8 '18 at 14:05
Rodrigo de Azevedo
12.9k41856
asked Jan 4 '12 at 18:02
AmdAmd
312
edited Dec 8 '18 at 14:05
Rodrigo de Azevedo
12.9k41856
edited Dec 8 '18 at 14:05
Rodrigo de Azevedo
12.9k41856
edited Dec 8 '18 at 14:05
Rodrigo de Azevedo
12.9k41856
12.9k41856
asked Jan 4 '12 at 18:02
AmdAmd
312
asked Jan 4 '12 at 18:02
AmdAmd
312
asked Jan 4 '12 at 18:02
AmdAmd
312
312
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
0
$begingroup$
You could set f=map(S/I,R) and obtain the intersection as ker(f).
answered Jan 7 '12 at 16:35
Marc OlschokMarc Olschok
1,12666
$endgroup$
1
$begingroup$
Marc, if intend to continue to contribute regularly to this site, it would be nice if you registered your account (it takes only a minute to do that). This way it would be easier for the software to recognize you (and it's the third time I ask the moderators to merge your older account into a newly created one).
$endgroup$
– t.b.
Jan 7 '12 at 17:29
$begingroup$
actually I want to register (I meanwhile have an OPen ID), but cannot find the link for this. I also registerd with the same name but a newer account.
$endgroup$
– Marc Olschok
Jan 9 '12 at 20:47
$begingroup$
The account you used for writing your last comment is registered. If you want to add other registration information like Open ID, then you should go to your user profile here (this page is accessible by clicking on your name at the top middle at the top of each page). Adding registration information can be done here (this page can be reached by clicking "my logins" on the user profile page).
$endgroup$
– t.b.
Jan 9 '12 at 20:55
$begingroup$
I've located the following earlier accounts of yours: math.stackexchange.com/users/15341, math.stackexchange.com/users/15825, math.stackexchange.com/users/16790, math.stackexchange.com/users/19253, math.stackexchange.com/users/20407, math.stackexchange.com/users/21246. If you want to merge them into your current registered account, please flag for moderator attention (at the bottom of your answer you have the "flag" link. Click it and explain the situation briefly in the "other" field.)
$endgroup$
– t.b.
Jan 10 '12 at 10:45
add a comment |
0
$begingroup$
More generally there is also the function preimage which takes $f$ a function from $R$ to $S$ and $I$ an ideal in $S$ and outputs $I^c$ in $R$ http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.6/share/doc/Macaulay2/Macaulay2Doc/html/_preimage.html
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f96414%2fcomputing-contractions-of-ideals-in-macaulay2%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
0
$begingroup$
You could set f=map(S/I,R) and obtain the intersection as ker(f).
answered Jan 7 '12 at 16:35
Marc OlschokMarc Olschok
1,12666
$endgroup$
1
$begingroup$
Marc, if intend to continue to contribute regularly to this site, it would be nice if you registered your account (it takes only a minute to do that). This way it would be easier for the software to recognize you (and it's the third time I ask the moderators to merge your older account into a newly created one).
$endgroup$
– t.b.
Jan 7 '12 at 17:29
$begingroup$
actually I want to register (I meanwhile have an OPen ID), but cannot find the link for this. I also registerd with the same name but a newer account.
$endgroup$
– Marc Olschok
Jan 9 '12 at 20:47
$begingroup$
The account you used for writing your last comment is registered. If you want to add other registration information like Open ID, then you should go to your user profile here (this page is accessible by clicking on your name at the top middle at the top of each page). Adding registration information can be done here (this page can be reached by clicking "my logins" on the user profile page).
$endgroup$
– t.b.
Jan 9 '12 at 20:55
$begingroup$
I've located the following earlier accounts of yours: math.stackexchange.com/users/15341, math.stackexchange.com/users/15825, math.stackexchange.com/users/16790, math.stackexchange.com/users/19253, math.stackexchange.com/users/20407, math.stackexchange.com/users/21246. If you want to merge them into your current registered account, please flag for moderator attention (at the bottom of your answer you have the "flag" link. Click it and explain the situation briefly in the "other" field.)
$endgroup$
– t.b.
Jan 10 '12 at 10:45
add a comment |
0
$begingroup$
You could set f=map(S/I,R) and obtain the intersection as ker(f).
answered Jan 7 '12 at 16:35
Marc OlschokMarc Olschok
1,12666
$endgroup$
1
$begingroup$
Marc, if intend to continue to contribute regularly to this site, it would be nice if you registered your account (it takes only a minute to do that). This way it would be easier for the software to recognize you (and it's the third time I ask the moderators to merge your older account into a newly created one).
$endgroup$
– t.b.
Jan 7 '12 at 17:29
$begingroup$
actually I want to register (I meanwhile have an OPen ID), but cannot find the link for this. I also registerd with the same name but a newer account.
$endgroup$
– Marc Olschok
Jan 9 '12 at 20:47
$begingroup$
The account you used for writing your last comment is registered. If you want to add other registration information like Open ID, then you should go to your user profile here (this page is accessible by clicking on your name at the top middle at the top of each page). Adding registration information can be done here (this page can be reached by clicking "my logins" on the user profile page).
$endgroup$
– t.b.
Jan 9 '12 at 20:55
$begingroup$
I've located the following earlier accounts of yours: math.stackexchange.com/users/15341, math.stackexchange.com/users/15825, math.stackexchange.com/users/16790, math.stackexchange.com/users/19253, math.stackexchange.com/users/20407, math.stackexchange.com/users/21246. If you want to merge them into your current registered account, please flag for moderator attention (at the bottom of your answer you have the "flag" link. Click it and explain the situation briefly in the "other" field.)
$endgroup$
– t.b.
Jan 10 '12 at 10:45
add a comment |
0
0
0
$begingroup$
You could set f=map(S/I,R) and obtain the intersection as ker(f).
answered Jan 7 '12 at 16:35
Marc OlschokMarc Olschok
1,12666
$endgroup$
You could set f=map(S/I,R) and obtain the intersection as ker(f).
answered Jan 7 '12 at 16:35
Marc OlschokMarc Olschok
1,12666
answered Jan 7 '12 at 16:35
Marc OlschokMarc Olschok
1,12666
answered Jan 7 '12 at 16:35
Marc OlschokMarc Olschok
1,12666
answered Jan 7 '12 at 16:35
Marc OlschokMarc Olschok
1,12666
1,12666
1
$begingroup$
Marc, if intend to continue to contribute regularly to this site, it would be nice if you registered your account (it takes only a minute to do that). This way it would be easier for the software to recognize you (and it's the third time I ask the moderators to merge your older account into a newly created one).
$endgroup$
– t.b.
Jan 7 '12 at 17:29
$begingroup$
actually I want to register (I meanwhile have an OPen ID), but cannot find the link for this. I also registerd with the same name but a newer account.
$endgroup$
– Marc Olschok
Jan 9 '12 at 20:47
$begingroup$
The account you used for writing your last comment is registered. If you want to add other registration information like Open ID, then you should go to your user profile here (this page is accessible by clicking on your name at the top middle at the top of each page). Adding registration information can be done here (this page can be reached by clicking "my logins" on the user profile page).
$endgroup$
– t.b.
Jan 9 '12 at 20:55
$begingroup$
I've located the following earlier accounts of yours: math.stackexchange.com/users/15341, math.stackexchange.com/users/15825, math.stackexchange.com/users/16790, math.stackexchange.com/users/19253, math.stackexchange.com/users/20407, math.stackexchange.com/users/21246. If you want to merge them into your current registered account, please flag for moderator attention (at the bottom of your answer you have the "flag" link. Click it and explain the situation briefly in the "other" field.)
$endgroup$
– t.b.
Jan 10 '12 at 10:45
add a comment |
1
$begingroup$
Marc, if intend to continue to contribute regularly to this site, it would be nice if you registered your account (it takes only a minute to do that). This way it would be easier for the software to recognize you (and it's the third time I ask the moderators to merge your older account into a newly created one).
$endgroup$
– t.b.
Jan 7 '12 at 17:29
$begingroup$
actually I want to register (I meanwhile have an OPen ID), but cannot find the link for this. I also registerd with the same name but a newer account.
$endgroup$
– Marc Olschok
Jan 9 '12 at 20:47
$begingroup$
The account you used for writing your last comment is registered. If you want to add other registration information like Open ID, then you should go to your user profile here (this page is accessible by clicking on your name at the top middle at the top of each page). Adding registration information can be done here (this page can be reached by clicking "my logins" on the user profile page).
$endgroup$
– t.b.
Jan 9 '12 at 20:55
$begingroup$
I've located the following earlier accounts of yours: math.stackexchange.com/users/15341, math.stackexchange.com/users/15825, math.stackexchange.com/users/16790, math.stackexchange.com/users/19253, math.stackexchange.com/users/20407, math.stackexchange.com/users/21246. If you want to merge them into your current registered account, please flag for moderator attention (at the bottom of your answer you have the "flag" link. Click it and explain the situation briefly in the "other" field.)
$endgroup$
– t.b.
Jan 10 '12 at 10:45
1
1
$begingroup$
Marc, if intend to continue to contribute regularly to this site, it would be nice if you registered your account (it takes only a minute to do that). This way it would be easier for the software to recognize you (and it's the third time I ask the moderators to merge your older account into a newly created one).
$endgroup$
– t.b.
Jan 7 '12 at 17:29
$begingroup$
Marc, if intend to continue to contribute regularly to this site, it would be nice if you registered your account (it takes only a minute to do that). This way it would be easier for the software to recognize you (and it's the third time I ask the moderators to merge your older account into a newly created one).
$endgroup$
– t.b.
Jan 7 '12 at 17:29
$begingroup$
actually I want to register (I meanwhile have an OPen ID), but cannot find the link for this. I also registerd with the same name but a newer account.
$endgroup$
– Marc Olschok
Jan 9 '12 at 20:47
$begingroup$
actually I want to register (I meanwhile have an OPen ID), but cannot find the link for this. I also registerd with the same name but a newer account.
$endgroup$
– Marc Olschok
Jan 9 '12 at 20:47
$begingroup$
The account you used for writing your last comment is registered. If you want to add other registration information like Open ID, then you should go to your user profile here (this page is accessible by clicking on your name at the top middle at the top of each page). Adding registration information can be done here (this page can be reached by clicking "my logins" on the user profile page).
$endgroup$
– t.b.
Jan 9 '12 at 20:55
$begingroup$
The account you used for writing your last comment is registered. If you want to add other registration information like Open ID, then you should go to your user profile here (this page is accessible by clicking on your name at the top middle at the top of each page). Adding registration information can be done here (this page can be reached by clicking "my logins" on the user profile page).
$endgroup$
– t.b.
Jan 9 '12 at 20:55
$begingroup$
I've located the following earlier accounts of yours: math.stackexchange.com/users/15341, math.stackexchange.com/users/15825, math.stackexchange.com/users/16790, math.stackexchange.com/users/19253, math.stackexchange.com/users/20407, math.stackexchange.com/users/21246. If you want to merge them into your current registered account, please flag for moderator attention (at the bottom of your answer you have the "flag" link. Click it and explain the situation briefly in the "other" field.)
$endgroup$
– t.b.
Jan 10 '12 at 10:45
$begingroup$
I've located the following earlier accounts of yours: math.stackexchange.com/users/15341, math.stackexchange.com/users/15825, math.stackexchange.com/users/16790, math.stackexchange.com/users/19253, math.stackexchange.com/users/20407, math.stackexchange.com/users/21246. If you want to merge them into your current registered account, please flag for moderator attention (at the bottom of your answer you have the "flag" link. Click it and explain the situation briefly in the "other" field.)
$endgroup$
– t.b.
Jan 10 '12 at 10:45
add a comment |
0
$begingroup$
More generally there is also the function preimage which takes $f$ a function from $R$ to $S$ and $I$ an ideal in $S$ and outputs $I^c$ in $R$ http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.6/share/doc/Macaulay2/Macaulay2Doc/html/_preimage.html
$endgroup$
add a comment |
0
$begingroup$
More generally there is also the function preimage which takes $f$ a function from $R$ to $S$ and $I$ an ideal in $S$ and outputs $I^c$ in $R$ http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.6/share/doc/Macaulay2/Macaulay2Doc/html/_preimage.html
$endgroup$
add a comment |
0
0
0
$begingroup$
More generally there is also the function preimage which takes $f$ a function from $R$ to $S$ and $I$ an ideal in $S$ and outputs $I^c$ in $R$ http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.6/share/doc/Macaulay2/Macaulay2Doc/html/_preimage.html
$endgroup$
More generally there is also the function preimage which takes $f$ a function from $R$ to $S$ and $I$ an ideal in $S$ and outputs $I^c$ in $R$ http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.6/share/doc/Macaulay2/Macaulay2Doc/html/_preimage.html
answered Aug 22 '14 at 19:12
user171177
add a comment |
add a comment |
draft saved
draft discarded
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f96414%2fcomputing-contractions-of-ideals-in-macaulay2%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
