Singular

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

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

Please include

setring D1;

after you defined D1.

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