asymptotical -> asymptotic in print methods. mercuryfish example added. trafo now can return matrices with number of columns different from the lhs and rhs of formula.
