Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

A definite integral through a special function's limit is NaN where it has a value

Đã đóng
  • Có gì không ổn?
#2,081 1 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

Một pull request liên quan đã được merge.

  • #2101 của @Rafael-SOWNet — đã merge

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
42/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
csharp
Lĩnh vực
backend-api-design

Hướng nghiên cứu

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.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

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, polygamma or gamma(a, z) overrides ComputeLimitDivideEtImpera, 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, as x ln(x) is. AtTheBound takes the limit there, and where it is not decided it returns the undefined value, so the integral is NaN, 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

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura

Ngôn ngữ chính
C#
Star
831
Fork
79
Merge trung bình
1 giờ 24 phút
Pull request đã merge (30 ngày)
540

Chuẩn bị môi trường

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của ASC-Community/AngouriMath

Tất cả issue của ASC-Community/AngouriMath

Issue tương tự

Thêm issue về C#

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.