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 IMultivariateRing[Term, Poly, E] with Product with Serializable

Ideal in multivariate polynomial ring

Linear Supertypes
Product, Equals, IMultivariateRing[Term, Poly, E], IPolynomialRing[Poly, E], Ring[Poly], Serializable, Serializable, RingSupport[Poly], ElementParser[Poly], ToStringSupport[Poly], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. QuotientRing
  2. Product
  3. Equals
  4. IMultivariateRing
  5. IPolynomialRing
  6. Ring
  7. Serializable
  8. Serializable
  9. RingSupport
  10. ElementParser
  11. ToStringSupport
  12. AnyRef
  13. 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 _show(obj: Any): String

    Permalink

    To string

    To string

    Definition Classes
    IPolynomialRing → Ring

  5. def addConstant(poly: Poly, el: E): Poly

    Permalink

    Add coefficient ring element

    Add coefficient ring element

    Definition Classes
    QuotientRing → IPolynomialRing

  6. final def apply(a: E, b: E, c: E, d: E, e: E): (Poly, Poly, Poly, Poly, Poly)

    Permalink
    Definition Classes
    IPolynomialRing

  7. final def apply(a: E, b: E, c: E, d: E): (Poly, Poly, Poly, Poly)

    Permalink
    Definition Classes
    IPolynomialRing

  8. final def apply(a: E, b: E, c: E): (Poly, Poly, Poly)

    Permalink
    Definition Classes
    IPolynomialRing

  9. final def apply(a: E, b: E): (Poly, Poly)

    Permalink
    Definition Classes
    IPolynomialRing

  10. final def apply(value: E): Poly

    Permalink
    Definition Classes
    IPolynomialRing

  11. final def apply(a: String, b: String, c: String, d: String, e: String): (Poly, Poly, Poly, Poly, Poly)

    Permalink
    Definition Classes
    Ring

  12. final def apply(a: String, b: String, c: String, d: String): (Poly, Poly, Poly, Poly)

    Permalink
    Definition Classes
    Ring

  13. final def apply(a: String, b: String, c: String): (Poly, Poly, Poly)

    Permalink
    Definition Classes
    Ring

  14. final def apply(a: String, b: String): (Poly, Poly)

    Permalink
    Definition Classes
    Ring

  15. final def apply(e: ElementType): Poly

    Permalink
    Definition Classes
    Ring

  16. final def apply(int: IntZ): Poly

    Permalink
    Definition Classes
    Ring

  17. final def apply(int: BigInt): Poly

    Permalink
    Definition Classes
    Ring

  18. final def apply(int: Int): Poly

    Permalink
    Definition Classes
    Ring

  19. final def apply(string: String): Poly

    Permalink

    Parse

    Parse

    Definition Classes
    Ring

  20. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  21. val baseRing: IMultivariateRing[Term, Poly, E]

    Permalink

  22. def cc(poly: Poly): E

    Permalink

    Constant coefficient

    Constant coefficient

    Definition Classes
    QuotientRing → IPolynomialRing

  23. def cfRing: Ring[E]

    Permalink

    The coefficient ring

    The coefficient ring

    Definition Classes
    QuotientRing → IPolynomialRing

  24. def cfValue(i: Int): E

    Permalink

    Value of integer in coefficient ring

    Value of integer in coefficient ring

    Definition Classes
    QuotientRing → IPolynomialRing

  25. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

  27. def divideAndRemainder(poly: Poly, el: E): (Poly, Poly)

    Permalink

    Divide by coefficient ring element

    Divide by coefficient ring element

    Definition Classes
    QuotientRing → IPolynomialRing

  28. def divideConstant(poly: Poly, el: E): Poly

    Permalink

    Divide by coefficient ring element

    Divide by coefficient ring element

    Definition Classes
    QuotientRing → IPolynomialRing

  29. final def element(e: Any): Poly

    Permalink

    Casts e to element of this

    Casts e to element of this

    Definition Classes
    Ring

  30. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  31. def eval(poly: Poly, variable: Int, value: E): Poly

    Permalink

    Evaluate poly for given variable

    Evaluate poly for given variable

    Definition Classes
    QuotientRing → IMultivariateRing

  32. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  33. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  34. def getConstant(value: E): Poly

    Permalink

    Constant polynomial with specified value

    Constant polynomial with specified value

    Definition Classes
    QuotientRing → IPolynomialRing

  35. val ideal: Ideal[Term, Poly, E]

    Permalink

  36. final def index(variable: String): Int

    Permalink

    Index of variable with specified string representation

    Index of variable with specified string representation

    Definition Classes
    IPolynomialRing

  37. def isElement(e: Any): Boolean

    Permalink

    Reflection: determines whether is element of this

    Reflection: determines whether is element of this

    Definition Classes
    IPolynomialRing → Ring

  38. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  39. def lc(poly: Poly): E

    Permalink

    Leading coefficient

    Leading coefficient

    Definition Classes
    QuotientRing → IPolynomialRing

  40. def multiplyConstant(poly: Poly, el: E): Poly

    Permalink

    Multiply by coefficient ring element

    Multiply by coefficient ring element

    Definition Classes
    QuotientRing → IPolynomialRing

  41. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  42. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  43. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  44. val ordering: Ordering

    Permalink
    Definition Classes
    IMultivariateRing

  45. def parse(string: String): Poly

    Permalink

    Parse polynomial

    Parse polynomial

    Definition Classes
    IPolynomialRing → Ring → ElementParser

  46. def ringEv(ev: Poly): Ring[Poly]

    Permalink
    Definition Classes
    Ring → RingSupport

  47. 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
    QuotientRing → IMultivariateRing → IPolynomialRing

  48. final def show(list: Traversable[_]): String

    Permalink

    String representation of a seq of polynomials

    String representation of a seq of polynomials

    Definition Classes
    IPolynomialRing

  49. def show(obj: WithVariables): String

    Permalink

    String representation of polynomial from this ring

    String representation of polynomial from this ring

    Attributes
    protected[cc.redberry.rings.scaladsl]
    Definition Classes
    IPolynomialRing

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

    Permalink

    Pretty toString

    Pretty toString

    Definition Classes
    Ring

  51. def subtractConstant(poly: Poly, el: E): Poly

    Permalink

    Subtract coefficient ring element

    Subtract coefficient ring element

    Definition Classes
    QuotientRing → IPolynomialRing

  52. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  53. val theRing: poly.IPolynomialRing[Poly]

    Permalink

    the IPolynomialRing

    the IPolynomialRing

    Definition Classes
    IMultivariateRing → IPolynomialRing → Ring

  54. def toString(): String

    Permalink

    String representation of this ring

    String representation of this ring

    Definition Classes
    IPolynomialRing → Ring → AnyRef → Any

  55. final def toString(element: Poly): String

    Permalink

    <invalid inheritdoc annotation>

    <invalid inheritdoc annotation>

    Definition Classes
    Ring → ToStringSupport

  56. final def variable(variable: String): Int

    Permalink

    Index of variable with specified string representation

    Index of variable with specified string representation

    Definition Classes
    IPolynomialRing

  57. val variables: Array[String]

    Permalink

    polynomial variables

    polynomial variables

    Definition Classes
    IPolynomialRing

  58. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  59. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  60. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  61. final lazy val x: Poly

    Permalink

    The first variable

    The first variable

    Definition Classes
    IPolynomialRing

  62. final lazy val y: Poly

    Permalink

    The second variable

    The second variable

    Definition Classes
    IPolynomialRing

  63. final lazy val z: Poly

    Permalink

    The third variable

    The third variable

    Definition Classes
    IPolynomialRing

Inherited from Product

Inherited from Equals

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 ElementParser[Poly]

Inherited from ToStringSupport[Poly]

Inherited from AnyRef

Inherited from Any

Ungrouped