| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/gbnp/lib/nmo/ (GAP Algebra Version 4.15.1©) Datei vom 29.7.2024 mit Größe 1 kB |
|
Quelle ncutils.gd Sprache: Shell |
|||||||||||||||||||||||||
|
############################################################################# ## #W ncutils.gd NMO Utils Randall Cone ## ## (C) 2010 Mathematics Dept., Virginia Polytechnic Institute, USA ## ############################################################################# ############################################################################# ## ## <#GAPDoc Label="PatchGBNP"> ## <Oper Name="PatchGBNP" ## Arg="<NoncommutativeMonomialOrdering>"/> ## ## <Description> ## </Description> ## ## <Func Name="UnpatchGBNP" Arg=""/> ## ## <Description> ## Let <C><NoncommutativeMonomialOrdering></C> be a ## monomial ordering (on an algebra <M>A</M>). ## <C>PatchGBNP</C> overwrites the <Package>GBNP</Package> ## Global functions <C>LtNP</C> and <C>GtNP</C> ## with the less-than and greater-than functions defined for ## <C><NoncommutativeMonomialOrdering></C>. ## The purpose of such a patching is to force <Package>GBNP</Package> to use ## <C><NoncommutativeMonomialOrdering></C> in its computation of a Gröbner basis. ## <C>UnpatchGBNP()</C> simply restores the <C>LtNP</C> and <C>GtNP</C> functions ## to their original state. ## ## The examples in Quickstart section are more illustrative, but ## here is an example of the use of the patching routines above: ## <Example> ## gap> A := FreeAssociativeAlgebraWithOne(Rationals,"x","y","z"); ## <algebra-with-one over Rationals, with 3 generators> ## gap> ml := NCMonomialLeftLexicographicOrdering(A,3,2,1); ## NCMonomialLeftLexicographicOrdering([ (1)*z, (1)*y, (1)*x ]) ## gap> PatchGBNP(ml); ## LtNP patched. ## GtNP patched. ## gap> UnpatchGBNP(); ## LtNP restored. ## GtNP restored. ## </Example> ## <P/> ## </Description> ## ## <#/GAPDoc> ## DeclareOperation("PatchGBNP", [ IsNoncommutativeMonomialOrdering ] ); DeclareGlobalFunction("UnpatchGBNP");
¤ Dauer der Verarbeitung: 0.3 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-04