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

7.7.8 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.8.0. lpNoetherian  check whether A/<GB> is (left/right) noetherian
7.7.8.0. lpIsSemiPrime  check whether A/<GB> is semi prime
7.7.8.0. lpIsPrime  check whether A/<GB> is prime
7.7.8.0. lpGkDim  compute the Gelfand Kirillov dimension of A/<GB>
7.7.8.0. lpGlDimBound  compute an upper bound for the global dimension of A/<GB>
7.7.8.0. lpSubstitute  substitute variable with polynomials
7.7.8.0. lpCalcSubstDegBound  utility for lpSubstitute
7.7.8.0. lpCalcSubstDegBounds  utility for lpSubstitute
See also: fpadim_lib; freegb_lib.