这里Axiom是一种数学语言，它不是一个java库。它就像Maple或Mathematica。 是否存在以某种方式返回Axiom中的第一类对象
q1:= if typeOf q= bohType then 1 else 0
？ 有一些地方列出了所有Axiom类型，所以我可以写上面bohType正确的字符串？ 谢谢
没有人回答...... 我没有找到方法知道2 obj的类型是否相等，或者如果一个obj有一个指定的类型;但重新考虑一下：我只想要List和Stream之间的区别，为安全起见使用maxIndex函数......这很容易明确吗？可以作为list的参数（使用maxIndex）和流，并返回0如果List，1表示Streams（其中没有最大索引，所以我可以选择它）（最后似乎是这样）。所以解决了问题...早上好......