TensorFreeModule.isomorphism_with_fixed_basis

[mkoeppe]

We generalize FiniteRankFreeModule.isomorphism_with_fixed_basis so that it works with tensor modules.

Depends on #34424
Depends on #30300
Depends on #30229

CC: @egourgoulhon @tscrim

Component: linear algebra

Author: Matthias Koeppe

Branch/Commit: 08d6a65

Reviewer: Eric Gourgoulhon

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

[mkoeppe]

Branch: u/mkoeppe/tensorfreemodule_isomorphism_with_fixed_basis

[mkoeppe]

Last 10 new commits:

b7e5319	Merge #34424
fb1ce42	src/sage/tensor/modules/ext_pow_free_module.py: No need to override basis() any more
30d4eec	TensorFreeModule.basis: Pass all args
d1376fd	TensorFreeModule.basis: Add documentation
2bcfc21	src/sage/tensor/modules: Use keyword order: category, ambient
6e9bec5	src/sage/tensor/modules/finite_rank_free_module.py: Move ambient_module, is_submodule to FiniteRankFreeModule_abstract
fd5ba8c	src/sage/tensor/modules/tensor_free_module.py: No more need for TensorFreeModule.irange
544ffab	Merge #30229
a4d65bc	FiniteRankFreeModule_abstract.isomorphism_with_fixed_basis: Move here from FiniteRankFreeModule, rewrite using Family
280424e	FiniteRankFreeModule_abstract.isomorphism_with_fixed_basis: Add example with codomain from sage.modules

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1,2 @@
+We generalize `FiniteRankFreeModule.isomorphism_with_fixed_basis` so that it works with tensor modules.
 

[mkoeppe]

Commit: 280424e

[sagetrac-git]

Changed commit from 280424e to b0b8d19

[sagetrac-git]

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

e452316	FreeModuleTensor: Handle TensorFreeSubmoduleBasis_comp
b0b8d19	FiniteRankFreeModule_abstract.isomorphism_with_fixed_basis: Handle codomain=MatrixSpace

[sagetrac-git]

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

18aa856

FiniteRankFreeModule_abstract.isomorphism_with_fixed_basis: Add example with symmetric binary forms

[sagetrac-git]

Changed commit from b0b8d19 to 18aa856

[sagetrac-git]

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

dafd47d

FiniteRankFreeModule_abstract.isomorphism_with_fixed_basis: Better example with symmetric binary forms

[sagetrac-git]

Changed commit from 18aa856 to dafd47d

[sagetrac-git]

Changed commit from dafd47d to c354770

[sagetrac-git]

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

c354770

FiniteRankFreeModule_abstract.isomorphism_with_fixed_basis: Add example with codomain= tensor square of a CombinatorialFreeModule

[mkoeppe]

Author: Matthias Koeppe

[sagetrac-git]

Changed commit from c354770 to 454f0b0

[sagetrac-git]

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

694e665	TensorFreeSubmoduleBasis_comp._repr_: New
adc2b45	Merge #30229
454f0b0	src/sage/tensor/modules/finite_rank_free_module.py: Update doctest output