Algorithm used by "Reduce" function

*To*: mathgroup at smc.vnet.net*Subject*: [mg71823] Algorithm used by "Reduce" function*From*: Jim Smith <rewecow at yahoo.com>*Date*: Thu, 30 Nov 2006 06:05:27 -0500 (EST)*Organization*: Rensselaer Polytechnic Institute, Troy NY, USA

Hello, Does anyone happen to know the algorithm used by the "Reduce" function? For instance: In[1]:= Reduce[{10x + 5y + z == 10, x + y + z == 1, x â?¥ 0, y â?¥ 0, z â?¥ 0}, {x, y, z}] Out[1]= x == 1 && y == 0 && z == -y How does it achieve this answer? Thanks, Jim