SwitchingFields  Switch base fields and obtain natural maps for rings over finite fields
Description
SwitchingFields is a package that helps to switch the (finite) field of coefficients of a given ring, to another given (finite) field via the natural map between these fields.
Version
This documentation describes version 1.0 of SwitchingFields.
Source code
The source code from which this documentation is derived is in the file SwitchingFields.m2.
Exports

Functions and commands

extendFieldByDegree (missing documentation)

fieldBaseChange  a function to compute the base change between GaloisFields

fieldExtension  a fix to the failure of map(GaloisField,GaloisField) function when Variable option is used

switchFieldMap  a function to provide correct map between rings with different finite coefficient field

Methods

fieldBaseChange(Ring,GaloisField)  see fieldBaseChange  a function to compute the base change between GaloisFields

fieldExtension(GaloisField,GaloisField)  see fieldExtension  a fix to the failure of map(GaloisField,GaloisField) function when Variable option is used

switchFieldMap(Ring,Ring,List)  see switchFieldMap  a function to provide correct map between rings with different finite coefficient field