Class

cc.redberry.rings.scaladsl

QuotientRing

Related Doc: package scaladsl

Permalink

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])

    Permalink

Type Members

  1. final type CoefficientType = E

    Permalink

    Type of coefficients

    Type of coefficients

    Definition Classes
    IPolynomialRing
  2. final type ElementType = Poly

    Permalink

    Element type

    Element type

    Definition Classes
    Ring
  3. type MonomialType = Term

    Permalink

    The type of monomials

    The type of monomials

    Definition Classes
    IMultivariateRing
  4. final type PolyType = Poly

    Permalink

    Type of polynomials

    Type of polynomials

    Definition Classes
    IPolynomialRing

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def addConstant(poly: Poly, el: E): Poly

    Permalink

    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)

    Permalink
    Definition Classes
    IPolynomialRing
  6. final def apply(a: E, b: E, c: E, d: E): (Poly, Poly, Poly, Poly)

    Permalink
    Definition Classes
    IPolynomialRing
  7. final def apply(a: E, b: E, c: E): (Poly, Poly, Poly)

    Permalink
    Definition Classes
    IPolynomialRing
  8. final def apply(a: E, b: E): (Poly, Poly)

    Permalink
    Definition Classes
    IPolynomialRing
  9. final def apply(value: E): Poly

    Permalink
    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)

    Permalink
    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)

    Permalink
    Definition Classes
    Ring
  12. final def apply(a: Int, b: Int, c: Int, d: Int, e: Int): (Poly, Poly, Poly, Poly, Poly)

    Permalink
    Definition Classes
    Ring
  13. final def apply(a: Int, b: Int, c: Int, d: Int): (Poly, Poly, Poly, Poly)

    Permalink
    Definition Classes
    Ring
  14. final def apply(a: Int, b: Int, c: Int): (Poly, Poly, Poly)

    Permalink
    Definition Classes
    Ring
  15. final def apply(a: Int, b: Int): (Poly, Poly)

    Permalink
    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)

    Permalink
    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)

    Permalink
    Definition Classes
    Ring
  18. final def apply(a: String, b: String, c: String, d: String, e: String): (Poly, Poly, Poly, Poly, Poly)

    Permalink
    Definition Classes
    Ring
  19. final def apply(a: String, b: String, c: String, d: String): (Poly, Poly, Poly, Poly)

    Permalink
    Definition Classes
    Ring
  20. final def apply(a: String, b: String, c: String): (Poly, Poly, Poly)

    Permalink
    Definition Classes
    Ring
  21. final def apply(a: String, b: String): (Poly, Poly)

    Permalink
    Definition Classes
    Ring
  22. final def apply(e: ElementType): Poly

    Permalink
    Definition Classes
    Ring
  23. final def apply(int: IntZ): Poly

    Permalink
    Definition Classes
    Ring
  24. final def apply(int: BigInt): Poly

    Permalink
    Definition Classes
    Ring
  25. final def apply(int: Int): Poly

    Permalink
    Definition Classes
    Ring
  26. final def apply(string: String): Poly

    Permalink

    Parse

    Parse

    Definition Classes
    Ring
  27. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  28. val baseRing: IMultivariateRing[Term, Poly, E]

    Permalink
  29. def cc(poly: Poly): E

    Permalink

    Constant coefficient

    Constant coefficient

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

    Permalink

    The coefficient ring

    The coefficient ring

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

    Permalink

    Value of integer in coefficient ring

    Value of integer in coefficient ring

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  32. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. lazy val coder: Coder[ElementType]

    Permalink

    String from/to conversion for ring elements

    String from/to conversion for ring elements

    Definition Classes
    QuotientRingRing
  34. final def divRem(a: Poly, b: Poly): (Poly, Poly)

    Permalink

    Shortcut for /% operation

    Shortcut for /% operation

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

    Permalink

    Divide by coefficient ring element

    Divide by coefficient ring element

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

    Permalink

    Divide by coefficient ring element

    Divide by coefficient ring element

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

    Permalink

    Casts e to element of this

    Casts e to element of this

    Definition Classes
    Ring
  38. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  39. def eval(poly: Poly, variable: Int, value: E): Poly

    Permalink

    Evaluate poly for given variable

    Evaluate poly for given variable

    Definition Classes
    MultivariateRingWrapper → IMultivariateRing
  40. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  41. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  42. def getConstant(value: E): Poly

    Permalink

    Constant polynomial with specified value

    Constant polynomial with specified value

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  43. lazy val helperRing: IMultivariateRing[Term, Poly, E]

    Permalink
    Attributes
    protected[cc.redberry.rings.scaladsl]
    Definition Classes
    MultivariateRingWrapper
  44. val ideal: Ideal[Term, Poly, E]

    Permalink
  45. final def index(variable: String): Int

    Permalink

    Index of variable with specified string representation

    Index of variable with specified string representation

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

    Permalink

    Reflection: determines whether is element of this

    Reflection: determines whether is element of this

    Definition Classes
    IPolynomialRingRing
  47. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  48. def lc(poly: Poly): E

    Permalink

    Leading coefficient

    Leading coefficient

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

    Permalink

    Multiply by coefficient ring element

    Multiply by coefficient ring element

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  50. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  51. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  52. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  53. val ordering: Ordering

    Permalink
    Definition Classes
    IMultivariateRing
  54. def parse(string: String): Poly

    Permalink

    <invalid inheritdoc annotation>

    <invalid inheritdoc annotation>

    Definition Classes
    QuotientRingRing → IParser
  55. def ringEv(ev: Poly): Ring[Poly]

    Permalink
    Definition Classes
    RingRingSupport
  56. def setVariableNames(newVariables: Array[String]): QuotientRing[Term, Poly, E]

    Permalink

    Set names of variables (new ring will be created)

    Set names of variables (new ring will be created)

    Definition Classes
    QuotientRingIMultivariateRingIPolynomialRing
  57. final def stringify(e: Stringifiable[Poly]): String

    Permalink

    Convert element to string

    Convert element to string

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

    Permalink

    Convert element to string

    Convert element to string

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

    Permalink

    Convert element to string

    Convert element to string

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

    Permalink

    Subtract coefficient ring element

    Subtract coefficient ring element

    Definition Classes
    MultivariateRingWrapper → IPolynomialRing
  61. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  62. val theRing: poly.IPolynomialRing[Poly]

    Permalink

    the IPolynomialRing

  63. def toString(): String

    Permalink

    <invalid inheritdoc annotation>

    <invalid inheritdoc annotation>

    Definition Classes
    Ring → AnyRef → Any
  64. def toString(arg0: IStringifier[Poly]): String

    Permalink
    Definition Classes
    Stringifiable
  65. final def variable(variable: String): Int

    Permalink

    Index of variable with specified string representation

    Index of variable with specified string representation

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

    Permalink

    String representation of i-th variable

    String representation of i-th variable

    Definition Classes
    IPolynomialRing
  67. val variables: Array[String]

    Permalink

    polynomial variables

    polynomial variables

    Definition Classes
    IPolynomialRing
  68. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  69. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  70. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  71. final lazy val x: Poly

    Permalink

    The first variable

    The first variable

    Definition Classes
    IPolynomialRing
  72. final lazy val y: Poly

    Permalink

    The second variable

    The second variable

    Definition Classes
    IPolynomialRing
  73. final lazy val z: Poly

    Permalink

    The third variable

    The third variable

    Definition Classes
    IPolynomialRing

Deprecated Value Members

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

    Permalink

    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