spire
spire copied to clipboard
typelevel
Powerful new number types and numeric abstractions for Scala.
The status of `Jet` is unclear. There are conflicting indications that: 1. `Jet` is intended to be a substitute of a real number in computations, so that derivatives can be...
as per Scala 2.12 release notes: > We recommend enabling inlining only in production builds, as sbt’s incremental compilation does not track dependencies introduced by inlining.
Just saw this from Travis today: ``` roots of polynomial evaluate to 0 *** FAILED *** (356 milliseconds) [info] RuntimeException was thrown during property evaluation. [info] Message: invalid isolated root...
I'd like to formalize the notion of complex conjugation in Spire. Most of the things below are already implemented in the `Complex` data type. I propose to implement some parts...
Scala 2.11, spire 0.13.0 ```scala import spire.implicits._ object SpireTest { 1 max 2 // Error } ``` Error is as follows: `type mismatch; found : Int(1) required: ?{def max(x$1: ?...
Spire could have a type class implementing the [vector cross product](http://en.wikipedia.org/wiki/Cross_product), which I would call something like EuclideanVectorSpace or EuclideanCoordinateSpace. This is an operation that is only suitable for 3...
As @denisrosset makes our type classes more and more sane, we're also starting to find some instances are no longer lawful. This issue is specifically covering `Numeric[Complex[_]]` and, really, the...
Consistency with cats: group should be named commutative (abbr. `C`) instead of abelian (abbr. `Ab`)
... this would remove one source of confusion. The naming differences will have to be documented as well (`cats` is more verbose, whereas `spire` abbreviates more).
... however, the algorithms are quite involved.
i.e. if we allow for non-commutative rings, we need to check that all operations use left or right multiplication in a consistent way. As I don't know concrete examples of...