root
API
Generated with
root/scas/scas.polynomial/scas.polynomial.tree/WeylAlgebra

WeylAlgebra

scas.polynomial.tree.WeylAlgebra
class WeylAlgebra[C, M] extends SolvablePolynomial[C, M], WeylAlgebra[Element[C, M], C, M]

Attributes

Graph
Supertypes
trait WeylAlgebra[Element[C, M], C, M]
class SolvablePolynomial[C, M]
trait Conv[Element[C, M]]
trait Conv[Element[C, M]]
trait Conv[Element[C, M]]
trait Conv[Element[C, M]]
trait Conv[Element[C, M]]
trait SolvablePolynomial[Element[C, M], C, M]
trait TreePolynomial[C, M]
trait Polynomial[Element[C, M], C, M]
trait AlgebraOverRing[Element[C, M], C]
trait Module[Element[C, M], C]
trait Ring[Element[C, M]]
trait Monoid[Element[C, M]]
trait SemiGroup[Element[C, M]]
trait AbelianGroup[Element[C, M]]
trait Structure[Element[C, M]]
trait Show[Element[C, M]]
trait Equiv[Element[C, M]]
trait Equiv[Element[C, M]]
trait Serializable
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited classlikes

case class Relation(e: SolvablePolynomial.this.M, f: SolvablePolynomial.this.M, p: SolvablePolynomial.this.T)

Attributes

Inherited from:
SolvablePolynomial
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Relation

Attributes

Inherited from:
SolvablePolynomial
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any

Inherited types

type Key = (Int, Int)

Attributes

Inherited from:
SolvablePolynomial

Value members

Inherited methods

def abs[U : Conversion[Element[C, M]]](x: U): Element[C, M]

Attributes

Inherited from:
AbelianGroup
def abs(x: Element[C, M]): Element[C, M]

Attributes

Inherited from:
AbelianGroup
def apply(s: (M, C)*): Element[C, M]

Attributes

Inherited from:
TreePolynomial
def apply(m: M, c: C): Element[C, M]

Attributes

Inherited from:
Polynomial
def apply(value: M): Element[C, M]

Attributes

Inherited from:
Polynomial
def apply(value: C): Element[C, M]

Attributes

Inherited from:
Polynomial
def characteristic: BigInteger

Attributes

Inherited from:
Polynomial
def equiv(x: (M, C), y: (M, C)): Boolean

Attributes

Inherited from:
Polynomial
def equiv(x: Element[C, M], y: Element[C, M]): Boolean

Attributes

Inherited from:
Polynomial
def factorOf(x: Relation, y: Relation): Boolean

Attributes

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

Attributes

Inherited from:
Structure
def fromInt(n: BigInteger): Element[C, M]

Attributes

Inherited from:
Polynomial
def fromInt[U : Conversion[BigInteger]](x: U): Element[C, M]

Attributes

Inherited from:
Ring
def generator(n: Int): Element[C, M]

Attributes

Inherited from:
Polynomial
def generators: List[Element[C, M]]

Attributes

Inherited from:
Polynomial
def insert(list: List[Relation], relation: Relation): List[Relation]

Attributes

Inherited from:
SolvablePolynomial
def lookup(e: M, f: M): Relation

Attributes

Inherited from:
SolvablePolynomial
def makeKey(e: M, f: M): (Int, Int)

Attributes

Inherited from:
SolvablePolynomial
def modifiable(x: Element[C, M]): TreeMap[M, C]

Attributes

Inherited from:
TreePolynomial
def normalize(x: Element[C, M]): Element[C, M]

Attributes

Inherited from:
Polynomial
def random(numbits: Int)(using rnd: Random): Element[C, M]

Attributes

Inherited from:
Structure
def s_polynomial(x: Element[C, M], y: Element[C, M]): Element[C, M]

Attributes

Inherited from:
Polynomial
def same(s: Element[C, M]*): Unit

Attributes

Inherited from:
Polynomial
def select(list: List[Relation], relation: Relation): Relation

Attributes

Inherited from:
SolvablePolynomial
def toList: List[Relation]

Attributes

Inherited from:
SolvablePolynomial
override def toMathML: String

Attributes

Definition Classes
Inherited from:
SolvablePolynomial
def toMathML(fenced: Boolean): String

Attributes

Inherited from:
Polynomial
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Inherited from:
SolvablePolynomial
def unmodifiable(x: Element[C, M]): SortedMap[M, C]

Attributes

Inherited from:
TreePolynomial
def update(e: M, f: M, p: Element[C, M]): List[Relation]

Attributes

Inherited from:
SolvablePolynomial
def update(e: Element[C, M], f: Element[C, M], p: Element[C, M]): Unit

Attributes

Inherited from:
SolvablePolynomial

Inherited fields

val n: Int

Attributes

Inherited from:
WeylAlgebra
override val one: Element[C, M]

Attributes

Inherited from:
Polynomial
val table: TreeMap[Key, List[Relation]]

Attributes

Inherited from:
SolvablePolynomial
override val zero: Element[C, M]

Attributes

Inherited from:
Polynomial

Givens

Inherited givens

given bigInt2ring[U : Conversion[BigInteger]]: U => Element[C, M]

Attributes

Inherited from:
Ring
given coef2poly[D : Conversion[C]]: D => Element[C, M]

Attributes

Inherited from:
Polynomial
given instance: SolvablePolynomial[C, M]

Attributes

Inherited from:
SolvablePolynomial
override given pp: PowerProduct[M]

Attributes

Inherited from:
SolvablePolynomial
override given ring: Ring[C]

Attributes

Inherited from:
SolvablePolynomial

Extensions

Inherited extensions

extension (a: Element[C, M])
def \[U : Conversion[BigInteger]](b: U): Element[C, M]

Attributes

Inherited from:
Monoid
def \:[U : Conversion[BigInteger]](b: U): Element[C, M]

Attributes

Inherited from:
Monoid
def pow(b: BigInteger): Element[C, M]

Attributes

Inherited from:
Monoid
extension [U : Conversion[Element[C, M]]](a: U)
def \[V : Conversion[BigInteger]](b: V): Element[C, M]

Attributes

Inherited from:
Conv
extension [U : Conversion[Element[C, M]], V : Conversion[BigInteger]](a: U)
def \:(b: V): Element[C, M]

Attributes

Inherited from:
Conv
extension (c: C)
def multiplyLeft(x: Element[C, M]): Element[C, M]

Attributes

Inherited from:
Polynomial
extension (e: M)
def %*%(f: M): Element[C, M]

Attributes

Inherited from:
SolvablePolynomial
extension (ring: Polynomial[Element[C, M], C, M])
def apply(s: Element[C, M]*): SolvablePolynomial[Element[C, M], C, M]

Attributes

Inherited from:
SolvablePolynomial
extension (ring: Ring[C])
def apply(s: Element[C, M]*): Polynomial[Element[C, M], C, M]

Attributes

Inherited from:
Polynomial
extension (ring: Ring[C])
def pow(n: Int): Module[Element[C, M], C]

Attributes

Inherited from:
Polynomial
extension (x: Element[C, M])
inline def <>[U : Conversion[Element[C, M]]](y: U): Boolean

Attributes

Inherited from:
Equiv
inline def ><[U : Conversion[Element[C, M]]](y: U): Boolean

Attributes

Inherited from:
Equiv
extension (x: Element[C, M])
inline def *[U : Conversion[Element[C, M]]](y: U): Element[C, M]

Attributes

Inherited from:
SemiGroup
extension (x: Element[C, M])
inline def +[U : Conversion[Element[C, M]]](y: U): Element[C, M]

Attributes

Inherited from:
AbelianGroup
inline def -[U : Conversion[Element[C, M]]](y: U): Element[C, M]

Attributes

Inherited from:
AbelianGroup
def unary_-: Element[C, M]

Attributes

Inherited from:
AbelianGroup
extension (x: Element[C, M])
def show: String

Attributes

Inherited from:
Structure
extension [U : Conversion[C]](x: U)
def *%(y: Element[C, M]): Element[C, M]

Attributes

Inherited from:
Module
extension [U : Conversion[Element[C, M]]](x: U)
inline def <>[V : Conversion[Element[C, M]]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def ><[V : Conversion[Element[C, M]]](y: V): Boolean

Attributes

Inherited from:
Conv
extension [U : Conversion[Element[C, M]]](x: U)
inline def *[V : Conversion[Element[C, M]]](y: V): Element[C, M]

Attributes

Inherited from:
Conv
extension (x: Element[C, M])
def add(y: Element[C, M]): Element[C, M]

Attributes

Inherited from:
TreePolynomial
extension (x: Element[C, M])
def isOne: Boolean

Attributes

Inherited from:
Monoid
extension [U : Conversion[Element[C, M]]](x: U)
inline def +[V : Conversion[Element[C, M]]](y: V): Element[C, M]

Attributes

Inherited from:
Conv
inline def -[V : Conversion[Element[C, M]]](y: V): Element[C, M]

Attributes

Inherited from:
Conv
extension (x: Element[C, M])
override def coefficient(m: M): C

Attributes

Definition Classes
Inherited from:
TreePolynomial
def getOrElse(m: M, c: C): C

Attributes

Inherited from:
TreePolynomial
def head: (M, C)

Attributes

Inherited from:
TreePolynomial
override def isZero: Boolean

Attributes

Definition Classes
Inherited from:
TreePolynomial
override def iterator(m: M): Iterator[(M, C)]

Attributes

Definition Classes
Inherited from:
TreePolynomial
def iterator: Iterator[(M, C)]

Attributes

Inherited from:
TreePolynomial
def last: (M, C)

Attributes

Inherited from:
TreePolynomial
def map(f: (M, C) => (M, C)): Element[C, M]

Attributes

Inherited from:
TreePolynomial
def size: Int

Attributes

Inherited from:
TreePolynomial
override def sort: Element[C, M]

Attributes

Definition Classes
Inherited from:
TreePolynomial
override def toSeq: Seq[(M, C)]

Attributes

Definition Classes
Inherited from:
TreePolynomial
extension (x: Element[C, M])
def signum: Int

Attributes

Inherited from:
Polynomial
extension (x: Element[C, M])
def subtract(y: Element[C, M]): Element[C, M]

Attributes

Inherited from:
Polynomial
extension (x: Element[C, M])
def isUnit: Boolean

Attributes

Inherited from:
Polynomial
extension (x: Element[C, M])
def multiply(y: Element[C, M]): Element[C, M]

Attributes

Inherited from:
Polynomial
extension (x: Element[C, M])
def toCode(level: Level): String

Attributes

Inherited from:
Polynomial
extension (x: Element[C, M])
def toCode(level: Level, plus: String, times: String): String

Attributes

Inherited from:
Polynomial
extension (x: Element[C, M])
override def %*[U : Conversion[C]](y: U): Element[C, M]

Attributes

Definition Classes
Inherited from:
SolvablePolynomial
final override def %*(m: M): Element[C, M]

Attributes

Definition Classes
Inherited from:
SolvablePolynomial
final override def multiply(m: M, c: C): Element[C, M]

Attributes

Definition Classes
Inherited from:
SolvablePolynomial
extension (x: Element[C, M])
def toMathML: String

Attributes

Inherited from:
Polynomial
extension (x: Element[C, M])
def toMathML(plus: String, times: String): String

Attributes

Inherited from:
Polynomial
extension (x: Element[C, M])
def coefOne: Element[C, M]

Attributes

Inherited from:
Polynomial
def coefficient(y: Element[C, M]): Element[C, M]

Attributes

Inherited from:
Polynomial
def degree: BigInteger

Attributes

Inherited from:
Polynomial
def factorOf(s: M, a: C, strict: Boolean): Boolean

Attributes

Inherited from:
Polynomial
def headCoefficient: C

Attributes

Inherited from:
Polynomial
def headPowerProduct: M

Attributes

Inherited from:
Polynomial
def lastCoefficient: C

Attributes

Inherited from:
Polynomial
def multiplyRight(c: C): Element[C, M]

Attributes

Inherited from:
Polynomial
def reduce(m: M, a: C, y: Element[C, M], b: C, strict: Boolean): Element[C, M]

Attributes

Inherited from:
Polynomial
final def reduce(strict: Boolean, m: M, ys: Element[C, M]*): Element[C, M]

Attributes

Inherited from:
Polynomial
def reduce(strict: Boolean, tail: Boolean, ys: Element[C, M]*): Element[C, M]

Attributes

Inherited from:
Polynomial
final def reduce(strict: Boolean, ys: Element[C, M]*): Element[C, M]

Attributes

Inherited from:
Polynomial
def reduce(ys: Element[C, M]*): Element[C, M]

Attributes

Inherited from:
Polynomial
def reverseIterator: Iterator[(M, C)]

Attributes

Inherited from:
Polynomial
def subtract(m: M, c: C, y: Element[C, M]): Element[C, M]

Attributes

Inherited from:
Polynomial

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
Generated with