Partial order implementation.
Corrections to partial order implementation:
- removed optional comparison operators (they are not used in the mathematical literature, and it is not necessary to burden Spire with additional operators),
- renomed doubleCompare to partialCompare,
- added laws for PartialOrder and Order.
Interval partial order.
Merge commit 'a18c5916341c2a5a7f9b1ad373566f44d16bd00b'
pmin, pmax syntax.
Scala wrappers ? please have a look
Merge commit 'ad44464ef50b456037e42b92b19889ad88c5006a'
Added authorship of PartialOrder.
Corrected typo in PartialOrder syntax test.
Implementation PartialOrder[Interval[A]], with semantics I < J if I is "completely on the left" of J.
Corrected bug introduced in SyntaxTest for Order.
Implemented pmin, pmax for sequences, finding the subset of minimal/maximal elements.
- Interval geometric partial order (I < J means "is I completely on the left of J ?")
- Interval subset partial order (I <= J means "is I a subset of J ?")
- Set partial order (S <= T means "is S a subset of T?")
and test cases.
Merge commit '356ce2cae66dd052aa85fedfe2eca5c8e149e909'
Int specialization of group actions. Without, it is impossible to have a group element acting on unboxed integers - this is required for permutation actions.
Corrected bug in GroupAction operator syntax.
Merge pull request #274 from denisrosset/topic/groupaction-bug

Corrected bug in GroupAction operator syntax.
Merge pull request #273 from denisrosset/topic/groupaction-int

Int specialization of group actions
Add MultiplicativeAbGroup[Sign] and fix id bug.

The id of Sign was Sign.Zero, when it should've been Sign.Positive.
Loosen GroupAction#scalar to only be Semigroup.

Group was rather restrictive, given the laws.