Implement simulation.lib; mccgb.lib: fix bugs in redRRepN, redRRepNN and checkNull by using quotient function in SINGULAR instead of implementing this operation by myself