Quelle chapter_gbnp.xml Sprache: XML

<Chapter Label="GBNP"><Heading>Using GBNP with Gap</Heading>

<Section><Heading>GBNP</Heading>

<Package>GBNP</Package> is a non-commutative Groebner Basis
package which assumes that all algebras involved will be free algebras
over a finite number of non-commuting generators.  It also assumes
that the ordering on the monomials is left length-lexicographic.
</Section>

<Section><Heading>Setting up GBNP</Heading>
in progress...
</Section>

<Section><Heading>Relevant GBNP internals</Heading>
in progress...
</Section>

<Section><Heading>Communicating with GBNP</Heading>

  <ManSection>
   <Oper Name="GBNPGroebnerBasis" Arg="rels, KQ" Comm=""/>
   <Returns>
     a Groebner basis of the ideal generated by <Arg>rels</Arg> in the
     path algebra <Arg>KQ</Arg>.
   </Returns>
  </ManSection>

</Section>
</Chapter>

quality94%

¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤

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.