Added Qepcad output for when QE is needed (still need to do negations and equational constraints). Tidied up poly input to remove leading spaces.