It has been almost nine years since I came up with the idea I now call using tautological spaces as that happened back in December 1999, and since that time I've done some work on terminology (link is a reference for the rest of this page).
Now after my success with a general method to reduce binary quadratic Diophantine equations, I see a need to advance the methodology of tautological spaces where that is simple enough.
To handle quadratic Diophantines in general I see a need for a more general tautological space:
a1h + a2h +v1a3h +...+vn-2anh = 0(mod a1h + a2h +v1a3h +...+vn-2anh )
to handle conditionals with n variables, where I call h, the hyperdimension.
As an example consider n=4, where all the conditional variables are raised to the 1st power so h=1, as then the tautological space is described by:
So it is a 6-dimensional tautological space a hyperdimension of 1, so there are two free variables which by my type of usage would be v1 and v2, so that looks like:
x + y + v1z + v2w = 0(mod x + y + v1z + v2w)
The v's give additional degrees of freedom to allow reducing out to a general solution like with my Quadratic Diophantine Theorem.
Actually I realized the need to extend tautological space terminology by wondering about considering solutions where there are more conditional variables than say, x, y and z.
Edited 6/24/12 to correct leaving off hyperdimension which IS necessary.