Frobenius

Given a field with prime characteristic p, Frobenius endomorphism maps every element to its p-th power.

frobenius(Element)

Given an element a of a field with prime characteristic p previously defined, returns a to the power of p.

frobenius(Field)

Given a field K with prime characteristic p, returns a function that maps every element a to a to the power of c, where c equals c a r d i n a l left parenthesis K right parenthesis.