schrodinger.math

Members list

Concise view

Type members

Classlikes

object LogDouble

Attributes

Source:
LogDouble.scala
Graph
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
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Monus

Attributes

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

Types

opaque type LogDouble

Attributes

Source:
LogDouble.scala