fix one bug in redRepN: change ideal addition to ideal union