Singular
https://www.singular.uni-kl.de/forum/

Problem with computing primary decomposition
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2455		 Page 1 of 1
Author:  Camilo [ Fri Aug 29, 2014 9:26 pm ]
Post subject:  Problem with computing primary decomposition
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);


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


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.
Author:  hannes [ Sat Aug 30, 2014 6:14 pm ]
Post subject:  Re: Problem with computing primary decomposition
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
Author:  Guest [ Mon Sep 01, 2014 10:08 am ]
Post subject:  Re: Problem with computing primary decomposition
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).
Author:  hannes [ Tue Sep 02, 2014 3:58 pm ]
Post subject:  Re: Problem with computing primary decomposition
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
Author:  Guest [ Mon Oct 06, 2014 1:19 pm ]
Post subject:  Re: Problem with computing primary decomposition
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
Author:  Calista [ Mon Oct 20, 2014 3:39 pm ]
Post subject:  Re: Problem with computing primary decomposition
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
Author:  Guest [ Mon Oct 27, 2014 6:35 pm ]
Post subject:  Re: Problem with computing primary decomposition
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/wik ... rom-source


Jakob

Calista wrote:
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
Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/