Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

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

Fermée
  • Quelque chose ne va pas ?
#2,081 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Les mainteneurs répondent en général sous 1 jour

Une pull request liée a déjà été fusionnée.

  • #2101 par @Rafael-SOWNet — fusionnée

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
42/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
Active
Stack technique
csharp
Domaine
backend-api-design

Piste de recherche

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.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

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

Langage dominant
C#
Étoiles
831
Forks
79
Merge moyen
1 h 25 min
PR mergées (30 j)
533

Préparer son environnement

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de ASC-Community/AngouriMath

Toutes les issues de ASC-Community/AngouriMath

Issues similaires

Plus d'issues C#

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.