ApCoCoA-1:Diffalg.PseudoAutoReduce