普贤教程 › 包参考

fractions 包

精确有理数

项	值
包名	`fractions`
版本	`0.2.0`
可用版本	`0.1.0 / 0.2.0`
入口	`fractions.px`
分类	`数学与统计`
文件数 / 行数	`1 / 244`

安装与引入

bash

pxpkg init          # 首次
pxpkg add fractions@0.2.0
pxpkg install

import fractions

所属分类教程：数学与统计

公开接口

函数	参数
`frac`	`n, d`
`frac_from_str`	`s`
`frac_add`	`a, b`
`frac_neg`	`a`
`frac_cmp`	`a, b`
`frac_eq`	`a, b`
`frac_is_zero`	`a`
`frac_to_float`	`a`
`frac_to_str`	`a`
`frac_pow`	`a, k`
`frac_gcd`	`a, b`

其余 16 个 def（内部与辅助，可直接调用但不属稳定接口）

函数	参数
`fr_parse_int`	`s`
`fr_find_slash`	`s`
`frac_make`	`n, d`
`fr_unwrap`	`a`
`frac_sub`	`a, b`
`frac_mul`	`a, b`
`frac_div`	`a, b`
`frac_abs`	`a`
`frac_reciprocal`	`a`
`frac_floor`	`a`
`frac_ceil`	`a`
`frac_round`	`a`
`frac_to_mixed`	`a`
`frac_from_mixed`	`whole, num, den`
`frac_is_int`	`a`
`frac_to_int`	`a`

包内说明（源码头注释）

text

============================================================
普贤生态库：registry/fractions —— 精确有理数
------------------------------------------------------------
纯函数库（无 IO、无状态），编译（px build）与解释（px run）双模式一致。
frac(n, d)        → Ok([分子, 分母]) | Err      自动约分、分母正则化
frac_from_str(s)  → Ok([分子, 分母]) | Err      解析 "a/b" 或整数串
frac_add/sub/mul/div(a, b) → Ok([分子, 分母]) | Err
frac_neg(a)       → [分子, 分母]（不可失败）
frac_cmp(a, b)    → -1 / 0 / 1
frac_eq(a, b)     → bool
frac_is_zero(a)   → bool
frac_to_float(a)  → float（分子 / 分母）
frac_to_str(a)    → "a/b"，分母为 1 时 "a"
frac_pow(a, k)    → Ok(...) | Err（支持负指数）
frac_gcd(a, b)    → int（最大公约数，同 math.gcd 符号约定）
表示：list [分子, 分母]，始终约分（gcd=1）、分母为正；0 = [0, 1]。
解析为严格模式（非法字符 → Err，M184 起 int() 同为严格解析，口径一致）。
============================================================