Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Oct 20 06:21

    larsrh on master

    Update sbt to 1.4.1 Merge pull request #940 from sc… (compare)

  • Oct 20 06:21
    larsrh closed #940
  • Oct 20 01:36
    scala-steward opened #940
  • Oct 15 17:02

    larsrh on master

    Update sbt-scalajs, scalajs-com… Merge pull request #939 from sc… (compare)

  • Oct 15 17:02
    larsrh closed #939
  • Oct 15 11:26
    scala-steward opened #939
  • Oct 13 19:14

    larsrh on v0.17.0

    (compare)

  • Oct 13 19:14

    larsrh on master

    Setting version to 0.17.0 Setting version to 0.18.0-SNAPS… (compare)

  • Oct 06 06:34

    larsrh on master

    Update sbt to 1.4.0 Merge pull request #938 from sc… (compare)

  • Oct 06 06:34
    larsrh closed #938
  • Oct 04 23:13
    scala-steward opened #938
  • Sep 17 20:12
    larsrh closed #921
  • Sep 17 20:12

    larsrh on master

    Update scala-collection-compat … Merge pull request #937 from sc… (compare)

  • Sep 17 20:12
    larsrh closed #937
  • Sep 16 21:12
    scala-steward opened #937
  • Sep 16 20:06
    larsrh commented #802
  • Sep 16 20:06

    larsrh on master

    Replace Heyting by DeMorgan for… Use laws from typelevel/algebra… Merge pull request #802 from vq… (compare)

  • Sep 16 20:06
    larsrh closed #802
  • Sep 16 19:45
    larsrh opened #936
  • Sep 16 19:43
    larsrh commented #921
Denis Rosset
@denisrosset
A field is a division ring, with the condition on top that multiplication is commutative
For example, the quaternions form a division ring, but not a field
For your second question
For your Complicate trait, I can think of two possible structures
One of them, given a type T representing either a subfield of the reals, or an approximation of the reals, returns the corresponding complex type, and provides the imaginary unit
The other one describes a complex structure on top of a real vector space: https://en.wikipedia.org/wiki/Linear_complex_structure
(it's basically a morphism that describes the multiplication by the imaginary unit)
Paul Snively
@paul-snively
@srnb_gitlab: Is Complex not what you want?
Soren
@srnb_gitlab
@paul-snively I want a typeclass. Complex has an instance of that typeclass
@denisrosset Thank you, I'll check division ring out and adjust my code accordingly
Paul Snively
@paul-snively
@srnb_gitlab: Ah, I see what you mean.
Denis Rosset
@denisrosset
@srnb_gitlab Careful if you widen your type to accept noncommutative typeclasses
If you don't test your code with things that actually are noncommutative, bad things happen
I cleaned up some stuff in Spire due to that
You can use Quaternion for tests though
Soren
@srnb_gitlab
@denisrosset Well, I don't know what operations "require" commutative multiplication, persay
I should probably email my past LinAlg prof, I know that he's a software dev (but I'm not sure if he does fp or theory or anything related to that)
Piotr Paradziński
@lemastero
Hello, looks like spire for scalajs is released for 0.6 but there is no artifacts for scalajs 1.0 and 1.1. Any chance to publish for latest scalajs?
Oliver Winks
@PaperPlaneSoftware
Hi guys
is there any support for vectors in Spire?
I'm making a multi-agent simulation and need something to do basic 3d maths stuff
Denis Rosset
@denisrosset
Not really; but you can define your own Vector3D[A] class, and make instances of VectorSpace[Vector3D[A], A] available where A is a field
Then you get the property tests of VectorSpace for free
@lemastero I'm waiting to get publish rights in the typelevel repo
Oliver Winks
@PaperPlaneSoftware
@denisrosset thanks :thumbsup:
@denisrosset I saw some discussion of a cross product implementation and came across Zainab's PR (looked promising) any idea what happened to that work?
Soren
@srnb_gitlab
Is there a good way to send Reals over the wire?
Soren
@srnb_gitlab
Spire Matrices are mutable?
Luka Jacobowitz
@LukaJCB
there’s circe-spire, but I think it might be missing instances for Real
Valeriy Avanesov
@akopich
Hi. Does spire define a type for positive integers? Looks like Naturals include zero.
Feels like it would be extremely useful in combination with non-empty collections.
Paul Snively
@paul-snively
Hi everyone! I'm looking at Erik Osheim's wonderful https://www.youtube.com/watch?v=O78hnJuzQwA and wondering whether that elist library is out there somewhere I should be aware of?
I'm asking here because I figure Erik is likely to see it, sooner or later, but if anyone knows a better way to contact him, I'd appreciate knowing about it.
Carlos Quiroz
@cquiroz
Hello, I’m thinking to use UInt but I noted there is no ConvertableFrom nor ConvertableTo Uint unlike, e.g. Natural
Is there a reason for that?
Denis Rosset
@denisrosset
@akopich Why not use BigInt with https://github.com/fthomas/refined ? Natural is kind of a weird type
@cquiroz The whole ConvertableFrom, ConvertableTo business is not necessarily very principled. That said, using UInt with those typeclasses is likely to lead to boxing if the JIT is not clever enough.
Carlos Quiroz
@cquiroz
Thanks @denisrosset I have an entity that only takes positive numbers, I’ll take a look at refined
Valeriy Avanesov
@akopich
@denisrosset that would be an option, but I want to have at least some basic arithmetics on that type. E.g. positive plus positive should be also positive. Refined types don't give that.
Denis Rosset
@denisrosset
Why not a wrapper that only defines the + operation? Also, are you planning to have collections whose size is bigger than 2^63? You could use a wrapper around a Long then
I'd be wary of introducing a dependency on Spire if you don't have further need for the library
Valeriy Avanesov
@akopich

Why not a wrapper...

that's how i've implemented it eventually.

In fact, I wrapped Int.
Thanks for your input.
Soren
@srnb_gitlab
Does Spire have an equivalent in the Haskell world?
Paul Snively
@paul-snively
There are various numerical libraries for Haskell, but I don’t know of a kind of single umbrella that’s equivalent.
Soren
@srnb_gitlab
What are the uhh... Big O for Real#ceil, Real#floor, Real#log2?
Bro I hate this "i before e" rule because "ceiling" always feels like it shouldn't count even though it is after C but you have words like "ancient"
Martijn Hoekstra
@martijnhoekstra
there is no "i before e" rule
Soren
@srnb_gitlab
Well "ceiling" is the really hard one because it's like "see-əl-ing" so the first thought that comes to mind is "cieling" but that's a misspelling