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.

Citation

If you have used this package in your research, please cite it as follows:

@misc{SwitchingFieldsSource,
  title = {{SwitchingFields: Switch Base Fields and Obtain Natural Maps. Version~1.0}},
  author = {Zhan Jiang and Sarasij Maitra},
  howpublished = {A \emph{Macaulay2} package available at
    \url{https://github.com/Macaulay2/M2/tree/master/M2/Macaulay2/packages}}
}

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
- extendFieldByDegree(ZZ,Ring) (missing documentation)
- 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
- fieldExtension(GaloisField,QuotientRing) (missing documentation)
- 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, defined in SwitchingFields.m2.

The source of this document is in SwitchingFields.m2:118:0.