(*

Assume P is diagonal and has form given by Glover
Assume D has form given by Glover
Assume that the greek equations hold.

*)

ClearMonomialOrder[];

SetMonomialOrder[Join[
Pvariables,
PvariablesTP,
othervariables ,
othervariablesTP,
Bvariables,
BvariablesTP,
Cvariables,
CvariablesTP,
Dvariables,
DvariablesTP,
Avariables,
AvariablesTP
]];

equations = Complement[AllThreeEquations,{0}];

allOfTheAssumptions = Union[  
{greekEquations,
matPtilDIAGONAL,
matPtilSPECIFIC,
matDtilSPECIFIC,
ASSUMPTIONS}];
