RingModule

org.appliedtopology.tda4j.algebra.RingModule
trait RingModule

Specifies what it means for the type Self to be a module (or vector space) over the [Numeric] (ie ring-like) type R.

A minimal implementation of this trait will define zero, plus, scale, and at least one of minus and negate

Type parameters

R

Type of the ring coefficients

Self

Type of the module elements.

Attributes

Experimental
true
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

type R
type Self

Value members

Abstract methods

def plus(x: Self, y: Self): Self
def scale(x: R, y: Self): Self
def zero: Self

Concrete methods

def isZero(t: Self): Boolean
def minus(x: Self, y: Self): Self
def negate(x: Self): Self

Extensions

Extensions

extension (r: R)
infix def scale(t: Self): Self
def |*|(t: Self): Self
def ⊠(t: Self): Self
extension (t: Self)
def +(rhs: Self): Self
def -(rhs: Self): Self
def <*(rhs: R): Self
infix def mul(rhs: R): Self
def unary_-: Self