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

GKZid not working
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2116
Page 1 of 1

Author:  hoffman [ Mon Jul 09, 2012 11:37 pm ]
Post subject:  GKZid not working

> LIB "ncalg.lib";

> intmat A[3][4]=1,1,1,1,3,0,1,0, 0, 3, 1, 0;
> print(A);
1 1 1 1
3 0 1 0
0 3 1 0
> def D1 = GKZsystem(A,"lp","ect");
// characteristic : 0
// 3 parameter : b(1) b(2) b(3)
// 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
// noncommutative relations: ...
> print(GKZid);
`GKZid`
> GKZid[1];
? `GKZid` is not defined
? error occurred in STDIN line 6: `GKZid[1];`

Author:  Wolfram Decker [ Tue Jul 10, 2012 1:11 pm ]
Post subject:  Re: GKZid not working

Please include

setring D1;

after you defined D1.

Author:  hoffman [ Tue Jul 10, 2012 9:36 pm ]
Post subject:  Re: GKZid not working

Thanks! It works in a terminal, but still does NOT work in a Sage worksheet. This is a problem for the Sage team.
J. W. Hoffman

Author:  levandov [ Tue Sep 11, 2012 6:23 pm ]
Post subject:  Re: GKZid not working

Hi,

GKZid calles subprograms for integer programming through toric.lib.
Toric.lib in turn calles special, separatedly compiled binary routines, which have to be
present in the same directory where Singular binary resides. These are
solve_IP, toric_ideal and so on. Possible SAGE guys do not compile them [yet].

I am open to more questions on the computational D-module theory.

Regards,
Viktor

Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/