8.1.1.9 FreeModule_submodule_pid Objects

class FreeModule_submodule_pid
An $ R$ -submodule of $ K^n$ where $ K$ is the fraction field of a principal ideal domain $ R$ .
FreeModule_submodule_pid( ambient, gens, [check=None], [inner_product_matrix=True])

Instances of class FreeModule_submodule_pid have the following methods (in addition to inherited methods and special methods):

coordinate_vector

Further documentation:

coordinate_vector( v)

Write v in terms of the user basis for self.

Returns a vector c such that if B is the basis for self, then sum c[i] B[i] = v If v is not in self, raises an ArithmeticError exception.

Instances of class FreeModule_submodule_pid also have the following special methods:

__repr__

See About this document... for information on suggesting changes.