scas.polynomial.tree

Members list

Type members

Classlikes

trait MultivariatePolynomial[C] extends TreePolynomial[C, Array[Int]], MultivariatePolynomial[Element, C, Array[Int]], Conv[Element[C, Array[Int]]]

Attributes

Companion
object
Supertypes
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait MultivariatePolynomial[Element, C, Array[Int]]
trait PolynomialOverUFD[Element[C, Array[Int]], C, Array[Int]]
trait UniqueFactorizationDomain[Element[C, Array[Int]]]
trait NotQuiteField[Element[C, Array[Int]]]
trait TreePolynomial[C, Array[Int]]
trait Polynomial[Element[C, Array[Int]], C, Array[Int]]
trait AlgebraOverRing[Element[C, Array[Int]], C]
trait Module[Element[C, Array[Int]], C]
trait Ring[Element[C, Array[Int]]]
trait Monoid[Element[C, Array[Int]]]
trait SemiGroup[Element[C, Array[Int]]]
trait AbelianGroup[Element[C, Array[Int]]]
trait Structure[Element[C, Array[Int]]]
trait Show[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
class MultivariatePolynomialOverField[C](using x$1: Field[C])(val variables: Variable*) extends MultivariatePolynomial[C], MultivariatePolynomialOverField[Element, C, Array[Int]]

Attributes

Supertypes
trait PolynomialOverField[Element[C, Array[Int]], C, Array[Int]]
trait PolynomialOverField[Element[C, Array[Int]], C, Array[Int]]
trait Algebra[Element[C, Array[Int]], C]
trait VectorSpace[Element[C, Array[Int]], C]
trait PolynomialWithSubresGCD[Element, C, Array[Int]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait MultivariatePolynomial[Element, C, Array[Int]]
trait PolynomialOverUFD[Element[C, Array[Int]], C, Array[Int]]
trait UniqueFactorizationDomain[Element[C, Array[Int]]]
trait NotQuiteField[Element[C, Array[Int]]]
trait TreePolynomial[C, Array[Int]]
trait Polynomial[Element[C, Array[Int]], C, Array[Int]]
trait AlgebraOverRing[Element[C, Array[Int]], C]
trait Module[Element[C, Array[Int]], C]
trait Ring[Element[C, Array[Int]]]
trait Monoid[Element[C, Array[Int]]]
trait SemiGroup[Element[C, Array[Int]]]
trait AbelianGroup[Element[C, Array[Int]]]
trait Structure[Element[C, Array[Int]]]
trait Show[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Serializable
class Object
trait Matchable
class Any
Show all
class Polynomial[C, M] extends TreePolynomial[C, M], Conv[Element[C, M]]

Attributes

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 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
class PolynomialOverField[C, M] extends TreePolynomial[C, M], PolynomialOverField[Element[C, M], C, M], Conv[Element[C, M]]

Attributes

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
class PolynomialOverFieldWithGB[C, N](using x$1: Field[C], x$2: ArrayPowerProduct[N])(using x$3: ClassTag[N], x$4: Numeric[N]) extends TreePolynomial[C, Array[N]], PolynomialOverFieldWithGB[Element[C, Array[N]], C, N], Conv[Element[C, Array[N]]]

Attributes

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 PolynomialOverFieldWithGB[Element[C, Array[N]], C, N]
trait PolynomialWithModInverse[Element[C, Array[N]], C, Array[N]]
trait PolynomialOverField[Element[C, Array[N]], C, Array[N]]
trait PolynomialOverField[Element[C, Array[N]], C, Array[N]]
trait Algebra[Element[C, Array[N]], C]
trait VectorSpace[Element[C, Array[N]], C]
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
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

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
class PolynomialWithPrimitiveGCD[C](using x$1: UniqueFactorizationDomain[C])(val variables: Variable*) extends MultivariatePolynomial[C], PolynomialWithPrimitiveGCD[Element, C, Array[Int]]

Attributes

Supertypes
trait PolynomialWithPrimitiveGCD[Element, C, Array[Int]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait MultivariatePolynomial[Element, C, Array[Int]]
trait PolynomialOverUFD[Element[C, Array[Int]], C, Array[Int]]
trait UniqueFactorizationDomain[Element[C, Array[Int]]]
trait NotQuiteField[Element[C, Array[Int]]]
trait TreePolynomial[C, Array[Int]]
trait Polynomial[Element[C, Array[Int]], C, Array[Int]]
trait AlgebraOverRing[Element[C, Array[Int]], C]
trait Module[Element[C, Array[Int]], C]
trait Ring[Element[C, Array[Int]]]
trait Monoid[Element[C, Array[Int]]]
trait SemiGroup[Element[C, Array[Int]]]
trait AbelianGroup[Element[C, Array[Int]]]
trait Structure[Element[C, Array[Int]]]
trait Show[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Serializable
class Object
trait Matchable
class Any
Show all
class PolynomialWithSimpleGCD[C](using x$1: UniqueFactorizationDomain[C])(val variables: Variable*) extends MultivariatePolynomial[C], PolynomialWithSimpleGCD[Element, C, Array[Int]]

Attributes

Supertypes
trait PolynomialWithSimpleGCD[Element, C, Array[Int]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait MultivariatePolynomial[Element, C, Array[Int]]
trait PolynomialOverUFD[Element[C, Array[Int]], C, Array[Int]]
trait UniqueFactorizationDomain[Element[C, Array[Int]]]
trait NotQuiteField[Element[C, Array[Int]]]
trait TreePolynomial[C, Array[Int]]
trait Polynomial[Element[C, Array[Int]], C, Array[Int]]
trait AlgebraOverRing[Element[C, Array[Int]], C]
trait Module[Element[C, Array[Int]], C]
trait Ring[Element[C, Array[Int]]]
trait Monoid[Element[C, Array[Int]]]
trait SemiGroup[Element[C, Array[Int]]]
trait AbelianGroup[Element[C, Array[Int]]]
trait Structure[Element[C, Array[Int]]]
trait Show[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Serializable
class Object
trait Matchable
class Any
Show all
class PolynomialWithSubresGCD[C](using x$1: UniqueFactorizationDomain[C])(val variables: Variable*) extends MultivariatePolynomial[C], PolynomialWithSubresGCD[Element, C, Array[Int]]

Attributes

Supertypes
trait PolynomialWithSubresGCD[Element, C, Array[Int]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait MultivariatePolynomial[Element, C, Array[Int]]
trait PolynomialOverUFD[Element[C, Array[Int]], C, Array[Int]]
trait UniqueFactorizationDomain[Element[C, Array[Int]]]
trait NotQuiteField[Element[C, Array[Int]]]
trait TreePolynomial[C, Array[Int]]
trait Polynomial[Element[C, Array[Int]], C, Array[Int]]
trait AlgebraOverRing[Element[C, Array[Int]], C]
trait Module[Element[C, Array[Int]], C]
trait Ring[Element[C, Array[Int]]]
trait Monoid[Element[C, Array[Int]]]
trait SemiGroup[Element[C, Array[Int]]]
trait AbelianGroup[Element[C, Array[Int]]]
trait Structure[Element[C, Array[Int]]]
trait Show[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Serializable
class Object
trait Matchable
class Any
Show all
open class SolvablePolynomial[C, M] extends TreePolynomial[C, M], SolvablePolynomial[Element[C, M], C, M], Conv[Element[C, M]]

Attributes

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 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
Known subtypes
class WeylAlgebra[C, M]
class UnivariatePolynomial[C](using x$1: Field[C])(variable: Variable) extends TreePolynomial[C, Array[Int]], UnivariatePolynomial[Element[C, Array[Int]], C, Array[Int]], Conv[Element[C, Array[Int]]]

Attributes

Companion
object
Supertypes
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait Conv[Element[C, Array[Int]]]
trait UnivariatePolynomial[Element[C, Array[Int]], C, Array[Int]]
trait EuclidianDomain[Element[C, Array[Int]]]
trait PolynomialWithModInverse[Element[C, Array[Int]], C, Array[Int]]
trait PolynomialOverField[Element[C, Array[Int]], C, Array[Int]]
trait PolynomialOverUFD[Element[C, Array[Int]], C, Array[Int]]
trait UniqueFactorizationDomain[Element[C, Array[Int]]]
trait NotQuiteField[Element[C, Array[Int]]]
trait PolynomialOverField[Element[C, Array[Int]], C, Array[Int]]
trait Algebra[Element[C, Array[Int]], C]
trait VectorSpace[Element[C, Array[Int]], C]
trait TreePolynomial[C, Array[Int]]
trait Polynomial[Element[C, Array[Int]], C, Array[Int]]
trait AlgebraOverRing[Element[C, Array[Int]], C]
trait Module[Element[C, Array[Int]], C]
trait Ring[Element[C, Array[Int]]]
trait Monoid[Element[C, Array[Int]]]
trait SemiGroup[Element[C, Array[Int]]]
trait AbelianGroup[Element[C, Array[Int]]]
trait Structure[Element[C, Array[Int]]]
trait Show[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Equiv[Element[C, Array[Int]]]
trait Serializable
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class WeylAlgebra[C, M] extends SolvablePolynomial[C, M], WeylAlgebra[Element[C, M], C, M]

Attributes

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