|
7.7.10.0. GKZsystem
Procedure from library ncalg.lib (see ncalg_lib).
- Usage:
- GKZsystem(A, sord, alg, [,v]); A intmat, sord, alg string, v intvec
- Return:
- ring
- Purpose:
- define a ring (Weyl algebra) and create a Gelfand-Kapranov-Zelevinsky (GKZ) system of equations in a ring from the following data:
A is an intmat, defining the system,
sord is a string with desired term ordering,
alg is a string, saying which algorithm to use (exactly like in toric_lib),
v is an optional intvec.
In addition, the ideal called GKZid containing actual equations is calculated and exported to the ring.
- Note:
- activate the output ring with the
setring command. This procedure is elaborated by Oleksandr Iena
- Assume:
- This procedure uses toric_lib and therefore inherits its input requirements:
possible values for input variable alg are: "ect","pt","blr", "hs", "du".
As for the term ordering, it should be a string sord in @sc{Singular} format like "lp","dp", etc.
Please consult the toric_lib for allowed orderings and more details.
Example:
See also:
toric_lib.
|