如何表示5*？在 Julia 中象征性地

Question

与上一个问题相关：我正在使用 Julia Symbolics 包，并希望以符号方式表示 5*pi。我尝试了以下方法无济于事：

using Symbolics
5 * Symbolics.pi      # expanded to 15.707963267948966
Num(5) * Symbolics.pi # expanded to 15.707963267948966

@variables x
Symbolics.pi * x # Gives ?x, so it works with variables

所需的结果，使用 Symbolics.pi 的符号表达式和未在现场进行数值计算但保留为 5 和 ? 的乘积的常数。并显示为 5?，使用 Symbolics.pi。

Answer 1

尝试：

x = Symbolics.pi * Num(5)
print(x)

这里x应该被评价，因此pi应该被提升。