Will we have a powerful and quick enough simplifier to avoid equating small numbers to 0?

Open

#1,376 opened on Sep 16, 2026 4 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty: 5/5
Estimated time: Over a week
Newbie friendliness: 35/100

Issue type: Bug
Clarity: Needs clarification
Activity status: Active
Tech stack: csharp
Domain: tooling

Research direction

Start by reproducing eval "2 + 2^(-100) = 2" and reading the numerical evaluation and simplification paths. Done means the expression reports false without losing the runtime benefits of numerical evaluation or changing the handling of real numbers unexpectedly.

Written by the indexing model from the issue text.

Description

Proposal

eval "2 + 2^(-100) = 2" being True is just not correct. However, numerical evaluation gets us runtime speed at the expense of accuracy. Will we have a powerful and quick enough simplifier to report false correctly for numbers this close? Will this affect how we process real numbers?

Dominant language: C#
Stars: 832
Forks: 79
Avg merge: 3h 11m
Merged PRs (30d): 357

Contributor guide

Open the contributing guide

First steps

Read the whole issue, then the project's contributing guide.
Comment on the issue to say you are picking it up — it saves two people doing the same work.
Fork the repository and make your change on a branch.
Open a pull request that references the issue number.

More from asc-community/AngouriMath

Solve answers an identity with the whole Newton grid: sqrt(x)^2 = x gives 200 numbers, x + 1 = x + 1 gives CC Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

asc-community/AngouriMath#1420 · 1 comment · Opened Sep 18, 2026
Optimized Stringize/Latexize/ToSympy Open

Proposal

Difficulty 5/5 Over a week Newbie friendliness 35/100

asc-community/AngouriMath#1415 · 1 comment · Opened Sep 18, 2026
A Guided Journey Into the World of Abstract Mathematics and the Writing of Proofs Open

Agentic goal

Difficulty 5/5 Over a week Newbie friendliness 25/100

asc-community/AngouriMath#1409 · 11 comments · Opened Sep 18, 2026
A fractional power of an even power of a trigonometric function is read as a power of the function, not of its modulus: (sin^2)^(3/2) integrated as sin^3, and Simplify makes u^2 of (u^2)^(3/2)/u Open

Bug

Difficulty 4/5 3-5 days Newbie friendliness 55/100

asc-community/AngouriMath#1387 · 2 comments · Opened Sep 16, 2026
sin(a + b (c + d x)^(1/3))/(c e + d e x)^(1/3) integrates to 0: the two-linear-radicals rule takes two proportional linears and their determinant is zero Open

Bug

Difficulty 4/5 3-5 days Newbie friendliness 65/100

asc-community/AngouriMath#1386 · Opened Sep 16, 2026

All issues in asc-community/AngouriMath

Similar issues

Tsavorite.test fails to compile on main: TestBase.cs references Garnet.test.TestUtils, which is not linked into Tsavorite.test.csproj Open

Difficulty 2/5 1-3 hours Newbie friendliness 86/100

microsoft/garnet#2161 · 2 comments · Opened Sep 20, 2026
v11 update: Validation attributes are no longer experimental Open

:watch: Not Triaged 11.0 fundamentals/subsvc

Difficulty 2/5 1-3 hours Newbie friendliness 92/100

dotnet/AspNetCore.Docs#37699 · Opened Sep 20, 2026
SE 5.3.0 beta 7: In Settings Video player download buttons aren't together Open

Difficulty 2/5 1-3 hours Newbie friendliness 72/100

SubtitleEdit/subtitleedit#15108 · 1 comment · Opened Sep 20, 2026
Kubernetes get-started create-component.md: Go and C# silently default isMinikube instead of requiring it, unlike TS/Python/Java/HCL Open

area/docs-content Bug pulumi/docs

Difficulty 1/5 1-3 hours Newbie friendliness 94/100

pulumi/docs#21762 · Opened Sep 20, 2026
[ci-scan-feedback] Read ci-fix head.ref via list/get, not search, to close dedup gap Open

agentic-workflows untriaged

Difficulty 2/5 1-3 hours Newbie friendliness 76/100

dotnet/runtime#134305 · Opened Sep 20, 2026

A short digest of beginner-friendly GitHub issues.