fixed wrong __eq__ of symbolic cartset