This is an option to tell lieAlgebra, holonomyLie or randomLie which the underlying field is. You may use any "exact" field (not the real numbers or the complex numbers), such as a prime field or an algebraic extension, e.g., toField(ZZ/7[x]/ideal{x2+1}) or a fraction field, e.g., frac(QQ[x])