8.1.1.8 FreeModule_submodule_field Objects

class FreeModule_submodule_field
A vector subspace.
FreeModule_submodule_field( ambient, gens, [check=None], [inner_product_matrix=True])

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

coordinate_vector,$  $ echelon_coordinates

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.

echelon_coordinates( 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_field also have the following special methods:

__repr__

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