Naming of `LinearCode.field`

David has implemented a method LinearCode.field() returning the field over which the code is defined, since we asked him to do it.

I just found out that for VectorSpaces do not have a method field. It has instead base_field and base_ring, both returning the same.

LinearCode also has a base_ring, which is necessary to conform to the category-framework, I believe.

However, I guess the newly created field method should be renamed base_field to be consistent with the very similar VectorSpace class.

Comments (1)