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.