M2
M2 copied to clipboard
truncate changes order of basis
I don't understand why this happens:
needsPackage "Truncations"
S = QQ[x,y,z]
A = S^{1}
B = truncate(0, A)
M = image basis(0, A) -- image {-1} | x y z |
N = image basis(0, B) -- image {-1} | z y x |
inducedMap(M, N) -- anti-digonal
@kellerlv and I ran into this when in some cases homomorphism' homomorphism v == v failed.
cc: @devlinmallory @ggsmith