uci printer added/refactored algebraic printer