Fixed bug with non-formal polynomialspheremachine; added local fix to IsSingleValued to read.g