Skip to content

certsf v0.3.0

Latest

Choose a tag to compare

@yutianlee yutianlee released this 12 May 05:30
· 18 commits to main since this release
a84fab8

certsf v0.3.0 is the first non-prerelease release of the 0.3 line. It packages the already staged and verified alpha.1 through alpha.5 scope.

Scope:

  • Keeps the 0.2 public wrapper surface.
  • Adds explicit custom certified positive-real methods for existing wrappers only:
    • loggamma(method="stirling")
    • loggamma(method="stirling_shifted")
    • loggamma(method="certified_auto")
    • gamma(method="stirling_exp")
    • rgamma(method="stirling_recip")
  • Custom methods are explicit only and target finite real positive inputs in the documented domains.
  • Default certified loggamma, gamma, and rgamma remain direct Arb.
  • method=None and method="auto" remain unchanged.
  • Parabolic-cylinder wrappers remain experimental_formula.

Certification boundaries:

  • No complete package-wide certification claim.
  • No automatic custom-method dispatch.
  • No complex Stirling certification.
  • No reflection formula certification.
  • No near-pole certification.
  • No gamma-ratio or beta asymptotics.
  • No promotion of parabolic-cylinder formulas beyond experimental_formula.

Release validation: