Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/hap/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 19.6.2025 mit Größe 3 kB image not shown  

Quelle  newWords.xml   Sprache: XML

 
<Chapter><Heading> Words in free <M>ZG</M>-modules </Heading> <Section><Heading>  </Heading> 
<ManSection> <Func Name="AddFreeWords" Arg="v,w"/> <Description> <P/> Inputs two words <M>v,w</M> in a free <M>ZG</M>-module and returns their sum <M>v+w</M>. If the characteristic of <M>Z</M> is greater than <M>0</M> then the next function might be more efficient. <P/><B>Examples:</B> 
</Description> </ManSection> 
<ManSection> <Func Name="AddFreeWordsModP" Arg="v,w,p"/> <Description> <P/> Inputs two words <M>v,w</M> in a free <M>ZG</M>-module and the characteristic <M>p</M> of <M>Z</M>. It returns the sum <M>v+w</M>. If <M>p=0</M> the previous function might be fractionally quicker. <P/><B>Examples:</B> 
</Description> </ManSection> 
<ManSection> <Func Name="AlgebraicReduction" Arg="w"/> <Func Name="AlgebraicReduction" Arg="w,p"/> <Description> <P/> Inputs a word <M>w</M> in a free <M>ZG</M>-module and returns a reduced version of the word in which all pairs of mutually inverse letters have been cancelled. The reduction is performed in a free abelian group unless the characteristic <M>p</M> of <M>Z</M> is entered. <P/><B>Examples:</B> 
</Description> </ManSection> 
<ManSection> <Func Name="MultiplyWord" Arg="n,w"/> <Description> <P/> Inputs a word <M>w</M> and integer <M>n</M>. It returns the scalar multiple <M>n\cdot w</M>. <P/><B>Examples:</B> 
</Description> </ManSection> 
<ManSection> <Func Name="Negate" Arg="[i,j]"/> <Description> <P/> Inputs a pair <M>[i,j]</M> of integers and returns <M>[-i,j]</M>. <P/><B>Examples:</B> 
</Description> </ManSection> 
<ManSection> <Func Name="NegateWord" Arg="w"/> <Description> <P/> Inputs a word <M>w</M> in a free <M>ZG</M>-module and returns the negated word <M>-w</M>. <P/><B>Examples:</B> 
</Description> </ManSection> 
<ManSection> <Func Name="PrintZGword" Arg="w,elts"/> <Description> <P/> Inputs a word <M>w</M> in a free <M>ZG</M>-module and a (possibly partial but sufficient) listing elts of the elements of <M>G</M>. The function prints the word <M>w</M> to the screen in the form <P/> <M>r_1E_1 + \ldots + r_nE_n</M> <P/> where <M>r_i</M> are elements in the group ring <M>ZG</M>, and <M>E_i</M> denotes the <M>i</M>-th free generator of the module. <P/><B>Examples:</B> <URL><Link>../www/SideLinks/About/aboutPeriodic.html</Link><LinkText>1</LinkText></URL> 
</Description> </ManSection> 
<ManSection> <Func Name="TietzeReduction" Arg="S,w"/> <Description> <P/> Inputs a set <M>S</M> of words in a free <M>ZG</M>-module, and a word <M>w</M> in the module. The function returns a word <M>w' such that {S,w'</M>} generates the same abelian group as {<M>S,w</M>}. The word <M>w' is possibly shorter (and certainly no longer) than w. This function needs to be improved!

Examples:
</Description> </ManSection> 
<ManSection> <Func Name="ResolutionBoundaryOfWord" Arg="R,n,w"/> <Description> <P/> Inputs a resolution <M>R</M>, a positive integer <M>n</M> and a list <M>w</M> representing a word in the free module <M>R_n</M>. It returns the image of <M>w</M> under the <M>n</M>-th boundary homomorphism. <P/><B>Examples:</B> <URL><Link>../tutorial/chap14.html</Link><LinkText>1</LinkText></URL> 
</Description> </ManSection> </Section> </Chapter>

89%


¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.