\(\(\(
\)\(\(<<\)\(NCGB.m\)\(
\)\)\)\)

\(\(\(
\)\(\ \ \ \ \ \ \ \ \ \ \ \ \ \)\(SNC[a, b, c, d, w, x, y, z, 
      Inv[a]\ \ ]\)\(
\)\)\)

\(\(\(
\)\(\(input\)\(=\)\(\ \)\({\(-1\) + a ** w + x ** d, 
        a ** c + x ** z, 
        b ** d + y ** w, \(-1\) + b ** z + y ** c, \(-1\) + c ** y + w ** a, 
        c ** b + w ** x, 
        d ** a + z ** y, \(-1\) + d ** x + z ** b - 1\  + \ 
          a\  ** \ Inv[a] ** b\ , \ \(-1\)\  + \ 
          Inv[a]\  ** \ a
	}\)\(
\)\)\)\)

\(\(\(
\)\(SetMonomialOrder[a, Inv[a], b, c, 
      d, \ {z}, {x, y, w}]\)\(
\)\)\)

Execute one of the cells below depending on whether you wish the output to be sorted and specially formated or not.

\(\(\(
\)\(\(grobnerBasis\)\(=\)\(\ \)\(NCMakeGB[\ input, \ 
        4\ ]\)\(
\)\)\)\)

\(\(
\ \ 

    \(equivalentPolySet = NCProcess[input, 4, \ "MyTexFileName"\ ]; \)


    \)\)