First time here? Check out the FAQ!

Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

answered 3 years ago

Max Alekseyev gravatar image

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()