Reduce (bilgisayarlı cebir sistemi)