Top
Back: triangularGroup
Forward: lpNoetherian
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.7.9 fpaprops_lib

Library:
fpaprops.lib
Purpose:
Algorithms for the properties of quotient algebras in the letterplace case
Authors:
Karim Abou Zeid, karim.abou.zeid at rwth-aachen.de

Support: Project II.6 in the transregional collaborative research centre SFB-TRR 195 'Symbolic Tools in Mathematics and their Application' of the German DFG

Overview:
Algorithms for computing various properties of quotient algebras in the letterplace case.

References:
Huishi Li: Groebner bases in ring theory. World Scientific, 2010.

Procedures:

7.7.9.0. lpNoetherian  check whether A/<LM(GB)> is (left/right) Noetherian
7.7.9.0. lpIsSemiPrime  check whether A/<LM(GB)> is semi prime
7.7.9.0. lpIsPrime  check whether A/<LM(GB)> is prime
7.7.9.0. lpGkDim  compute the Gelfand Kirillov dimension of A/<GB>
7.7.9.0. lpGlDimBound  compute an upper bound for the global dimension of A/<GB>
7.7.9.0. lpSubstitute  substitute variable with polynomials
7.7.9.0. lpCalcSubstDegBound  utility for lpSubstitute
7.7.9.0. lpCalcSubstDegBounds  utility for lpSubstitute
See also: fpadim_lib; freegb_lib.


Top Back: triangularGroup Forward: lpNoetherian FastBack: FastForward: Up: Singular Manual Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-1-1p3, 2018, generated by texi2html.