schrodinger.math

Members list

Type members

Classlikes

trait CommutativeLogarithmic[A, L] extends Logarithmic[A, L]

Attributes

Source
Logarithmic.scala
Supertypes
trait Logarithmic[A, L]
class Object
trait Matchable
class Any
Known subtypes
object LogDouble

Attributes

Source
LogDouble.scala
Supertypes
class Object
trait Matchable
class Any
Self type
LogDouble.type
trait Logarithmic[A, L]

Attributes

Companion
object
Source
Logarithmic.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Logarithmic

Attributes

Companion
trait
Source
Logarithmic.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait Monus[A]

Amer, K. Equationally complete classes of commutative monoids with monus. Algebra Universalis 18, 129–131 (1984). https://doi.org/10.1007/BF01182254

Amer, K. Equationally complete classes of commutative monoids with monus. Algebra Universalis 18, 129–131 (1984). https://doi.org/10.1007/BF01182254

Attributes

Companion
object
Source
Monus.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Monus

Attributes

Companion
trait
Source
Monus.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Monus.type

Types

opaque type LogDouble

Attributes

Source
LogDouble.scala