Where communities thrive

Join over 1.5M+ people
Join over 100K+ communities
Free without limits
Create your own community

Explore more communities

typelevel/spire

Powerful new number types and numeric abstractions for Scala.

People

Repo info

Activity

15:44

kschwarz1116 commented #695
15:42

kschwarz1116 commented #699
15:35

armanbilge closed #665
15:34

armanbilge commented #665
15:29

kschwarz1116 commented #665
15:21

kschwarz1116 commented #660
15:18

armanbilge commented #840
15:18

armanbilge closed #1051
15:18

armanbilge commented #1051
15:15

armanbilge closed #690
15:15

armanbilge edited #690
15:13

kschwarz1116 commented #690
15:12

kschwarz1116 commented #1051
14:00

armanbilge closed #315
14:00

armanbilge commented #315
13:56

armanbilge commented #636
13:56

armanbilge closed #636
13:56

armanbilge commented #636
13:54

kschwarz1116 commented #636
13:50

armanbilge closed #712

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

https://www.washingtonpost.com/news/wonk/wp/2017/06/28/the-i-before-e-except-after-c-rule-is-a-giant-lie/

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

Soren

@srnb_gitlab

pi is defined on line 314: https://github.com/typelevel/spire/blob/master/core/src/main/scala/spire/math/Real.scala#L314

Denis Rosset

@denisrosset

Mmh, I have no idea about the asymptotics of "Real". Maybe @non would know?

Soren

@srnb_gitlab

Is there a typeclass meant to capture things that should "overflow"/have periods?

I.e. something I could use to represent a type usable in a LCG

Soren

@srnb_gitlab

(It's probably obvious but my brain hasn't been working this week)

Denis Rosset

@denisrosset

A LCG would be built out of the ring of integers modulo n, I guess?

Soren

@srnb_gitlab

So I should just need a Ring then? @denisrosset

I mean technically an LCG is just a + and a * and two elements right?

Denis Rosset

@denisrosset

Just use BigInt? you're probably not looking at generalizing LCG beyond integers, right?

Soren

@srnb_gitlab

hmm

Yeah, I guess so

Time to do more thinking. Seems like 128-bit numbers would be useful. Gonna look at how to implement them efficiently

Denis Rosset

@denisrosset

Good luck! a UInt128 type would be a nice addition to Spire

Mark de Jong

@Fristi

Is there a Enum type class like in Haskell http://learnyouahaskell.com/types-and-typeclasses ?

Chat via Matrix