示例：hasVariables 和 getVariables
使用 hasVariables 函数来检查表达式中是否使用了特定变量。
使用 getVariables 函数从表达式中提取变量。
1. 定义表达式。
2. 使用 getVariables 来创建表达式 A 的所有变量的向量。
3. 使用 hasVariables 来判断表达式中是否存在变量。
4. 使用 hasVariables 来判断 f 是否为表达式的变量。
5. 使用 hasVariables 来判断 k 是否为表达式 A 的变量。
可以看到，f 是表达式的变量，而 k 不是。