Fix my mistakes in descriptions of core algebraic structures #204

Merged
CommanderTvis merged 1 commits from commandertvis/edit-descriptions-of-core-algebras into dev 2021-02-13 17:11:03 +03:00

View File

@ -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.
*/ */