<?xml version="1.0" encoding="UTF-8"?>

<!-- This is an automatically generated file. -->
<TitlePage>
  <Title>
    IBNP
  </Title>
  <Subtitle>
    Involutive Bases for Noncommutative Polynomials
  </Subtitle>
  <Version>
    0.17
  </Version>
  <Author>
    Gareth A. Evans<Alt Only="LaTeX"><Br/></Alt>
<Address>
Ysgol y Creuddyn <Br/>
Ffordd Derwen, Bae Penrhyn <Br/>
Llandudno, LL30 3LB <Br/>
U.K.<Br/>
</Address>
<Email>gareth@mathemateg.com</Email>

  </Author>
  <Author>
    Christopher D. Wensley<Alt Only="LaTeX"><Br/></Alt>
<Email>cdwensley.maths@btinternet.com</Email>
<Homepage>https://github.com/cdwensley</Homepage>

  </Author>
  <Date>
    11 September 2025
  </Date>
  <Abstract>
    The &IBNP; package provides methods for computing an involutive (&Grob;) basis <M>B</M> for an ideal <M>J</M> over a polynomial ring <M>R</M> in both the commutative and noncommutative cases. <P/>Secondly, methods are provided to involutively reduce a given polynomial to its normal form in <M>R/J</M>. <P/>Bug reports, comments, suggestions for additional features, and offers to implement some of these, will all be very welcome. <P/>Please submit any issues at <URL>https://github.com/gap-packages/ibnp/issues/</URL> or send an email to the second author at <Email>cdwensley.maths@btinternet.com</Email>.
 <P/>
  </Abstract>
  <Copyright>
    ©right; 2024-2025, Gareth Evans and Chris Wensley.<P/>
The &IBNP; package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
  </Copyright>
  <Acknowledgements>
    This documentation was prepared with the &GAPDoc; <Cite Key='GAPDoc'/> and &AutoDoc; <Cite Key='AutoDoc'/> packages.<P/>
The procedure used to produce new releases uses the package <Package>GitHubPagesForGAP</Package> <Cite Key='GitHubPagesForGAP' /> and the package <Package>ReleaseTools</Package>.<P/>
  </Acknowledgements>
  </TitlePage>