Putting together two basis

Stream: Is there code for X?

[Andy Heald]

Maybe I'm taking the exact wrong approach for what I'm trying to do, but is there a way to append the bases of two disjoint submodules?

Like, I have a nice basis for U, and a nice basis for W and the intersection of U and W is trivial and I want a basis for U + W that's just the union of the two original bases.

[Kevin Buzzard]

Can you write a #mwe ?

[Eric Wieser]

@loogle Submodule, Basis, Disjoint

[loogle]

:search: NumberField.mixedEmbedding.disjoint_span_commMap_ker

[Eric Wieser]

Probably docs#Basis.prod is the answer, though you'll need a conversion between disjoint supremums and direct sums that I can't find

[Edward van de Meent]

docs#Submodule.span_union seems useful