The source code for algsys says that it uses "straight-forward resultant hackery." I suppose this means that algsys uses the resultant to eliminate the variables one at a time. If that is the case, how does algsys reject spurious solutions? Barton