better handling of pure refinement#215

asartori86 wants to merge 1 commit intomathLab:mastermathLab/pi-DoMUS:masterfrom

asartori86:fix_pure_refinementasartori86/pi-DoMUS:fix_pure_refinementCopy head branch name to clipboard