8.1.1.2 FreeModule_ambient_domain Objects

class FreeModule_ambient_domain
Ambient free module over an integral domain.
FreeModule_ambient_domain( base_ring, rank, [sparse=None], [inner_product_matrix=False])

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

ambient_vector_space,$  $ base_field,$  $ is_ambient_vector_space,$  $ vector_space

Further documentation:

ambient_vector_space( )

Returns the ambient vector space, which is this free module tensored with its fraction field.

is_ambient_vector_space( )

Returns True if this is the ambient vector space.

Instances of class FreeModule_ambient_domain also have the following special methods:

__repr__

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