(e: Expression)
| 1017 | }, |
| 1018 | |
| 1019 | // --- sqrt-form predicates --- |
| 1020 | |
| 1021 | NiceSqrtQ: (args, ctx) => { |
| 1022 | const u = build(args[0], ctx).evaluate(); |
| 1023 | if (isLiteralRational(u)) return (realNum(u) ?? 0) > 0; |
| 1024 | return niceSqrtAux(u); |
no test coverage detected