SB.IsInSubalgebra SAGBI