PolynomialOverField

scas.polynomial.tree.PolynomialOverField
class PolynomialOverField[C, M] extends TreePolynomial[C, M], PolynomialOverField[Element[C, M], C, M], Conv[Element[C, M]]

Attributes

Graph
Supertypes
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 PolynomialOverField[Element[C, M], C, M]
trait Algebra[Element[C, M], C]
trait VectorSpace[Element[C, M], C]
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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Definition Classes
Inherited from:
PolynomialOverField
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 toMathML: String

Attributes

Inherited from:
Polynomial
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
Polynomial -> Any
Inherited from:
Polynomial
def unmodifiable(x: Element[C, M]): SortedMap[M, C]

Attributes

Inherited from:
TreePolynomial

Inherited fields

override val one: Element[C, M]

Attributes

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

Attributes

Inherited from:
Polynomial

Givens

Givens

override given pp: PowerProduct[M]
override given ring: Field[C]

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

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 (ring: Field[C])
def apply(s: Element[C, M]*): PolynomialOverField[Element[C, M], C, M]

Attributes

Inherited from:
PolynomialOverField
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 divideRight(y: C): Element[C, M]

Attributes

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

Attributes

Inherited from:
VectorSpace
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 (x: Element[C, M])
override def reduce(m: M, a: C, y: Element[C, M], b: C, strict: Boolean): Element[C, M]

Attributes

Definition Classes
Inherited from:
PolynomialOverField
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])
override def %*[U : Conversion[C]](y: U): Element[C, M]

Attributes

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

Attributes

Inherited from:
Polynomial
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])
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

Attributes

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

Attributes

Inherited from:
Polynomial

Attributes

Inherited from:
Polynomial

Attributes

Inherited from:
Polynomial

Attributes

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

Attributes

Inherited from:
Polynomial
def multiplyRight(c: C): 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