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

PolynomialWithGB

scas.polynomial.tree.PolynomialWithGB
class PolynomialWithGB[C, N](using x$1: UniqueFactorizationDomain[C], x$2: ArrayPowerProduct[N])(using x$3: ClassTag[N], x$4: Numeric[N]) extends TreePolynomial[C, Array[N]], PolynomialWithGB[Element[C, Array[N]], C, N], Conv[Element[C, Array[N]]]

Attributes

Graph
Supertypes
trait Conv[Element[C, Array[N]]]
trait Conv[Element[C, Array[N]]]
trait Conv[Element[C, Array[N]]]
trait Conv[Element[C, Array[N]]]
trait Conv[Element[C, Array[N]]]
trait Conv[Element[C, Array[N]]]
trait Conv[Element[C, Array[N]]]
trait PolynomialWithGB[Element[C, Array[N]], C, N]
trait PolynomialOverUFD[Element[C, Array[N]], C, Array[N]]
trait UniqueFactorizationDomain[Element[C, Array[N]]]
trait NotQuiteField[Element[C, Array[N]]]
trait TreePolynomial[C, Array[N]]
trait Polynomial[Element[C, Array[N]], C, Array[N]]
trait AlgebraOverRing[Element[C, Array[N]], C]
trait Module[Element[C, Array[N]], C]
trait Ring[Element[C, Array[N]]]
trait Monoid[Element[C, Array[N]]]
trait SemiGroup[Element[C, Array[N]]]
trait AbelianGroup[Element[C, Array[N]]]
trait Structure[Element[C, Array[N]]]
trait Show[Element[C, Array[N]]]
trait Equiv[Element[C, Array[N]]]
trait Equiv[Element[C, Array[N]]]
trait Serializable
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def newInstance(pp: POT[N]): PolynomialWithGB[Element[C, Array[N]], C, N]

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Polynomial
def characteristic: BigInteger

Attributes

Inherited from:
Polynomial
def content(x: Element[C, Array[N]]): C

Attributes

Inherited from:
PolynomialOverUFD
def contentAndPrimitivePart(x: Element[C, Array[N]]): (C, Element[C, Array[N]])

Attributes

Inherited from:
PolynomialOverUFD
def embedding(name: String, dimension: Int): PolynomialWithGB[Element[C, Array[N]], C, N]

Attributes

Inherited from:
PolynomialWithGB
def equiv(x: Element[C, Array[N]], y: Element[C, Array[N]]): Boolean

Attributes

Inherited from:
Polynomial
def equiv(x: (Array[N], C), y: (Array[N], C)): Boolean

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Polynomial
def gb(xs: Element[C, Array[N]]*): List[Element[C, Array[N]]]

Attributes

Inherited from:
PolynomialWithGB
def gcd[U : Conversion[Element[C, Array[N]]], V : Conversion[Element[C, Array[N]]]](x: U, y: V): Element[C, Array[N]]

Attributes

Inherited from:
UniqueFactorizationDomain
def gcd(x: Element[C, Array[N]], y: Element[C, Array[N]]): Element[C, Array[N]]

Attributes

Inherited from:
PolynomialWithGB
def generator(n: Int): Element[C, Array[N]]

Attributes

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

Attributes

Inherited from:
Polynomial
def lcm[U : Conversion[Element[C, Array[N]]], V : Conversion[Element[C, Array[N]]]](x: U, y: V): Element[C, Array[N]]

Attributes

Inherited from:
UniqueFactorizationDomain
def lcm(x: Element[C, Array[N]], y: Element[C, Array[N]]): Element[C, Array[N]]

Attributes

Inherited from:
UniqueFactorizationDomain
def modifiable(x: Element[C, Array[N]]): TreeMap[Array[N], C]

Attributes

Inherited from:
TreePolynomial
override def normalize(x: Element[C, Array[N]]): Element[C, Array[N]]

Attributes

Definition Classes
Inherited from:
PolynomialOverUFD
def primitivePart(x: Element[C, Array[N]]): Element[C, Array[N]]

Attributes

Inherited from:
PolynomialOverUFD
def random(numbits: Int)(using rnd: Random): Element[C, Array[N]]

Attributes

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

Attributes

Inherited from:
Polynomial
def same(s: Element[C, Array[N]]*): 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, Array[N]]): SortedMap[Array[N], C]

Attributes

Inherited from:
TreePolynomial

Inherited fields

override val one: Element[C, Array[N]]

Attributes

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

Attributes

Inherited from:
Polynomial

Givens

Givens

given instance: PolynomialWithGB[C, N]
override given pp: ArrayPowerProduct[N]
override given ring: UniqueFactorizationDomain[C]

Inherited givens

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

Attributes

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

Attributes

Inherited from:
Polynomial

Extensions

Inherited extensions

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Polynomial
extension (ring: UniqueFactorizationDomain[C])
def apply(s: Element[C, Array[N]]*): PolynomialOverUFD[Element[C, Array[N]], C, Array[N]]

Attributes

Inherited from:
PolynomialOverUFD
extension (ring: Ring[C])
def apply(s: Element[C, Array[N]]*): Polynomial[Element[C, Array[N]], C, Array[N]]

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Equiv
extension (x: Element[C, Array[N]])
inline def /[U : Conversion[Element[C, Array[N]]]](y: U): Element[C, Array[N]]

Attributes

Inherited from:
NotQuiteField
extension (x: Element[C, Array[N]])
inline def *[U : Conversion[Element[C, Array[N]]]](y: U): Element[C, Array[N]]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Conv
extension [U : Conversion[Element[C, Array[N]]]](x: U)
inline def /[V : Conversion[Element[C, Array[N]]]](y: V): Element[C, Array[N]]

Attributes

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

Attributes

Inherited from:
Conv
extension (x: Element[C, Array[N]])
inline def %[U : Conversion[Element[C, Array[N]]]](y: U): Element[C, Array[N]]

Attributes

Inherited from:
UniqueFactorizationDomain
inline def /%[U : Conversion[Element[C, Array[N]]]](y: U): (Element[C, Array[N]], Element[C, Array[N]])

Attributes

Inherited from:
UniqueFactorizationDomain
def divide(y: Element[C, Array[N]]): Element[C, Array[N]]

Attributes

Inherited from:
UniqueFactorizationDomain
def factorOf(y: Element[C, Array[N]]): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
def remainder(y: Element[C, Array[N]]): Element[C, Array[N]]

Attributes

Inherited from:
UniqueFactorizationDomain
inline def |[U : Conversion[Element[C, Array[N]]]](y: U): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
extension (x: Element[C, Array[N]])
def %/(c: C): Element[C, Array[N]]

Attributes

Inherited from:
PolynomialOverUFD
def divideAndRemainder(y: Element[C, Array[N]]): (Element[C, Array[N]], Element[C, Array[N]])

Attributes

Inherited from:
PolynomialOverUFD
def divideRight(c: C): Element[C, Array[N]]

Attributes

Inherited from:
PolynomialOverUFD
override def factorOf(s: Array[N], a: C, strict: Boolean): Boolean

Attributes

Definition Classes
Inherited from:
PolynomialOverUFD
override def reduce(m: Array[N], a: C, y: Element[C, Array[N]], b: C, strict: Boolean): Element[C, Array[N]]

Attributes

Definition Classes
Inherited from:
PolynomialOverUFD
override def reduce(strict: Boolean, tail: Boolean, ys: Element[C, Array[N]]*): Element[C, Array[N]]

Attributes

Definition Classes
Inherited from:
PolynomialOverUFD
def remainder(ys: Element[C, Array[N]]*): Element[C, Array[N]]

Attributes

Inherited from:
PolynomialOverUFD
extension (x: Element[C, Array[N]])
def convert(from: ArrayPowerProduct[N]): Element[C, Array[N]]

Attributes

Inherited from:
PolynomialWithGB
extension (x: Element[C, Array[N]])
def add(y: Element[C, Array[N]]): Element[C, Array[N]]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Definition Classes
Inherited from:
TreePolynomial
def getOrElse(m: Array[N], c: C): C

Attributes

Inherited from:
TreePolynomial
def head: (Array[N], C)

Attributes

Inherited from:
TreePolynomial
override def isZero: Boolean

Attributes

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

Attributes

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

Attributes

Inherited from:
TreePolynomial
def last: (Array[N], C)

Attributes

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

Attributes

Inherited from:
TreePolynomial
def size: Int

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Polynomial
extension [U : Conversion[Element[C, Array[N]]]](x: U)
inline def %[V : Conversion[Element[C, Array[N]]]](y: V): Element[C, Array[N]]

Attributes

Inherited from:
Conv
inline def /%[V : Conversion[Element[C, Array[N]]]](y: V): (Element[C, Array[N]], Element[C, Array[N]])

Attributes

Inherited from:
Conv
inline def |[V : Conversion[Element[C, Array[N]]]](y: V): Boolean

Attributes

Inherited from:
Conv
extension (x: Element[C, Array[N]])
def isUnit: Boolean

Attributes

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

Attributes

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

Attributes

Inherited from:
Polynomial
def multiply(y: Element[C, Array[N]]): Element[C, Array[N]]

Attributes

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

Attributes

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

Attributes

Inherited from:
Polynomial
extension (x: Element[C, Array[N]])
def toMathML: String

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Polynomial
def degree: BigInteger

Attributes

Inherited from:
Polynomial
def headCoefficient: C

Attributes

Inherited from:
Polynomial
def headPowerProduct: Array[N]

Attributes

Inherited from:
Polynomial
def lastCoefficient: C

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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