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