Reduce-algebra/General