EuclideanKategory3Scope

data class EuclideanKategory3Scope<N, A : Ring<N>, E : EuclideanKategory3<N>>(val numberRing: A, val numberOrder: Order<N>, val euclideanKategory: E)(source)

Constructors

Link copied to clipboard
constructor(numberRing: A, numberOrder: Order<N>, euclideanKategory: E)

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
inline operator fun <N, A : Ring<N>, E : EuclideanKategory3<N>, R> EuclideanKategory3Scope<N, A, E>.invoke(block: (A, E) -> R): R