final case class MultivariateRing[E](coefficientDomain: Ring[E], variables: Array[String], ordering: Ordering) extends IMultivariateRing[Monomial[E], MultivariatePolynomial[E], E] with Product with Serializable
Ring of multivariate polynomials over generic domains
- coefficientDomain
coefficient ring
- Alphabetic
- By Inheritance
- MultivariateRing
- Product
- Equals
- IMultivariateRing
- IPolynomialRing
- Ring
- Serializable
- Serializable
- RingSupport
- IParser
- Stringifiable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
Type Members
-
final
type
CoefficientType = E
Type of coefficients
Type of coefficients
- Definition Classes
- IPolynomialRing
-
final
type
ElementType = MultivariatePolynomial[E]
Element type
Element type
- Definition Classes
- Ring
-
type
MonomialType = Monomial[E]
The type of monomials
The type of monomials
- Definition Classes
- IMultivariateRing
-
final
type
PolyType = MultivariatePolynomial[E]
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: MultivariatePolynomial[E], el: E): MultivariatePolynomial[E]
Add coefficient ring element
Add coefficient ring element
- Definition Classes
- MultivariateRing → IPolynomialRing
-
final
def
apply(a: E, b: E, c: E, d: E, e: E): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- IPolynomialRing
-
final
def
apply(a: E, b: E, c: E, d: E): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- IPolynomialRing
-
final
def
apply(a: E, b: E, c: E): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- IPolynomialRing
-
final
def
apply(a: E, b: E): (MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- IPolynomialRing
-
final
def
apply(value: E): MultivariatePolynomial[E]
- Definition Classes
- IPolynomialRing
-
final
def
apply(a: Int, b: Int, c: Int, d: Int, e: Int, f: Int, g: Int): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int, c: Int, d: Int, e: Int, f: Int): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int, c: Int, d: Int, e: Int): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int, c: Int, d: Int): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int, c: Int): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: Int, b: Int): (MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String, d: String, e: String, f: String, g: String): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String, d: String, e: String, f: String): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String, d: String, e: String): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String, d: String): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String, c: String): (MultivariatePolynomial[E], MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(a: String, b: String): (MultivariatePolynomial[E], MultivariatePolynomial[E])
- Definition Classes
- Ring
-
final
def
apply(e: ElementType): MultivariatePolynomial[E]
- Definition Classes
- Ring
-
final
def
apply(int: IntZ): MultivariatePolynomial[E]
- Definition Classes
- Ring
-
final
def
apply(int: BigInt): MultivariatePolynomial[E]
- Definition Classes
- Ring
-
final
def
apply(int: Int): MultivariatePolynomial[E]
- Definition Classes
- Ring
-
final
def
apply(string: String): MultivariatePolynomial[E]
Parse
Parse
- Definition Classes
- Ring
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
cc(poly: MultivariatePolynomial[E]): E
Constant coefficient
Constant coefficient
- Definition Classes
- MultivariateRing → IPolynomialRing
-
val
cfRing: Ring[E]
The coefficient ring
The coefficient ring
- Definition Classes
- MultivariateRing → IPolynomialRing
-
def
cfValue(i: Int): E
Value of integer in coefficient ring
Value of integer in coefficient ring
- Definition Classes
- MultivariateRing → IPolynomialRing
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @throws( ... )
-
lazy val
coder: Coder[ElementType]
String from/to conversion for ring elements
String from/to conversion for ring elements
- Definition Classes
- MultivariateRing → Ring
- val coefficientDomain: Ring[E]
-
final
def
divRem(a: MultivariatePolynomial[E], b: MultivariatePolynomial[E]): (MultivariatePolynomial[E], MultivariatePolynomial[E])
Shortcut for /% operation
Shortcut for /% operation
- Attributes
- protected[cc.redberry.rings.scaladsl]
- Definition Classes
- IPolynomialRing
-
def
divideAndRemainder(poly: MultivariatePolynomial[E], el: E): (MultivariatePolynomial[E], MultivariatePolynomial[E])
Divide by coefficient ring element
Divide by coefficient ring element
- Definition Classes
- MultivariateRing → IPolynomialRing
-
def
divideConstant(poly: MultivariatePolynomial[E], el: E): MultivariatePolynomial[E]
Divide by coefficient ring element
Divide by coefficient ring element
- Definition Classes
- MultivariateRing → IPolynomialRing
-
final
def
element(e: Any): MultivariatePolynomial[E]
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: MultivariatePolynomial[E], variable: Int, value: E): MultivariatePolynomial[E]
Evaluate poly for given variable
Evaluate poly for given variable
- Definition Classes
- MultivariateRing → IMultivariateRing
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate()
-
def
getConstant(value: E): poly.multivar.MultivariatePolynomial[E]
Constant polynomial with specified value
Constant polynomial with specified value
- Definition Classes
- MultivariateRing → IPolynomialRing
-
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
lc(poly: MultivariatePolynomial[E]): E
Leading coefficient
Leading coefficient
- Definition Classes
- MultivariateRing → IPolynomialRing
-
def
multiplyConstant(poly: MultivariatePolynomial[E], el: E): MultivariatePolynomial[E]
Multiply by coefficient ring element
Multiply by coefficient ring element
- Definition Classes
- MultivariateRing → IPolynomialRing
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
negativeOne: MultivariatePolynomial[E]
- Definition Classes
- Ring
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate()
-
final
def
one: MultivariatePolynomial[E]
- Definition Classes
- Ring
-
val
ordering: Ordering
- Definition Classes
- MultivariateRing → IMultivariateRing
-
def
parse(string: String): MultivariatePolynomial[E]
<invalid inheritdoc annotation>
<invalid inheritdoc annotation>
- Definition Classes
- Ring → IParser
-
def
ringEv(ev: MultivariatePolynomial[E]): Ring[MultivariatePolynomial[E]]
- Definition Classes
- Ring → RingSupport
-
def
setVariableNames(newVariables: Array[String]): MultivariateRing[E]
Set names of variables (new ring will be created)
Set names of variables (new ring will be created)
- Definition Classes
- MultivariateRing → IMultivariateRing → IPolynomialRing
-
final
def
stringify(e: Stringifiable[MultivariatePolynomial[E]]): String
Convert element to string
Convert element to string
- Definition Classes
- Ring
-
final
def
stringify(e: TraversableOnce[MultivariatePolynomial[E]]): String
Convert element to string
Convert element to string
- Definition Classes
- Ring
-
final
def
stringify(e: MultivariatePolynomial[E]): String
Convert element to string
Convert element to string
- Definition Classes
- Ring
-
def
subtractConstant(poly: MultivariatePolynomial[E], el: E): MultivariatePolynomial[E]
Subtract coefficient ring element
Subtract coefficient ring element
- Definition Classes
- MultivariateRing → IPolynomialRing
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
val
theRing: poly.IPolynomialRing[MultivariatePolynomial[E]]
- Definition Classes
- IMultivariateRing → IPolynomialRing → Ring
-
def
toString(): String
<invalid inheritdoc annotation>
<invalid inheritdoc annotation>
- Definition Classes
- Ring → AnyRef → Any
-
def
toString(arg0: IStringifier[MultivariatePolynomial[E]]): 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
- MultivariateRing → 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: MultivariatePolynomial[E]
The first variable
The first variable
- Definition Classes
- IPolynomialRing
-
final
lazy val
y: MultivariatePolynomial[E]
The second variable
The second variable
- Definition Classes
- IPolynomialRing
-
final
lazy val
z: MultivariatePolynomial[E]
The third variable
The third variable
- Definition Classes
- IPolynomialRing
-
final
def
zero: MultivariatePolynomial[E]
- 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