Add construction methods to FiniteRankFreeModule, CombinatorialFreeModule and Cartesian products

[mkoeppe]

(follow-up from #30194)

... extending sage.categories.pushout.VectorFunctor

for example:

            sage: M = FreeModule(ZZ, 4, with_basis=None, name='M')
            sage: latex(M)
            M
            sage: from sage.categories.pushout import VectorFunctor, pushout
            sage: M_QQ = pushout(M, QQ)
            sage: latex(M_QQ)
            M \otimes \Bold{Q}

CC: @tscrim @egourgoulhon @fchapoton @nthiery

Component: linear algebra

Author: Matthias Koeppe

Branch/Commit: 3f44174

Reviewer: Travis Scrimshaw

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

[mkoeppe]

Branch: u/mkoeppe/add_construction_methods_to_finiterankfreemodule_and_combinatorialfreemodule

[mkoeppe]

New commits:

9ee2a48	Create CombinatorialFreeModule if basis keys given
d08ee98	zero_vector: Handle bad input like zero_vector(3.6) before passing it to ZZ.__pow__
5d56004	FreeModule: SImplify argument handling
9116a1c	src/sage/misc/sageinspect.py: Do not use FreeModule as an example for a class instance
20b10f0	Extend VectorSpace factory in the same way
6af7fa4	Move documentation from FreeModuleFactory to FreeModule
5910876	FreeModule: Add to documentation
78d0633	More documentation

[mkoeppe]

Commit: 78d0633

[mkoeppe]

Dependencies: #30194

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,3 +1,3 @@
 (follow-up from #30194)
 
-
+... extending `sage.categories.pushout.VectorFunctor`

[mkoeppe]

comment:5

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

[mkoeppe]

Changed branch from u/mkoeppe/add_construction_methods_to_finiterankfreemodule_and_combinatorialfreemodule to none

[mkoeppe]

Changed commit from 78d0633 to none

[mkoeppe]

Changed dependencies from #30194 to none

[mkoeppe]

Branch: u/mkoeppe/add_construction_methods_to_finiterankfreemodule_and_combinatorialfreemodule

[mkoeppe]

New commits:

33d3675

src/sage/categories/pushout.py (VectorFunctor): Add support for other keywords of the FreeModule constructor

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Commit: 33d3675

[sagetrac-git]

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

91c5645

src/sage/combinat/free_module.py (CombinatorialFreeModule): Add construction method

[sagetrac-git]

Changed commit from 33d3675 to 91c5645