Function hasValue

src/compute-engine/assume.ts:1181–1189

(ce: ComputeEngine, s: string)

      if (subject !== undefined) return undefined; // more than one part term
      subject = s;
    } else if (!isNumber(term)) {
      return undefined; // non-numeric extra term
    }
  }
  return subject;
}

/** True if `expr` contains a part term (`Real/Imaginary/Abs/Argument` of a
 * bare symbol) anywhere. */
function containsPartTerm(expr: Expression): boolean {
  if (!isFunction(expr)) return false;
  const s = subjectOf(expr);