This PR doesn't resolve a documented issue - however, following discussion with Amar about his manifest-related woes (which I suspect have been repaired in graft-unify-manifest anyway), I found that some rtemis code had been lost which broke rtemis functionality. I repaired that and also added a few new useful functions that help facilitate some basic matrix manipulation and the like (e.g., labeling a vector).
This PR doesn't resolve a documented issue - however, following discussion with Amar about his manifest-related woes (which I suspect have been repaired in graft-unify-manifest anyway), I found that some rtemis code had been lost which broke rtemis functionality. I repaired that and also added a few new useful functions that help facilitate some basic matrix manipulation and the like (e.g., labeling a vector).