Module

scas.structure.Module
trait Module[T, R] extends AbelianGroup[T]

Attributes

Graph
Supertypes
trait AbelianGroup[T]
trait Structure[T]
trait Show[T]
trait Equiv[T]
trait Equiv[T]
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
class ArrayModule[R]
class Module[T, C, N]
trait AlgebraOverRing[T, R]
trait Polynomial[T, C, M]
trait StreamPolynomial[C, M]
class Polynomial[C, M]
trait PolynomialOverUFD[T, C, M]
trait PolynomialOverUFD[T, C, M]
trait PolynomialWithGB[T, C, N]
class PolynomialWithGB[C, N]
trait PolynomialOverFieldWithGB[T, C, N]
trait MultivariatePolynomial[T, C, M]
trait PolynomialWithSimpleGCD[T, C, M]
trait PolynomialWithSubresGCD[T, C, M]
trait PolynomialOverField[T, C, M]
trait PolynomialWithModInverse[T, C, M]
trait PolynomialOverFieldWithGB[T, C, N]
trait UnivariatePolynomial[T, C, M]
class UnivariatePolynomial[T, C, M]
trait PolynomialWithGB[T, C, N]
class PolynomialWithGB[C, N]
trait ArrayPolynomial[C, N]
class Polynomial[C, N]
trait GrowablePolynomial[T, C, M]
trait ListPolynomial[C, M]
class Polynomial[C, M]
trait ParallelMutablePolynomial[T, C, M]
class Polynomial[C, M]
trait ParallelPolynomial[T, C, M]
class Polynomial[C, M]
trait PolynomialOverField[T, C, M]
class PolynomialOverField[C, M]
trait PolynomialWithRepr[T, C, M]
class PolynomialWithSugar[T, C, M]
trait SolvablePolynomial[T, C, M]
class SolvablePolynomial[C, M]
class WeylAlgebra[C, M]
trait WeylAlgebra[T, C, M]
trait StreamPolynomial[C, M]
class Polynomial[C, M]
class Polynomial[C, M]
trait TreePolynomial[C, M]
class Polynomial[C, M]
trait TreeMutablePolynomial[C, M]
class Polynomial[C, M]
trait Algebra[T, R]
trait VectorSpace[T, R]
Show all

Members list

Value members

Inherited methods

def abs[U : Conversion[T]](x: U): T

Attributes

Inherited from:
AbelianGroup
def abs(x: T): T

Attributes

Inherited from:
AbelianGroup
def fenced(s: String): String

Attributes

Inherited from:
Structure
def random(numbits: Int)(using rnd: Random): T

Attributes

Inherited from:
Structure

Inherited and Abstract methods

def equiv(x: T, y: T): Boolean

Attributes

Inherited from:
Equiv
def toMathML: String

Attributes

Inherited from:
Structure
def zero: T

Attributes

Inherited from:
AbelianGroup

Givens

Givens

given ring: Ring[R]

Extensions

Extensions

extension (ring: Ring[R])
def pow(n: Int): Module[T, R]
extension (x: R)
def multiplyLeft(y: T): T
extension (x: T)
def multiplyRight(y: R): T
extension [U : Conversion[R]](x: U)
def *%(y: T): T
extension (x: T)
def %*[U : Conversion[R]](y: U): T

Inherited extensions

extension (x: T)
inline def <>[U : Conversion[T]](y: U): Boolean

Attributes

Inherited from:
Equiv
inline def ><[U : Conversion[T]](y: U): Boolean

Attributes

Inherited from:
Equiv

Inherited and Abstract extensions

extension (x: T)
def toMathML: String

Attributes

Inherited from:
Show
extension (x: T)
inline def +[U : Conversion[T]](y: U): T

Attributes

Inherited from:
AbelianGroup
inline def -[U : Conversion[T]](y: U): T

Attributes

Inherited from:
AbelianGroup
def add(y: T): T

Attributes

Inherited from:
AbelianGroup
def isZero: Boolean

Attributes

Inherited from:
AbelianGroup
def signum: Int

Attributes

Inherited from:
AbelianGroup
def subtract(y: T): T

Attributes

Inherited from:
AbelianGroup
def unary_-: T

Attributes

Inherited from:
AbelianGroup
extension (x: T)
def show: String

Attributes

Inherited from:
Structure
def toCode(level: Level): String

Attributes

Inherited from:
Structure

Exports

Inherited defined exports

final val Level: Level
Exported from prettyprint

Attributes

Inherited from:
Structure
final type Level = Level
Exported from prettyprint

Attributes

Inherited from:
Structure