8.1.1.4 FreeModule_ambient_pid Objects

class FreeModule_ambient_pid
Ambient free module over a principal ideal domain.
FreeModule_ambient_pid( base_ring, rank, [sparse=None], [inner_product_matrix=False])

Create the ambient free module of given rank over the given principal ideal domain

INPUT:
    base_ring -- a principal ideal domain
    rank -- a non-negative integer

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

is_ambient_vector_space

Further documentation:

is_ambient_vector_space( )

Returns True if this is the ambient vector space.

Instances of class FreeModule_ambient_pid also have the following special methods:

__repr__

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