Frobenius

frobenius(Element)

frobenius(Field)

Given an element $a$ of a field with prime characteristic $p$ previously defined, returns $a^p$.

Given a field $K$ with prime characteristic $p$, returns a function that maps every element $a$ to $a^c$, where $c=cardinal\left(K\right)$.