half-space-0.1.1.0: Additive monoids generalising vector spaces

Index

addHVsData.Monoid.Additive
AdditiveMonoidData.Monoid.Additive
fromFullSubspaceData.Monoid.Additive
fromNegativeHalfData.Monoid.Additive
fromPositiveHalfData.Monoid.Additive
FullSubspaceData.Monoid.Additive
fullSubspaceIsVectorSpaceData.Monoid.Additive
HalfSpaceData.Monoid.Additive
MirrorJoinData.Monoid.Additive
mirrorJoinIsVectorSpaceData.Monoid.Additive
projectToFullSubspaceData.Monoid.Additive
RayData.Monoid.Additive
rayIsHalfSpaceData.Monoid.Additive
scaleNonNegData.Monoid.Additive
zeroHVData.Monoid.Additive