installed DimensionOfAmbientSpace for IsAlgebraicThomasDecompositionSchemeRp