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.

Authors

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

For the programmer

The object SwitchingFields is a package.