These are chat archives for non/algebra

23rd
Apr 2016
Kai(luo) Wang
@kailuowang
Apr 23 2016 00:19
@non so, do you want to cut the release and then I can update cats with it? Looks like there are some breaking change.
Adelbert Chang
@adelbertc
Apr 23 2016 00:28
@kailuowang there will also be some tuple instances we can remove in a couple places. i know we have something like cats.laws.discipline.eq or something
Kai(luo) Wang
@kailuowang
Apr 23 2016 00:46

noticed that in algebra.ring there is doc reference to classes in algebra.lattice, e.g. https://github.com/non/algebra/blob/master/ring/src/main/scala/algebra/ring/BoolRng.scala#L9-L10
this prevents doc gen from being able to create link since the depenency is the other way around (lattice -> ring) , here is the error

[error] /projects/algebra/ring/src/main/scala/algebra/ring/BoolRng.scala:4: Could not find any member to link for "algebra.lattice.GenBool".
[error] /**
[error] ^

Is there any way to fix this other than removing the auto link?

Adelbert Chang
@adelbertc
Apr 23 2016 00:50
@kailuowang yeah i ran into that too when trying to bump ScalaCheck
you can see a few places where i ahd to modify the scaladoc https://github.com/non/algebra/pull/144/files
Kai(luo) Wang
@kailuowang
Apr 23 2016 00:52
non/algebra#149 created
Kai(luo) Wang
@kailuowang
Apr 23 2016 01:18
Thanks @non for merging the doc ref fix PR. @adelbertc I removed the Eq instance for Tuple2 and Tuple3 in cats, everything builds. I am ready to submit the PR to cats as soon as algebra releases.
Erik Osheim
@non
Apr 23 2016 01:52
@kailuowang thanks for the PR. i'll ping you here once release is out
i'm on a train with bad internet so it might not be until late tonight or tomorrow morning
Adelbert Chang
@adelbertc
Apr 23 2016 07:18
general math question, just to make sure im not crazy
for an arbitrary equivalence relation RR on a set XX, you can construct another equivalence relation by taking exponentials of XnX^{n} where the equivalence relation is defined position-wise right
like R2((a,b),(c,d))R^{2}((a, b), (c, d)) if R(a,c)R(a, c) and R(b,d)R(b, d)
Adelbert Chang
@adelbertc
Apr 23 2016 07:36
nevermind i convinced myself :D