Improve category for finite rank free modules and provide list functionality for basis

[tscrim]

Finite rank free modules should know that they are finite dimensional free modules. We also add functionality for (dual) bases of finite rank free modules to list their basis elements.

CC: @egourgoulhon

Component: geometry

Keywords: days74

Author: Travis Scrimshaw

Branch/Commit: e8b6105

Reviewer: Eric Gourgoulhon

Issue created by migration from https://trac.sagemath.org/ticket/20770

[tscrim]

Branch: public/modules/add_category_support_finite_rank_free_modules-20770

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

e8b6105

Added list of basis and finite-dimensionality to finite rank free modules.

[sagetrac-git]

Commit: e8b6105

[tscrim]

comment:4

Given by Eric at my side.

[vbraun]

Changed branch from public/modules/add_category_support_finite_rank_free_modules-20770 to e8b6105