About the number of generators of an ideal - II

Vinay Wagh · Thu Aug 11, 2005 5:32 pm

In my last mail I forgot to mention this...

I am also interested in finding the quotient of two ideals.
i.e.
R: ring, I,J subset R be the ideals in R. Then I want to
find the ideal I:J.

So I want to know the algorithm/theory used to find out the
generators of I:J.

Thanks in advance

Vinay Wagh

email: vinay_wagh@yahoo.com
Posted in old Singular Forum on: 2004-06-05 05:32:55+02

Re: About the number of generators of an ideal - II

levandov · Thu Aug 11, 2005 8:25 pm

Dear Vinay Wagh,

Quote:

> In my last mail I forgot to mention this...
>
> I am also interested in finding the quotient of two ideals.
> i.e.
> R: ring, I,J subset R be the ideals in R. Then I want to
> find the ideal I:J.

In SINGULAR, you can find it with the help of command "quotient", see
http://www.singular.uni-kl.de/Manual/2-0-5/sing_261.htm

Quote:

> So I want to know the algorithm/theory used to find out the
> generators of I:J.

Theoretical issues could be found, for example, in the SINGULAR book, p.79-80, subsection 1.8.8.

Alternatively, there is a short description of the algorithm in the paper of Hans Schoenemann "Algorithms in SINGULAR".
The HTML version of the article is available at
http://www.mathematik.uni-kl.de/~zca/Re ... paper.html

With best regards,