Changelog of @hackage/aern2-real 0.2.16.1

Change log for aern2-real

  • current
  • v 0.2.16.1 2024-10-06
    • adapt to int / rat conversion with sample
  • v 0.2.15.1 2024-09-20
    • an implementation of continuity principles for coq-aern
  • v 0.2.15 2023-04-11
    • CanSelectCountable instance for CKleenean
  • v 0.2.14.1 2023-04-10
    • fix compilation errors
  • v 0.2.13 2023-04-07
    • unsafeApproximationExtension
  • v 0.2.12 2023-04-07
    • more instances for if-then-else with CKleenean
    • or_countable and and_countable for CKleenean
  • v 0.2.11 2022-08-25
    • left-first and/or for CKleeneans
  • v 0.2.10 2022-08-20
    • add to RealNumber: HasLimitsSameType, CanSelectCNBool, same compare types
    • SelectType CKleenean = CN Bool
  • v 0.2.9.2 2022-08-19
    • add to RealNumber: HasIfThenElse for its SelectType
  • v 0.2.9 2022-07-13 (update in aern2-mp)
  • v 0.2.8 2021-08-04
    • compatibility with ghc 9.0.1
  • v 0.2.7 2021-06-02
    • add RealNumber type class
  • v 0.2.6 2021-05-29
    • adapt to new ppow operations
  • v 0.2.5 2021-05-27
    • CanSelect moved to aern2-mp
  • v 0.2.4 2021-05-26
    • overhaul README and examples
    • stop "very inaccurate" errors breaking ? (bits n) queries
    • optimisation: ? (bits n) queries start from precision n
    • add tests for accuracy queries, limit and select
    • fix div by 0 during low-accuracy integer powers
  • v 0.2.1 2021-05-18
    • add conversion from WithAnyPrec
  • v 0.2.0 2021-05-17
    • moving Arrow-based functionality to package aern2-net
    • replacing Arrow-based sequences by list-based sequences
    • switch to new simplified collect-errors, mixed-types-num 0.5.0
      • got rid of EnsureCE etc.
      • not introducing CN wrapper unless at least one parameter is already CN
  • v 0.1.2 2019-03-19
    • adapts to mixed-types-num 0.3.2 (new divI, mod)
  • v 0.1.1.0 2017-12-06
    • disable aern2-generate-netlog-elm for now
  • v 0.1.0.3 2017-12-06
    • remove further upper bounds
  • v 0.1.0.2 2017-11-14
    • remove most upper bounds, building with ghc 8.2
  • v 0.1.0.1 2017-09-12
    • first release on Hackage
    • fast convergent sequences indexed by AccuracySG
    • arrow-based networks of nodes communicating via query-answer protocols
    • networks executable with cached and parallel strategies
    • network execution can be visualised in browser using an Elm frontend