codim in sing.lib yields -1 as opposed to 23

[seelisch (on behalf of Viktor)]

"example codim;" yields -1 as opposed to 23 (see comment below: "should be 23")

SINGULAR /

A Computer Algebra System for Polynomial Computations / version 3-1-2

0<

by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann \ Oct 2010

FB Mathematik der Universitaet, D-67653 Kaiserslautern \

LIB "sing.lib";

loaded /usr/share/Singular/LIB/sing.lib (12394,2010-01-04) loaded /usr/share/Singular/LIB/primdec.lib (13403,2010-10-06) loaded /usr/share/Singular/LIB/ring.lib (12231,2009-11-02) loaded /usr/share/Singular/LIB/absfact.lib (13534,2010-10-18) loaded /usr/share/Singular/LIB/triang.lib (13499,2010-10-15) loaded /usr/share/Singular/LIB/matrix.lib (12898,2010-06-23) loaded /usr/share/Singular/LIB/nctools.lib (13467,2010-10-13) loaded /usr/share/Singular/LIB/poly.lib (12443,2010-01-19) loaded /usr/share/Singular/LIB/elim.lib (13499,2010-10-15) loaded /usr/share/Singular/LIB/general.lib (13499,2010-10-15) loaded /usr/share/Singular/LIB/random.lib (13499,2010-10-15) loaded /usr/share/Singular/LIB/inout.lib (13499,2010-10-15)

example codim;

proc codim from lib sing.lib EXAMPLE:

ring r = 0,(x,y,z),dp; ideal j = y6,x4; ideal m = x,y; attrib(m,"isSB",1); let Singular know that ideals are a standard basis attrib(j,"isSB",1); codim(m,j); should be 23 (Milnor number -1 of y7-x5)

-1

[hannes]

example fixed (ring changed to 0,(x,y),dp)