Singular Manual: fpaprops_lib

> | ### 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.

User manual for Singular version 4-1-1p3, 2018, generated by texi2html.