ApCoCoA-1:Diffalg.DiffAutoReduce