First time here? Check out the FAQ!
answered 2022-02-07 20:43:10 +0100
To see the basis of SubM as elements of M use
SubM
M
[b.lift() for b in SubM.basis()]
Similarly, to get a random element of SubM lifted to M run:
SubM.random_element().lift()