Fix my mistakes in descriptions of core algebraic structures #204
@ -95,8 +95,8 @@ public interface Algebra<T> {
|
|||||||
public inline operator fun <A : Algebra<*>, R> A.invoke(block: A.() -> R): R = run(block)
|
public inline operator fun <A : Algebra<*>, R> A.invoke(block: A.() -> R): R = run(block)
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Represents "semispace", i.e. algebraic structure with associative binary operation called "addition" as well as
|
* Represents linear space without neutral element, i.e. algebraic structure with associative, binary operation [add]
|
||||||
* multiplication by scalars.
|
* and scalar multiplication [multiply].
|
||||||
*
|
*
|
||||||
* @param T the type of element of this semispace.
|
* @param T the type of element of this semispace.
|
||||||
*/
|
*/
|
||||||
@ -208,10 +208,10 @@ public interface SpaceOperations<T> : Algebra<T> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Represents linear space, i.e. algebraic structure with associative binary operation called "addition" and its neutral
|
* Represents linear space with neutral element, i.e. algebraic structure with associative, binary operation [add] and
|
||||||
* element as well as multiplication by scalars.
|
* scalar multiplication [multiply].
|
||||||
*
|
*
|
||||||
* @param T the type of element of this group.
|
* @param T the type of element of this semispace.
|
||||||
*/
|
*/
|
||||||
public interface Space<T> : SpaceOperations<T> {
|
public interface Space<T> : SpaceOperations<T> {
|
||||||
/**
|
/**
|
||||||
@ -221,8 +221,8 @@ public interface Space<T> : SpaceOperations<T> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Represents semiring, i.e. algebraic structure with two associative binary operations called "addition" and
|
* Represents rng, i.e. algebraic structure with associative, binary, commutative operation [add] and associative,
|
||||||
* "multiplication".
|
* operation [multiply] distributive over [add].
|
||||||
*
|
*
|
||||||
* @param T the type of element of this semiring.
|
* @param T the type of element of this semiring.
|
||||||
*/
|
*/
|
||||||
@ -270,8 +270,8 @@ public interface Ring<T> : Space<T>, RingOperations<T> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Represents semifield, i.e. algebraic structure with three operations: associative "addition" and "multiplication",
|
* Represents field without identity elements, i.e. algebraic structure with associative, binary, commutative operations
|
||||||
* and "division".
|
* [add] and [multiply]; binary operation [divide] as multiplication of left operand by reciprocal of right one.
|
||||||
*
|
*
|
||||||
* @param T the type of element of this semifield.
|
* @param T the type of element of this semifield.
|
||||||
*/
|
*/
|
||||||
|
Loading…
Reference in New Issue
Block a user