Singular

Hi Calista,

please check and post your Singular version.
Please try to update it to 4.0.1 or
compile from source
https://github.com/Singular/Sources
see some advices at
https://github.com/Singular/Sources/wiki/Building-Singular-from-source


Jakob

[quote="Calista"]Hello,


I almost have the same pronlem. I updated my Singular, but still the same. These are my code:

option(prot);
LIB"primdec.lib";
ring r=(0,a,b,l,t2),(X,Y,Z,x0,x1,x2,x3),dp;
ideal i=-X*x0*x1+X*x2*x3-Y*x0*x2-Y*x1*x3,
-4*b*t2^2*x0*x1+2*l*t2^2*x0*x1-2*l*t2^2*x0*x2-2*l*t2^2*x1*x3-2*l*t2^2*x2*x3-4*l*t2*x0*x1+4*l*t2*x2*x3-4*b*x0*x1+2*l*x0*x1+2*l*x0*x2+2*l*x1*x3-2*l*x2*x3,
-2*b*t2^2*x0*x2-l*t2^2*x0*x1+l*t2^2*x0*x2+l*t2^2*x1*x3+l*t2^2*x2*x3+2*l*t2*x0*x2+2*l*t2*x1*x3-2*b*x0*x2+l*x0*x1+l*x0*x2+l*x1*x3-l*x2*x3;
list p=primdecGTZ(i);

Results:

product criterion:58 chain criterion:12
? `nothing` [ `int` failed
? expected `intvec` [ `int`
? expected `ideal` [ `int`
? expected `map` [ `int`
? expected `module` [ `int`
? expected `string` [ `int`
? expected `list` [ `int`
? expected `poly` [ `int`
? expected `vector` [ `int`
? error occurred in or before primdec.lib::decomp line 3642: ` return(primary);`
? leaving primdec.lib::decomp
skipping text from `;` error at token `)`
? leaving primdec.lib::decomp
? leaving primdec.lib::decomp
? leaving primdec.lib::decomp
? leaving primdec.lib::decomp
? leaving primdec.lib::primdecGTZ


I appriciate you help.
Thank you,

Calista[/quote]

Hello,


I almost have the same pronlem. I updated my Singular, but still the same. These are my code:

option(prot);
LIB"primdec.lib";
ring r=(0,a,b,l,t2),(X,Y,Z,x0,x1,x2,x3),dp;
ideal i=-X*x0*x1+X*x2*x3-Y*x0*x2-Y*x1*x3,
-4*b*t2^2*x0*x1+2*l*t2^2*x0*x1-2*l*t2^2*x0*x2-2*l*t2^2*x1*x3-2*l*t2^2*x2*x3-4*l*t2*x0*x1+4*l*t2*x2*x3-4*b*x0*x1+2*l*x0*x1+2*l*x0*x2+2*l*x1*x3-2*l*x2*x3,
-2*b*t2^2*x0*x2-l*t2^2*x0*x1+l*t2^2*x0*x2+l*t2^2*x1*x3+l*t2^2*x2*x3+2*l*t2*x0*x2+2*l*t2*x1*x3-2*b*x0*x2+l*x0*x1+l*x0*x2+l*x1*x3-l*x2*x3;
list p=primdecGTZ(i);

Results:

product criterion:58 chain criterion:12
? `nothing` [ `int` failed
? expected `intvec` [ `int`
? expected `ideal` [ `int`
? expected `map` [ `int`
? expected `module` [ `int`
? expected `string` [ `int`
? expected `list` [ `int`
? expected `poly` [ `int`
? expected `vector` [ `int`
? error occurred in or before primdec.lib::decomp line 3642: ` return(primary);`
? leaving primdec.lib::decomp
skipping text from `;` error at token `)`
? leaving primdec.lib::decomp
? leaving primdec.lib::decomp
? leaving primdec.lib::decomp
? leaving primdec.lib::decomp
? leaving primdec.lib::primdecGTZ


I appriciate you help.
Thank you,

Calista

Thanks so much for the answer.

In the meantime, I installed the bundled Singular4.0.0 version for MacOSX, and now I can do the reported computation with no problems at all.

Camilo

Probably my fault (not to include the latest changes):
load Singular-3-1-7-ix86Mac-darwin.tar.gz (it is updated now) again and unpack it at the same place.
Should now work.

Hannes

Thanks for identifying the problem.

Do you (or anyone) know what can I do? That error came out right away while I was trying SINGULAR for the very first time, after I had just installed it from the Singular-3-1-7-ix86Mac-darwin.tar.gz and Singular-3-1-7-share.tar.gz (i.e. not having deliberately changed the version of anything).

This is a mismatch of the version of binary and the version of the libraries.
You cannot change one without changig the otger (at least not allways)

Hannes

I'm totally new to SINGULAR. I tried to do the following primary decomposition computation:

[code]LIB"matrix.lib";
ring r=0,(x(1..6),y(1..6),z(1..6)),lp;
matrix X[3][6]=x(1),x(2),x(3),x(4),x(5),x(6),
y(1),y(2),y(3),y(4),y(5),y(6),
z(1),z(2),z(3),z(4),z(5),z(6);

intvec m=1,2,3; intvec n=1,5,6;
matrix c[3][3]=submat(X,1..3,m);
matrix d[3][3]=submat(X,1..3,n);


intvec o=4,3,5; intvec p=2,4,6;
matrix e[3][3]=submat(X,1..3,o);
matrix f[3][3]=submat(X,1..3,p);

ideal i=det(c),det(d),det(e),det(f);

list A=primdecGTZ(i);[/code]

but got the following message:

[code]>
. list A=primdecGTZ(i);
? `string` == `int` failed
? expected `int` == `int`
? expected `string` == `string`
? expected `intvec` == `int`
? error occurred in or before ring.lib::hasFieldCoefficient line 986: ` return (attrib(rng,"ring_cf")==0);`
? leaving ring.lib::hasFieldCoefficient
skipping text from ` ` error at token `)`
? leaving primdec.lib::primdecGTZ[/code]

Does anyone know what's wrong? did I miss some important step in the installation? (I'm running SINGULAR in OSX v. 10.9.4 on 8 GB RAM)

Any help is appreciated!

Thanks, Camilo.