AMOS module interfaces for complex-argument Bessel functions with noninteger nonnegative order, including modified Bessel functions. The checked main compares J_0.3 and I_0.3 at 1+0.5i with independent convergent power series and K_0.5 with its closed form. Other argument regions, orders, scaling modes and Airy/Hankel routines are not validated. The upstream README warns of possible bugs.
Package dependencies
Resolved GitHub repositories used by the verified playground build, combining direct and indirect dependencies. This list does not describe internal module dependencies or native system libraries.
Required by this build
No additional GitHub package dependencies were recorded for this verified build.
Build record verified 2026-10-28.
Used by (0 selected packages)
No other selected build records this repository as a dependency. This is not a measure of usage outside the catalog.
Reviewed procedures
These mappings have pinned source evidence. A checked package example may exercise only some of them; source review is not a numerical benchmark.
AMOS module interfaces for complex-argument Bessel functions with noninteger nonnegative order, including modified Bessel functions. The checked main compares J_0.3 and I_0.3 at 1+0.5i with independent convergent power series and K_0.5 with its closed form. Other argument regions, orders, scaling modes and Airy/Hankel routines are not validated. The upstream README warns of possible bugs. Dedicated C10 driver checks 39 complex values: J/I sequences of length two for three noninteger starting orders at three moderate right-half-plane arguments, using independent convergent power series with intrinsic Gamma, and K(1/2) using its closed form. All status/underflow flags must be zero. Scaled mode, branch-cut behavior, extreme arguments and the full library are not verified. Pinned failure: J_0.3(2-0.75i) has scaled error about 0.556 against both the independent series and an 80-digit mpmath reference. Failing source and output are retained under docs/gams-candidates/amosf90. The checked driver uses upper-right-quadrant arguments and excludes this case; no source patch or tolerance relaxation is applied.