This commit adds laws for NRoot instances. However, due to
issues with approximation, we don't c...

This commit adds some extra laws that do basic checking
to make sure that IsReal[A] is implement...

With this commit all type class instances can be imported with:

import algebra.std.all._

T...

Based on Oscar's comments, hopefully this will be a bit clearer.

This commit does a number of small things:

1. Remove commented line from build.sbt
2. Replace...

This commit does a few things:

1. Restores clobbered project/build.scala file.
2. Add ?-prefi...

This commit tries to start writing some documentation around
how the algebraic structures work a...

Previously, I had a confused understanding of how a
join-semilattice should order elements. Osca...

This commit creates three sub-projects:

- core: builds algebra.jar; contains type classes (and...

This commit introduces generic semilattices (and bounded semilattices).
It also adds some useful...

I also tried to provide some initial documentation for lattices,
but I'm sure the text can be im...

Fix broken identity in Sign, and add multiplicative monoid

Drop support for cross-building on 2.9.3

Update README.md

Since we started this project, Spire added support for boolean algebras,
heyting algebras, and l...

This means we can use universal traits for type classes.
It also means we can use some newer sca...

Sign's identity is Positive, not Zero. Also, in addition to just
providing a generic monoid it's...

These were added during the porting effort for Spire.
Mostly they end up standardizing what was ...

This commit contains a lot of work. Quick summary:

1. Remove 'extends Any' for 2.9.3 compatibi...

There have been some changes in Spire since I first imported these
types. I think the changes we...

This commit does several different things:

1. Remove the vector space type classes
2. Have ad...

This commit removes lcm() and gcd() from EuclideanRing, and adds
default implementations of quot...

This helps show how instances might be defined, and ensures that
the library is relatively flexi...

This seems like a good compromise.

Still to do:

1. Consider removing some additional files
2. Break things out into sub-packages...

1. Renaming C/Ab -> Commutative
2. Adding convenience methods to companion objects
3. Removing T...

Fix typo in MappedEq