Singular

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;
[/code]

Regards,
Viktor Levandovskyy

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

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; [/code]
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[/code]
It does not return noncommutative relations. The command [code] print(GKZid) [/code] 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.