final case class MultipleFieldExtension[Term <: AMonomial[Term], mPoly <: AMultivariatePolynomial[Term, mPoly], sPoly <: IUnivariatePolynomial[sPoly], E](theRing: poly.MultipleFieldExtension[Term, mPoly, sPoly], variables: Array[String]) extends MultivariateRingWrapper[Term, mPoly, E] with Product with Serializable
- Alphabetic
- By Inheritance
- MultipleFieldExtension
- Product
- Equals
- MultivariateRingWrapper
- IMultivariateRing
- IPolynomialRing
- Ring
- Serializable
- Serializable
- RingSupport
- IParser
- Stringifiable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new MultipleFieldExtension(theRing: poly.MultipleFieldExtension[Term, mPoly, sPoly], variables: Array[String])
Type Members
-
final
type
CoefficientType = E
Type of coefficients
Type of coefficients
- Definition Classes
- IPolynomialRing
-
final
type
ElementType = mPoly
Element type
Element type
- Definition Classes
- Ring
-
type
MonomialType = Term
The type of monomials
The type of monomials
- Definition Classes
- IMultivariateRing
-
final
type
PolyType = mPoly
Type of polynomials
Type of polynomials
- Definition Classes
- IPolynomialRing
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
addConstant(poly: mPoly, el: E): mPoly
Add coefficient ring element
Add coefficient ring element
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
final
def
apply(a: E, b: E, c: E, d: E, e: E): (mPoly, mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- IPolynomialRing
-
final
def
apply(a: E, b: E, c: E, d: E): (mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- IPolynomialRing
-
final
def
apply(a: E, b: E, c: E): (mPoly, mPoly, mPoly)
- Definition Classes
- IPolynomialRing
-
final
def
apply(a: E, b: E): (mPoly, mPoly)
- Definition Classes
- IPolynomialRing
-
final
def
apply(value: E): mPoly
- Definition Classes
- IPolynomialRing
-
final
def
apply(a: Int, b: Int, c: Int, d: Int, e: Int, f: Int, g: Int): (mPoly, mPoly, mPoly, mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int, c: Int, d: Int, e: Int, f: Int): (mPoly, mPoly, mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int, c: Int, d: Int, e: Int): (mPoly, mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int, c: Int, d: Int): (mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int, c: Int): (mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int): (mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String, d: String, e: String, f: String, g: String): (mPoly, mPoly, mPoly, mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String, d: String, e: String, f: String): (mPoly, mPoly, mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String, d: String, e: String): (mPoly, mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String, d: String): (mPoly, mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String): (mPoly, mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String): (mPoly, mPoly)
- Definition Classes
- Ring
-
final
def
apply(e: ElementType): mPoly
- Definition Classes
- Ring
-
final
def
apply(int: IntZ): mPoly
- Definition Classes
- Ring
-
final
def
apply(int: BigInt): mPoly
- Definition Classes
- Ring
-
final
def
apply(int: Int): mPoly
- Definition Classes
- Ring
-
final
def
apply(string: String): mPoly
Parse
Parse
- Definition Classes
- Ring
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
cc(poly: mPoly): E
Constant coefficient
Constant coefficient
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
def
cfRing: Ring[E]
The coefficient ring
The coefficient ring
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
def
cfValue(i: Int): E
Value of integer in coefficient ring
Value of integer in coefficient ring
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @throws( ... )
-
lazy val
coder: Coder[mPoly]
String from/to conversion for ring elements
String from/to conversion for ring elements
- Definition Classes
- MultipleFieldExtension → Ring
-
final
def
divRem(a: mPoly, b: mPoly): (mPoly, mPoly)
Shortcut for /% operation
Shortcut for /% operation
- Attributes
- protected[cc.redberry.rings.scaladsl]
- Definition Classes
- IPolynomialRing
-
def
divideAndRemainder(poly: mPoly, el: E): (mPoly, mPoly)
Divide by coefficient ring element
Divide by coefficient ring element
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
def
divideConstant(poly: mPoly, el: E): mPoly
Divide by coefficient ring element
Divide by coefficient ring element
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
final
def
element(e: Any): mPoly
Casts e to element of this
Casts e to element of this
- Definition Classes
- Ring
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
eval(poly: mPoly, variable: Int, value: E): mPoly
Evaluate poly for given variable
Evaluate poly for given variable
- Definition Classes
- MultivariateRingWrapper → IMultivariateRing
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate()
-
def
getConstant(value: E): mPoly
Constant polynomial with specified value
Constant polynomial with specified value
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
def
getSimpleExtension(variable: String = "gamma"): SimpleFieldExtension[sPoly, E]
Returns the isomorphic simple field extension
-
lazy val
helperRing: IMultivariateRing[Term, mPoly, E]
- Attributes
- protected[cc.redberry.rings.scaladsl]
- Definition Classes
- MultivariateRingWrapper
-
final
def
index(variable: String): Int
Index of variable with specified string representation
Index of variable with specified string representation
- Definition Classes
- IPolynomialRing
-
def
isElement(e: Any): Boolean
Reflection: determines whether is element of this
Reflection: determines whether is element of this
- Definition Classes
- IPolynomialRing → Ring
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
joinAlgebraicElement(algebraicElement: sPoly, variable: String): MultipleFieldExtension[Term, mPoly, sPoly, E]
Adds algebraic element given by its minimal polynomial (not checked that it is irreducible) to this.
-
def
joinAlgebraicElement(algebraicElement: UnivariatePolynomial[mPoly], variable: String): MultipleFieldExtension[Term, mPoly, sPoly, E]
Adds algebraic element given by its minimal polynomial (not checked that it is irreducible) to this.
-
def
lc(poly: mPoly): E
Leading coefficient
Leading coefficient
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
def
multiplyConstant(poly: mPoly, el: E): mPoly
Multiply by coefficient ring element
Multiply by coefficient ring element
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
negativeOne: mPoly
- Definition Classes
- Ring
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate()
-
final
def
one: mPoly
- Definition Classes
- Ring
-
val
ordering: Ordering
- Definition Classes
- IMultivariateRing
-
def
parse(string: String): mPoly
<invalid inheritdoc annotation>
<invalid inheritdoc annotation>
- Definition Classes
- MultipleFieldExtension → Ring → IParser
-
def
ringEv(ev: mPoly): Ring[mPoly]
- Definition Classes
- Ring → RingSupport
-
def
setVariableNames(newVariables: Array[String]): MultipleFieldExtension[Term, mPoly, sPoly, E]
Set names of variables (new ring will be created)
Set names of variables (new ring will be created)
- Definition Classes
- MultipleFieldExtension → IMultivariateRing → IPolynomialRing
-
final
def
stringify(e: Stringifiable[mPoly]): String
Convert element to string
Convert element to string
- Definition Classes
- Ring
-
final
def
stringify(e: TraversableOnce[mPoly]): String
Convert element to string
Convert element to string
- Definition Classes
- Ring
-
final
def
stringify(e: mPoly): String
Convert element to string
Convert element to string
- Definition Classes
- Ring
-
def
subtractConstant(poly: mPoly, el: E): mPoly
Subtract coefficient ring element
Subtract coefficient ring element
- Definition Classes
- MultivariateRingWrapper → IPolynomialRing
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
val
theRing: poly.MultipleFieldExtension[Term, mPoly, sPoly]
- Definition Classes
- MultipleFieldExtension → IMultivariateRing → IPolynomialRing → Ring
-
def
toString(): String
<invalid inheritdoc annotation>
<invalid inheritdoc annotation>
- Definition Classes
- Ring → AnyRef → Any
-
def
toString(arg0: IStringifier[mPoly]): String
- Definition Classes
- Stringifiable
-
final
def
variable(variable: String): Int
Index of variable with specified string representation
Index of variable with specified string representation
- Definition Classes
- IPolynomialRing
-
final
def
variableString(variable: Int): String
String representation of i-th variable
String representation of i-th variable
- Definition Classes
- IPolynomialRing
-
val
variables: Array[String]
- Definition Classes
- MultipleFieldExtension → IPolynomialRing
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
lazy val
x: mPoly
The first variable
The first variable
- Definition Classes
- IPolynomialRing
-
final
lazy val
y: mPoly
The second variable
The second variable
- Definition Classes
- IPolynomialRing
-
final
lazy val
z: mPoly
The third variable
The third variable
- Definition Classes
- IPolynomialRing
-
final
def
zero: mPoly
- Definition Classes
- Ring
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
- Deprecated
(Since version ) see corresponding Javadoc for more information.
-
final
def
show(arg: Any): String
Pretty toString
Pretty toString
- Definition Classes
- Ring
- Annotations
- @deprecated
- Deprecated
use stringify