The (indexed) parameter R, which specifies the domain of computation, a commutative ring, must be a Maple table/module which has the following values/exports:

R[`0`] : a constant for the zero of the ring R

R[`1`] : a constant for the (multiplicative) identity of R

R[`+`] : a procedure for adding elements of R (nary)

R[`-`] : a procedure for negating and subtracting elements of R (unary and binary)

R[`*`] : a procedure for multiplying elements of R (binary and commutative)

R[`=`] : a boolean procedure for testing if two elements of R are equal

$\mathrm{with}\left(\mathrm{LinearAlgebra}\left[\mathrm{Generic}\right]\right)\:$

$R\left[\mathrm{`0`}\right],R\left[\mathrm{`1`}\right],R\left[\mathrm{`+`}\right],R\left[\mathrm{`-`}\right],R\left[\mathrm{`=`}\right]≔0,1,\mathrm{`+`},\mathrm{`-`},\mathrm{`=`}$

$R_0,R_1,R_{\mathrm{`+`}},R_{\mathrm{`-`}},R_{\mathrm{`=`}}≔0,1,\mathrm{`+`},\mathrm{`-`},\mathrm{`=`}$

R[`*`] := proc(f,g) expand(f*g) end: # polynomial multiplication

$A≔\mathrm{Matrix}\left(\left[\left[u\,v\,w\right]\,\left[v\,u\,v\right]\,\left[w\,v\,u\right]\right]\right)$

$A≔\left[\begin{array}{ccc}u& v& w\\ v& u& v\\ w& v& u\end{array}\right]$

$\mathrm{MinorExpansion}\left[R\right]\left(A\right)$

$u^3-2u{v}^2-u{w}^2+2v^{2}w$