ApCoCoA-1:Diffalg.DiffReduce