The symbol SPACE is used as notation for multiplication by scalars. The scalars belong to L.field which must be the same as M.field, where f: M->L. If the field is not QQ, then the scalars are of type RingElement. If the field is QQ, then the scalars are of type Number.
i1 : F = toField(ZZ/7[x]/ideal{x^2+1}) o1 = F o1 : PolynomialRing |
i2 : M = lieAlgebra({a,b},field=>F) o2 = M o2 : LieAlgebra |
i3 : L = lieAlgebra({a,b},field=>F) o3 = L o3 : LieAlgebra |
i4 : f = mapLie(L,M,{x a,3 b}) o4 = f o4 : MapLie |
i5 : peekLie((3*x) f) o5 = MapLie{a => (-3)a } b => (2*x)b sourceLie => M targetLie => L |