In order to use the functions of INB.m you have to attach

Attach("RelAlgKTheory.m");
Attach("INB.m");

You probably will also need

ZX<x> := PolynomialRing( Integers() );
load "D5Mipos.m";
load "D4Mipos.m";
load "D3Mipos.m";
load "Q8pols.m";
load "Q12pols.m";



Please look at the sample file and copy and paste to see how the
functions can be used - do not simply load the sample file into magma.

The sample file also contains the MAGMA code which is used for proving claims
in the paper based on MAGMA computations.