8.1.1.10 FreeModule_submodule_with_basis_field Objects

class FreeModule_submodule_with_basis_field
A vector subspace with distinguished basis.
FreeModule_submodule_with_basis_field( ambient, basis, [check=None], [echelonize=False], [inner_product_matrix=True])

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

is_ambient,$  $ is_ambient_vector_space

Further documentation:

is_ambient_vector_space( )

Returns True if this is the ambient vector space.

Instances of class FreeModule_submodule_with_basis_field also have the following special methods:

__repr__,$  $ _denominator

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