GKZ systems

Guest · Mon Jun 06, 2011 7:51 am

I attempt the run the commands as pasted from the example in the online documentation (not able to post URLs, but it's the only thing a search for GKZ systems on the present site turns up) but after

Code:

def D1 = GKZsystem(A,"lp","ect");
setring D1;
D1; 

my machine returns

Code:

setring D1;
//   characteristic : 0
//   2 parameter    : b(1) b(2) 
//   minpoly        : 0
//   number of vars : 8
//        block   1 : ordering a
//                  : names    x(1) x(2) x(3) x(4)
//                  : weights     0    0    0    0
//        block   2 : ordering lp
//                  : names    x(1) x(2) x(3) x(4) d(1) d(2) d(3) d(4)
//        block   3 : ordering C

It does not return noncommutative relations. The command

Code:

print(GKZid)

returns (what is apparently) the string 'GKZid.'

I am running 'Singular for ix86-Linux version 3-1-1 (3114-2010103122) Oct 31 2010 22:48:17\nwith\n\tfactory(@(#) factoryVersion = 3.1.1) ... through the SAGE notebook, set to run Singular code (not through the Sage interface, as far as I can tell). What's going on?

Incidentally, any more comprehensive sources of information on computing with GKZ systems would be greatly appreciated.

I understand these questions might come more from a lack of computing experience than from a lack of Singular experience--I appreciate your time and assitence.

Re: GKZ systems

malex · Wed Jun 08, 2011 3:38 pm

Could You please look for Singular inside the Sage distribution and try to run the same things directly with it?

Re: GKZ systems

levandov · Fri Oct 14, 2011 6:36 pm

Hi, the ncalg.lib which implements GKZsystem uses toric_lib, which in
turn calles some external programs. It might be that they do not work
on specific platforms. The procedure itself works very well with Singular 3-1-3,
test by typing

Code:

LIB "ncalg.lib";
example  GKZsystem;

Regards,
Viktor Levandovskyy