如何提取最大值中的子表达式？

Question

让我们假设一些最大值函数给了我一个分数作为结果。例如

(%o1)     bla / blubb  

其中 bla 和 blubb 又是更复杂的表达式。

现在我想分别处理分子和分母。如何提取它们以分离变量？

我知道 bla/blubb 在 lisp 中内部表示为列表，所以我可以

:lisp (setq $oneofthem (nth 2 $%o1)); 

获取分子或分母的 lisp 表示。但是，我觉得 maxima 和 lisp 表示在换向上有所不同，所以我事先不确定 maxima 变量 oneofthem 是否包含第一个或第二个因子（bla 或 (mtimes blubb -1)） .

Answer 1

主要功能是part and inpart。也可以看看 substinpart, pickapart, reveal.