Top
Back: Experimental libraries
Forward: ivDHilbert
FastBack: Miscellaneous libraries
FastForward: findiff_lib
Up: Experimental libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.1 fpadim_lib

Library:
fpadim.lib
Purpose:
Algorithms for quotient algebras in the letterplace case
Authors:
Grischa Studzinski, grischa.studzinski@rwth-aachen.de

Support: Joint projects LE 2697/2-1 and KR 1907/3-1 of the Priority Programme SPP 1489:
'Algorithmische und Experimentelle Methoden in Algebra, Geometrie und Zahlentheorie'
of the German DFG

Overview:
Given the free algebra A = K<x_1,...,x_n> and a (finite) Groebner basis
GB = {g_1,..,g_w}, one is interested in the K-dimension and in the
explicit K-basis of A/<GB>.
Therefore one is interested in the following data:
- the Ufnarovskij graph induced by GB
- the mistletoes of A/<GB>
- the K-dimension of A/<GB>
- the Hilbert series of A/<GB>

The Ufnarovskij graph is used to determine whether A/<GB> has finite
K-dimension. One has to check if the graph contains cycles.
For the whole theory we refer to [ufna]. Given a
reduced set of monomials GB one can define the basis tree, whose vertex
set V consists of all normal monomials w.r.t. GB. For every two
monomials m_1, m_2 in V there is a direct edge from m_1 to m_2, if and
only if there exists x_k in {x_1,..,x_n}, such that m_1*x_k = m_2. The
set M = {m in V | there is no edge from m to another monomial in V} is
called the set of mistletoes. As one can easily see it consists of
the endpoints of the graph. Since there is a unique path to every
monomial in V the whole graph can be described only from the knowledge
of the mistletoes. Note that V corresponds to a basis of A/<GB>, so
knowing the mistletoes we know a K-basis. For more details see
[studzins]. This package uses the Letterplace format introduced by
[lls]. The algebra can either be represented as a Letterplace ring or
via integer vectors: Every variable will only be represented by its
number, so variable one is represented as 1, variable two as 2 and so
on. The monomial x_1*x_3*x_2 for example will be stored as (1,3,2).
Multiplication is concatenation. Note that there is no algorithm for
computing the normal form yet, but for our case it is not needed.

References:


[ufna] Ufnarovskij: Combinatorical and asymptotic methods in algebra, 1990
[lls] Levandovskyy, La Scala: Letterplace ideals and non-commutative Groebner bases, 2009
[studzins] Studzinski: Dimension computations in non-commutative, associative algebras, Diploma thesis, RWTH Aachen, 2010

Assumptions:
- basering is always a Letterplace ring
- all intvecs correspond to Letterplace monomials
- if you specify a different degree bound d, d <= attrib(basering,uptodeg) holds
In the procedures below, 'iv' stands for intvec representation and 'lp' for the letterplace representation of monomials

Procedures:

D.15.1.1 ivDHilbert  computes the K-dimension and the Hilbert series
D.15.1.2 ivDHilbertSickle  computes mistletoes, K-dimension and Hilbert series
D.15.1.3 ivDimCheck  checks if the K-dimension of A/<L> is infinite
D.15.1.4 ivHilbert  computes the Hilbert series of A/<L> in intvec format
D.15.1.5 ivKDim  computes the K-dimension of A/<L> in intvec format
D.15.1.6 ivMis2Dim  computes the K-dimension of the factor algebra
D.15.1.7 ivOrdMisLex  orders a list of intvecs lexicographically
D.15.1.8 ivSickle  computes the mistletoes of A/<L> in intvec format
D.15.1.9 ivSickleHil  computes the mistletoes and Hilbert series of A/<L>
D.15.1.10 ivSickleDim  computes the mistletoes and the K-dimension of A/<L>
D.15.1.11 lpDHilbert  computes the K-dimension and Hilbert series of A/<G>
D.15.1.12 lpDHilbertSickle  computes mistletoes, K-dimension and Hilbert series
D.15.1.13 lpHilbert  computes the Hilbert series of A/<G> in lp format
D.15.1.14 lpDimCheck  checks if the K-dimension of A/<G> is infinite
D.15.1.15 lpKDim  computes the K-dimension of A/<G> in lp format
D.15.1.16 lpMis2Dim  computes the K-dimension of the factor algebra
D.15.1.17 lpOrdMisLex  orders an ideal of lp-monomials lexicographically
D.15.1.18 lpSickle  computes the mistletoes of A/<G> in lp format
D.15.1.19 lpSickleHil  computes the mistletoes and Hilbert series of A/<G>
D.15.1.20 lpSickleDim  computes the mistletoes and the K-dimension of A/<G>
D.15.1.21 sickle  can be used to access all lp main procedures
D.15.1.22 ivL2lpI  transforms a list of intvecs into an ideal of lp monomials
D.15.1.23 iv2lp  transforms an intvec into the corresponding monomial
D.15.1.24 iv2lpList  transforms a list of intmats into an ideal of lp monomials
D.15.1.25 iv2lpMat  transforms an intmat into an ideal of lp monomials
D.15.1.26 lp2iv  transforms a polynomial into the corresponding intvec
D.15.1.27 lp2ivId  transforms an ideal into the corresponding list of intmats
D.15.1.28 lpId2ivLi  transforms a lp-ideal into the corresponding list of intvecs
See also: freegb_lib.


Top Back: Experimental libraries Forward: ivDHilbert FastBack: Miscellaneous libraries FastForward: findiff_lib Up: Experimental libraries Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.