I compute a freemodule U=V/M, where V and M are vector space, as follows.
I'm wondering that how I can get the image in U of v /in V, that is v
modulo W.
On the other hand, how can I get the lift in V of u /in U? For this, I
tried the command lift(), but it seems not to work, since I
input lif
Does U.lift(U.0) do the trick?
It looks like (U.0).lift() (and hence lift(U.0) ) attempts to do a
coordinate-wise lift, which is not what you want. It's perhaps a bug that
does that.
On Monday, April 10, 2017 at 12:28:12 AM UTC-7, Peng wrote:
>
> I compute a freemodule U=V/M, where V and M are
You are right! (U.0).lift() gives what I want. Thank you very much.
By the way, do you know how to get the image in the modulo space?
On Monday, April 10, 2017 at 3:47:44 PM UTC+8, Nils Bruin wrote:
>
> Does U.lift(U.0) do the trick?
>
> It looks like (U.0).lift() (and hence lift(U.0) ) attem
Conversion, U(V.1) should do the trick. The quotient space knows how it was
constructed from the space V, so it can store how to convert from and to
it. The space V doesn't know all its quotients, so it doesn't about U
itself.
On Monday, April 10, 2017 at 1:09:24 AM UTC-7, Peng wrote:
>
> You a
