schrodinger.math

Type members

Classlikes

object LogDouble
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

Companion:
object
object Monus
Companion:
class
final case class UInt128(hi: Long, lo: Long)
Companion:
object
object UInt128
Companion:
class

Types

opaque type LogDouble