Powers and remainders in the calculator (closes #3) #11

Merged

clawbot merged 4 commits from issue-3-power-modulo into next 2026-09-29 04:28:16 +02:00

Conversation 7 Commits 4 Files Changed 7

+645 -102

4 Commits

Author	SHA1	Message	Date
clawbot	3f5e453a18	Every number a fraction under the 4096-bit limit (closes #3) ... go/constant never rounds an integer, and x^0 returned one, so whole numbers built from it escaped the 4096-bit limit: (((2^0+2^0)^4096)^4096)^4096 asked for about 69 billion bits and stalled the bot. A power now starts from the fraction 1, and a number is exact only as a fraction whose numerator and denominator are below 4096 bits, which also refuses a literal that go/constant reads exactly past the limit, such as 1e-1233. The bounded-work test holds the tower and the other short inputs tried against the change. Model: opus-5-5	2026-09-29 02:09:33 +00:00
clawbot	a1125e59dd	Refuse numbers a double cannot hold; exact powers up to the limit (closes #3) ... A power computed in float64 is refused unless its base and its result are normal doubles, and so is a result other than zero that is not one: below about 2.2e-308 a double keeps fewer digits, and at 0 or infinity none. A literal that go/constant reads as 0 though it is not, such as 1e-999999999, is refused too. A whole exponent up to 4096 either way is computed exactly and kept when go/constant holds the result exactly, so 2^-1400 is exact. ErrTooLarge becomes ErrOutOfRange, and its reply, "That needs a number too large or too small for me.", is true of both. Model: opus-5-5	2026-09-29 01:23:40 +00:00
clawbot	3a8f1cc334	Exact remainders; refuse numbers held rounded (closes #3) ... x % y is now y times the fractional part of x/y. The old form, x minus y times the whole part of x/y, passed through a product that go/constant could hold only rounded even when both operands and the remainder were exact, and then replied 0. A number whose numerator or denominator reaches 4096 bits, which go/constant holds rounded, is now refused as too large wherever it appears, literals included. A sum of such numbers could lose the answer, and a rounded exponent near a whole number was computed as an exact power. This replaces the separate check on a negative base's exponent. Model: opus-5-5	2026-09-29 00:42:19 +00:00
clawbot	aeb040d156	Powers and remainders in the calculator (closes #3) ... internal/calc gets its own tokenizer and precedence-climbing parser in place of go/parser, which cannot express a power operator; go/constant still computes. ^ (also **) binds tighter than * / % and a sign on its left, and groups to the right. % takes the sign of the divisor and is exact on decimals. A whole exponent is computed exactly while the result's numerator and denominator stay within 4096 bits; otherwise, and for a fractional exponent, in float64. A remainder, or the sign of a negative base's power, that depends on a value go/constant holds rounded is refused as too large. The welcome text and the replies mention the new operators; a negative base with a fractional exponent gets its own reply. Model: opus-5-5	2026-09-29 00:08:26 +00:00