algebra-simple-0.1: An alternative mathematical interface to Num.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Numeric.Algebra.Space.SemivectorSpace

Description

Provides the SemivectorSpace typeclass.

Since: 0.1

Synopsis

Documentation

class (MSpace v k, Semifield k, Semimodule v k) => SemivectorSpace v k | v -> k Source #

Defines a semivector space over a semifield. This generalizes the notion of a VectorSpace \(V\) over a Field \(K\) such that:

Since: 0.1

Instances

Instances details
Semifield k => SemivectorSpace (k, k) k Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Space.SemivectorSpace

Semifield k => SemivectorSpace (k, k, k) k Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Space.SemivectorSpace

Semifield k => SemivectorSpace (k, k, k, k) k Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Space.SemivectorSpace

Semifield k => SemivectorSpace (k, k, k, k, k) k Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Space.SemivectorSpace

Semifield k => SemivectorSpace (k, k, k, k, k, k) k Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Space.SemivectorSpace

Semifield k => SemivectorSpace (k, k, k, k, k, k, k) k Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Space.SemivectorSpace

Semifield k => SemivectorSpace (k, k, k, k, k, k, k, k) k Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Space.SemivectorSpace

Semifield k => SemivectorSpace (k, k, k, k, k, k, k, k, k) k Source #

Since: 0.1

Instance details

Defined in Numeric.Algebra.Space.SemivectorSpace