PartialGroebnerBasis
GroebnerBasis
polynomialNP vs polynomial
monomialNP vs monomial
NPFamily vs associative algebra family
QuotientAlgebra
monomialQA,
polynomialQA,
QAFamily
functions for polynomials in NP form:
====================================
LtNP, GtNP, AddNP, MulNP, BimulNP
cleanup/util functions for polynomials in NP form:
--------------------------------------------
CleanNP
MkMonicNP
LMonsNP (for list)
other
-----
NumAlgGensNP (+List)
NumModGensNP (+List)
functions for QA
================
finiteness
----------
DetermineGrowthQA
FinCheckQA
HilbertSeriesQA
PreprocessAnalysisQA
functions for finite QA
-----------------------
BaseQA
DimQA
MatrixQA
MatricesQA
MulQA *
StrongNormalFormNP *
functions for partial GB/ideal
==============================
Grobner
SGrobner
IsGrobnerBasis
IsStrongGrobnerBasis
IsGrobnerPair
MakeGrobnerPair
=================================================
functions for QA:
Generators(QA);
GeneratorsOfAlgebraModule(QA);
GeneratorsOfAlgebraWithOne(QA);
QA.grobnerbasis
QA.grobnerbasis.tree
QA.dimension -> dimqa
original algebra/module
left acting domain
display
[Seitenstruktur0.6Druckenetwas mehr zur Ethik2026-04-27]
