Singular

Hello,

I am getting an error when trying to compute the height of an ideal. Following the example in the online manual, I establish my ring (0,(x,y),dp) and input my ideal, I, and then the function: heightZ(I).

Any guidance would be greatly appreciated.

Thanks,
Michael

Ok, so I was successful in computing the ideal! turns out I needed to include in the beginning the "LIB primdecint.lib";

in the case for Laurent Polynomials, how does one notate positive and negative powers using mulivariables x1,x2,x3,...

Follow closely the code given in the example for heightZ
http://www.singular.uni-kl.de/Manual/la ... tm#SEC1832

As shown in the example, this procs needs the primdecint.lib
to be loaded. Put the quotation marks at the right place.

Instead of rational numbers i.e. r =0,(x,y,z),dp;
you should choose here integers for the coefficients.

To your questions:

The exponent for variables have to be non-negative. Thus
Laurent polynomials in ringvariables can not be defined.

Negative exponents are only allowed for parameters.
This means, if you are working over a function field, then
the coefficients can be rational functions.

However, the funtion heightZ can not be applied to those expressions.

If you want to work with x1,x2,x3,x4, then define a ring
with these variables. Note that you have to put the * and ^ now.

Can I compute over the rational polynomial ring?

Also, I'm working in Sage, and I'm trying to compute the height of very large ideals using singular. I get an error message stating:

TypeError: Singular error:
? nesting too deep
? error occurred in or before crypto.lib::gcdN line 152: `parameter number a; parameter number b; `
? leaving crypto.lib::gcdN
skipping text from `)` error at token `)`
? leaving crypto.lib::gcdN
? leaving crypto.lib::gcdN

Any thoughts?

The problem is the very trivial implementation of gcdN in crypto.lib.
This is a library to explain algorithms and should not have been used in the first place in primdecint.lib.

A workaround is:
edit crypto.lib and sustitute the body of gcdN by:
return(gcd(a,b));