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
is_ambient_vector_space
Further documentation:
) |
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.