determinant

Although we already have the determinant of the probabilistic de Bruijn matrices from their factored forms, it is worth observing that it can be calculated directly by following the symbolic procedure.