Top
Back: Qso3Casimir
Forward: ncdecomp_lib
FastBack: gkdim_lib
FastForward: ncdecomp_lib
Up: ncalg_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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.


Top Back: Qso3Casimir Forward: ncdecomp_lib FastBack: gkdim_lib FastForward: ncdecomp_lib Up: ncalg_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.