如何评估千里马的对数？

Question

以下here和here的示例我尝试了这个：

log2(x) := log(x) / log(2);
log2(8), float;

但这不会给3，而是log(8)/log(2)。

Answer 1

你必须简化激进分子：

(%i1) log2(x) := log(x) / log(2);
                                          log(x)
(%o1)                          log2(x) := ------
                                          log(2)
(%i2) radcan(log2(8));
(%o2) 

                             3

Answer 2

或使用float：

float(log(8)/log(2));

给予：

2.999999999999999