RingFamily

Types of RingFamily:

• InexactFieldFamily -- the class of all families of inexact fields

Methods that use an object of class RingFamily:

• Constant ^ RingFamily (missing documentation)
• diagonalMatrix(RingFamily,List) -- see diagonalMatrix(Ring,ZZ,ZZ,List) -- make a diagonal matrix from a list
• diagonalMatrix(RingFamily,ZZ,ZZ,List) -- see diagonalMatrix(Ring,ZZ,ZZ,List) -- make a diagonal matrix from a list
• Number ^ RingFamily -- see lift -- lift to another ring
• matrix(RingFamily,List) -- see matrix(Ring,List) -- create a matrix from a doubly nested list of ring elements or matrices
• mutableIdentity(RingFamily,ZZ) -- see mutableIdentity(Ring,ZZ) -- make a mutable identity matrix
• mutableMatrix(RingFamily,ZZ,ZZ) -- see mutableMatrix(Ring,ZZ,ZZ) -- make a mutable matrix filled with zeroes
• RingFamily ^ List -- see Ring ^ List -- make a free module
• RingFamily ^ ZZ -- see Ring ^ ZZ -- make a free module
• RingFamily _* -- a unary postfix operator, used for indicating pushforward maps
• substitute(Ideal,RingFamily) -- see substitute -- substituting values for variables
• substitute(Matrix,RingFamily) -- see substitute -- substituting values for variables
• substitute(Module,RingFamily) -- see substitute -- substituting values for variables
• substitute(Number,RingFamily) -- see substitute -- substituting values for variables
• substitute(RingElement,RingFamily) -- see substitute -- substituting values for variables
• substitute(Vector,RingFamily) -- see substitute -- substituting values for variables

For the programmer

The object RingFamily is a type, with ancestor classes Type < MutableHashTable < HashTable < Thing.