Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
如何告诉 Maxima 将%pi其视为一个数字?
%pi
我有一个函数可以根据它来区分案例,numberp但它会跳过涉及%pi.
numberp
我搜索了文档,但没有一个属性declare看起来合适(或工作:我试过scalarand irrational,但我相信这仍然假设它是一个变量 Vs a number),我找不到这个标志。
declare
scalar
irrational
最后,assume不承认谓词 likenumberp并且再次假设 like不%pi > 0影响其作为变量(符号?)的状态。
assume
%pi > 0