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