Singular https://www.singular.uni-kl.de/forum/ |
|
GKZ systems https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1934 |
Page 1 of 1 |
Author: | Guest [ Mon Jun 06, 2011 7:51 am ] |
Post subject: | GKZ systems |
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. |
Author: | malex [ Wed Jun 08, 2011 3:38 pm ] |
Post subject: | Re: GKZ systems |
Could You please look for Singular inside the Sage distribution and try to run the same things directly with it? |
Author: | levandov [ Fri Oct 14, 2011 6:36 pm ] |
Post subject: | Re: GKZ systems |
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 |
Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |