Singular

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