Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

To see the basis of SubM as elements of M use

[b.lift() for b in SubM.basis()]

Similarly, to get a random element of SubM lifted to M run:

SubM.random_element().lift()