Read-only forum archive

GKZid not working

GKZid not working

hoffman · Mon Jul 09, 2012 11:37 pm

> 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];`

Re: GKZid not working

Wolfram Decker · Tue Jul 10, 2012 1:11 pm

Please include

setring D1;

after you defined D1.

Re: GKZid not working

hoffman · Tue Jul 10, 2012 9:36 pm

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

Re: GKZid not working

levandov · Tue Sep 11, 2012 6:23 pm

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