- mu(..., UseColonIdeals => ...), see mu -- computes the largest Frobenius power of an ideal not contained in a specified Frobenius power
- muList(..., UseColonIdeals => ...), see muList -- computes a list of mu-values associated to a given F-threshold or F-pure threshold
- nu(..., UseColonIdeals => ...), see nu -- computes the largest power of an ideal not contained in a specified Frobenius power
- nuList(..., UseColonIdeals => ...), see nuList -- computes a list of nu-values associated to a given F-threshold or F-pure threshold

The object UseColonIdeals is a symbol.