c

cc.redberry.rings.scaladsl

QuotientRing

final case class QuotientRing[Term <: AMonomial[Term], Poly <: AMultivariatePolynomial[Term, Poly], E](baseRing: IMultivariateRing[Term, Poly, E], ideal: Ideal[Term, Poly, E]) extends MultivariateRingWrapper[Term, Poly, E] with Product with Serializable

Multivariate quotient ring

Linear Supertypes
Product, Equals, MultivariateRingWrapper[Term, Poly, E], IMultivariateRing[Term, Poly, E], IPolynomialRing[Poly, E], Ring[Poly], Serializable, Serializable, RingSupport[Poly], IParser[Poly], Stringifiable[Poly], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. QuotientRing
  2. Product
  3. Equals
  4. MultivariateRingWrapper
  5. IMultivariateRing
  6. IPolynomialRing
  7. Ring
  8. Serializable
  9. Serializable
  10. RingSupport
  11. IParser
  12. Stringifiable
  13. AnyRef
  14. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new QuotientRing(baseRing: IMultivariateRing[Term, Poly, E], ideal: Ideal[Term, Poly, E])

Type Members

  1. final type CoefficientType = E

    Type of coefficients

    Type of coefficients

    Definition Classes
    IPolynomialRing
  2. final type ElementType = Poly

    Element type

    Element type

    Definition Classes
    Ring
  3. type MonomialType = Term

    The type of monomials

    The type of monomials

    Definition Classes
    IMultivariateRing
  4. final type PolyType = Poly

    Type of polynomials

    Type of polynomials

    Definition Classes
    IPolynomialRing

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addConstant(poly: Poly, el: E): Poly

    Add coefficient ring element

    Add coefficient ring element

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  5. final def apply(a: E, b: E, c: E, d: E, e: E): (Poly, Poly, Poly, Poly, Poly)
    Definition Classes
    IPolynomialRing
  6. final def apply(a: E, b: E, c: E, d: E): (Poly, Poly, Poly, Poly)
    Definition Classes
    IPolynomialRing
  7. final def apply(a: E, b: E, c: E): (Poly, Poly, Poly)
    Definition Classes
    IPolynomialRing
  8. final def apply(a: E, b: E): (Poly, Poly)
    Definition Classes
    IPolynomialRing
  9. final def apply(value: E): Poly
    Definition Classes
    IPolynomialRing
  10. final def apply(a: Int, b: Int, c: Int, d: Int, e: Int, f: Int, g: Int): (Poly, Poly, Poly, Poly, Poly, Poly, Poly)
    Definition Classes
    Ring
  11. final def apply(a: Int, b: Int, c: Int, d: Int, e: Int, f: Int): (Poly, Poly, Poly, Poly, Poly, Poly)
    Definition Classes
    Ring
  12. final def apply(a: Int, b: Int, c: Int, d: Int, e: Int): (Poly, Poly, Poly, Poly, Poly)
    Definition Classes
    Ring
  13. final def apply(a: Int, b: Int, c: Int, d: Int): (Poly, Poly, Poly, Poly)
    Definition Classes
    Ring
  14. final def apply(a: Int, b: Int, c: Int): (Poly, Poly, Poly)
    Definition Classes
    Ring
  15. final def apply(a: Int, b: Int): (Poly, Poly)
    Definition Classes
    Ring
  16. final def apply(a: String, b: String, c: String, d: String, e: String, f: String, g: String): (Poly, Poly, Poly, Poly, Poly, Poly, Poly)
    Definition Classes
    Ring
  17. final def apply(a: String, b: String, c: String, d: String, e: String, f: String): (Poly, Poly, Poly, Poly, Poly, Poly)
    Definition Classes
    Ring
  18. final def apply(a: String, b: String, c: String, d: String, e: String): (Poly, Poly, Poly, Poly, Poly)
    Definition Classes
    Ring
  19. final def apply(a: String, b: String, c: String, d: String): (Poly, Poly, Poly, Poly)
    Definition Classes
    Ring
  20. final def apply(a: String, b: String, c: String): (Poly, Poly, Poly)
    Definition Classes
    Ring
  21. final def apply(a: String, b: String): (Poly, Poly)
    Definition Classes
    Ring
  22. final def apply(e: ElementType): Poly
    Definition Classes
    Ring
  23. final def apply(int: IntZ): Poly
    Definition Classes
    Ring
  24. final def apply(int: BigInt): Poly
    Definition Classes
    Ring
  25. final def apply(int: Int): Poly
    Definition Classes
    Ring
  26. final def apply(string: String): Poly

    Parse

    Parse

    Definition Classes
    Ring
  27. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  28. val baseRing: IMultivariateRing[Term, Poly, E]
  29. def cc(poly: Poly): E

    Constant coefficient

    Constant coefficient

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  30. def cfRing: Ring[E]

    The coefficient ring

    The coefficient ring

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  31. def cfValue(i: Int): E

    Value of integer in coefficient ring

    Value of integer in coefficient ring

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  32. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  33. lazy val coder: Coder[ElementType]

    String from/to conversion for ring elements

    String from/to conversion for ring elements

    Definition Classes
    QuotientRing → Ring
  34. final def divRem(a: Poly, b: Poly): (Poly, Poly)

    Shortcut for /% operation

    Shortcut for /% operation

    Attributes
    protected[cc.redberry.rings.scaladsl]
    Definition Classes
    IPolynomialRing
  35. def divideAndRemainder(poly: Poly, el: E): (Poly, Poly)

    Divide by coefficient ring element

    Divide by coefficient ring element

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  36. def divideConstant(poly: Poly, el: E): Poly

    Divide by coefficient ring element

    Divide by coefficient ring element

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  37. final def element(e: Any): Poly

    Casts e to element of this

    Casts e to element of this

    Definition Classes
    Ring
  38. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. def eval(poly: Poly, variable: Int, value: E): Poly

    Evaluate poly for given variable

    Evaluate poly for given variable

    Definition Classes
    MultivariateRingWrapper → IMultivariateRing
  40. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  41. def getConstant(value: E): Poly

    Constant polynomial with specified value

    Constant polynomial with specified value

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  42. lazy val helperRing: IMultivariateRing[Term, Poly, E]
    Attributes
    protected[cc.redberry.rings.scaladsl]
    Definition Classes
    MultivariateRingWrapper
  43. val ideal: Ideal[Term, Poly, E]
  44. final def index(variable: String): Int

    Index of variable with specified string representation

    Index of variable with specified string representation

    Definition Classes
    IPolynomialRing
  45. def isElement(e: Any): Boolean

    Reflection: determines whether is element of this

    Reflection: determines whether is element of this

    Definition Classes
    IPolynomialRing → Ring
  46. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  47. def lc(poly: Poly): E

    Leading coefficient

    Leading coefficient

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  48. def multiplyConstant(poly: Poly, el: E): Poly

    Multiply by coefficient ring element

    Multiply by coefficient ring element

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  49. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  50. final def negativeOne: Poly
    Definition Classes
    Ring
  51. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  52. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  53. final def one: Poly
    Definition Classes
    Ring
  54. val ordering: Ordering
    Definition Classes
    IMultivariateRing
  55. def parse(string: String): Poly

    <invalid inheritdoc annotation>

    <invalid inheritdoc annotation>

    Definition Classes
    QuotientRing → Ring → IParser
  56. def ringEv(ev: Poly): Ring[Poly]
    Definition Classes
    Ring → RingSupport
  57. def setVariableNames(newVariables: Array[String]): QuotientRing[Term, Poly, E]

    Set names of variables (new ring will be created)

    Set names of variables (new ring will be created)

    Definition Classes
    QuotientRing → IMultivariateRing → IPolynomialRing
  58. final def stringify(e: Stringifiable[Poly]): String

    Convert element to string

    Convert element to string

    Definition Classes
    Ring
  59. final def stringify(e: TraversableOnce[Poly]): String

    Convert element to string

    Convert element to string

    Definition Classes
    Ring
  60. final def stringify(e: Poly): String

    Convert element to string

    Convert element to string

    Definition Classes
    Ring
  61. def subtractConstant(poly: Poly, el: E): Poly

    Subtract coefficient ring element

    Subtract coefficient ring element

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  62. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  63. val theRing: poly.IPolynomialRing[Poly]
    Definition Classes
    IMultivariateRing → IPolynomialRing → Ring
  64. def toString(): String

    <invalid inheritdoc annotation>

    <invalid inheritdoc annotation>

    Definition Classes
    Ring → AnyRef → Any
  65. def toString(arg0: IStringifier[Poly]): String
    Definition Classes
    Stringifiable
  66. final def variable(variable: String): Int

    Index of variable with specified string representation

    Index of variable with specified string representation

    Definition Classes
    IPolynomialRing
  67. final def variableString(variable: Int): String

    String representation of i-th variable

    String representation of i-th variable

    Definition Classes
    IPolynomialRing
  68. val variables: Array[String]
    Definition Classes
    IPolynomialRing
  69. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  70. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  71. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  72. final lazy val x: Poly

    The first variable

    The first variable

    Definition Classes
    IPolynomialRing
  73. final lazy val y: Poly

    The second variable

    The second variable

    Definition Classes
    IPolynomialRing
  74. final lazy val z: Poly

    The third variable

    The third variable

    Definition Classes
    IPolynomialRing
  75. final def zero: Poly
    Definition Classes
    Ring

Deprecated Value Members

  1. 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.

  2. final def show(arg: Any): String

    Pretty toString

    Pretty toString

    Definition Classes
    Ring
    Annotations
    @deprecated
    Deprecated

    use stringify

Inherited from Product

Inherited from Equals

Inherited from MultivariateRingWrapper[Term, Poly, E]

Inherited from IMultivariateRing[Term, Poly, E]

Inherited from IPolynomialRing[Poly, E]

Inherited from Ring[Poly]

Inherited from Serializable

Inherited from Serializable

Inherited from RingSupport[Poly]

Inherited from IParser[Poly]

Inherited from Stringifiable[Poly]

Inherited from AnyRef

Inherited from Any

Ungrouped