NARS APL:有理表示和分子

NARS APL: Rational representation and numerator

在 NARS 中,分数使用 r 表示,例如 23r45 将是分数 23⁄45。问题是,如果我有一个包含有理数的变量,我该如何访问分子? "numerator" 函数是否存在 numerator 23r45 returns 23?

没有built-in "numerator"函数,但是你可以很容易地构造一个:

      num←(⊣÷∨)∘1
      num 23r45
23 

作为参考,可以通过以下方式找到分母:

      den←(⊢÷∨)∘1
      den 23r45
45

所以你可以 "split" 有理有据:

      n_d←(,÷∨)∘1
      n_d 23r45
23 45