A definite integral through a special function's limit is NaN where it has a value
维护者通常 1 天内回复
已经有一个关联 PR 被合并了。
- #2101 来自 @Rafael-SOWNet —— 已合并
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 42/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 活跃
- 技术栈
- csharp
调研方向
Start with the limit engine’s ComputeLimitDivideEtImpera handling for special functions and the AtTheBound behavior described in the issue. Reproduce the reported integrals involving erf, Si, and e^(x^3), then trace how an undecided bound limit affects the result. Done means undecided limits no longer turn these integrals into NaN, while the reported definite values remain obtainable.
由索引模型根据 Issue 内容生成。
描述
On 2.6.0 and on master b21f0138:
| answer | value | |
|---|---|---|
integral(ln(x)*erf(x), x, 0, 1) |
NaN |
-0.261348360021399, by quadrature |
integral(ln(x)*Si(x), x, 0, 1) |
NaN |
-0.246573634234758 |
limit(erf(x), x, 0) |
left as written | 0 |
Two causes.
- No special function has a limit. None of #1501's functions,
polygammaorgamma(a, z)overridesComputeLimitDivideEtImpera, so the limit engine decides nothing about any of them, even where the function is continuous and the limit is its value. - A bound whose limit is not decided gives NaN. The antiderivative of
ln(x) erf(x)is undefined at 0, asx ln(x)is.AtTheBoundtakes the limit there, and where it is not decided it returns the undefined value, so the integral isNaN, which says it does not exist. An undecided limit is not a claim that the integral does not exist, and the integral should be left as written.
The second is the one that answers wrongly. The first is what makes it reachable.
#2075's next rule reaches the same thing through the gamma function: integral(e^(x^3), x, 0, 1) is NaN there, where it is 1.34190441797742.
🤖 Generated with Claude Code
- 主要语言
- C#
- 星标
- 831
- 派生
- 79
- 平均合并
- 1 小时 24 分钟
- 30 天内合并 PR
- 540
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
ASC-Community/AngouriMath 的其他 Issue
-
Opinions wanted
难度 5/5 一周以上 新手友好度 25/100
ASC-Community/AngouriMath#2120 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 30/100
ASC-Community/AngouriMath#1807 · 3 条评论 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 25/100
ASC-Community/AngouriMath#1692 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 30/100
ASC-Community/AngouriMath#1690 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 25/100
ASC-Community/AngouriMath#1649 · 36 条评论 ·
维护者通常 1 天内回复
查看 ASC-Community/AngouriMath 的全部 Issue
相似的 Issue
-
is:bug is:FQNIssue
难度 2/5 1-3 小时 新手友好度 72/100
nunit/nunit3-vs-adapter#1527 ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 72/100
维护者通常 1 天内回复
-
bug effort:S P3
难度 2/5 1-3 小时 新手友好度 72/100
nightscout/nocturne#2840 ·
维护者通常 1 天内回复
-
track:release
难度 2/5 1-3 小时 新手友好度 80/100
-
[Bug] [Go] Ack returns nil when the server answers with a non-OK status可能已有人在做 @leizhiyuan 今天认领。 未关闭
难度 2/5 1-3 小时 新手友好度 84/100
apache/rocketmq-clients#1465 ·
维护者通常 2 天内回复