scaladsl

Type Members

1. type AMultivariatePolynomial[T <: poly.multivar.DegreeVector[T], P <: poly.multivar.AMultivariatePolynomial[T, P]] = poly.multivar.AMultivariatePolynomial[T, P]

   

2. class CfOps[E, Poly <: IPolynomial[Poly]] extends AnyRef

   

3. trait CfSyntax extends AnyRef

   

4. type DegreeVector[E <: poly.multivar.DegreeVector[E]] = poly.multivar.DegreeVector[E]

   

5. type FactorDecomposition[P <: IPolynomial[P]] = poly.FactorDecomposition[P]

   

6. final case class Frac[E](ring: Ring[E]) extends Ring[Rational[E]] with Product with Serializable

   

   Ring of rationals

7. final case class GaloisField[E](theRing: FiniteField[UnivariatePolynomial[E]], variable: String, ringOption: Option[UnivariateRing[E]] = None) extends IUnivariateRing[UnivariatePolynomial[E], E] with Product with Serializable

   

   Galois field with arbitrary prime base

   Galois field with arbitrary prime base

   theRing

   the rings.poly.FiniteField

   variable

   the variable of univariate polynomials representing this Galois field

8. final case class GaloisField64(theRing: FiniteField[UnivariatePolynomialZp64], variable: String) extends IUnivariateRing[UnivariatePolynomialZp64, Long] with Product with Serializable

   

   Galois field with prime base in a range of (0, 2^63)

   Galois field with prime base in a range of (0, 2^63)

   theRing

   the rings.poly.FiniteField

   variable

   the variable of univariate polynomials representing this Galois field

9. sealed abstract class IMultivariateRing[Term <: DegreeVector[Term], Poly <: AMultivariatePolynomial[Term, Poly], E] extends PolynomialRing[Poly, E]

   

   Ring of multivariate polynomials

10. type IPolynomial[P <: poly.IPolynomial[P]] = poly.IPolynomial[P]

    

11. type IUnivariatePolynomial[P <: poly.univar.IUnivariatePolynomial[P]] = poly.univar.IUnivariatePolynomial[P]

    

12. sealed abstract class IUnivariateRing[Poly <: IUnivariatePolynomial[Poly], E] extends PolynomialRing[Poly, E]

    

    Ring of univariate polynomials

13. type IntZ = BigInteger

    

14. class IntegerOps[E] extends AnyRef

    

15. trait IntegerSyntax extends AnyRef

    

16. type Monomial[E] = poly.multivar.Monomial[E]

    

17. type MonomialZp64 = poly.multivar.MonomialZp64

    

18. class MultivariateCfOps[Term <: DegreeVector[Term], Poly <: AMultivariatePolynomial[Term, Poly], E] extends AnyRef

    

19. trait MultivariateCfSyntax extends AnyRef

    

20. class MultivariateOps[Term <: DegreeVector[Term], Poly <: AMultivariatePolynomial[Term, Poly]] extends AnyRef

    

21. type MultivariatePolynomial[E] = poly.multivar.MultivariatePolynomial[E]

    

22. type MultivariatePolynomialZp64 = poly.multivar.MultivariatePolynomialZp64

    

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

    Ring of multivariate polynomials over generic domains

    coefficientDomain

    coefficient ring

24. final case class MultivariateRingZp64(coefficientDomain: IntegersZp64, variables: Array[String], ordering: Ordering) extends IMultivariateRing[MonomialZp64, MultivariatePolynomialZp64, Long] with Product with Serializable

    

    Zp[variables] with specified modulus

    Zp[variables] with specified modulus

    coefficientDomain

    coefficient ring

25. trait MultivariateSyntax extends AnyRef

    

26. type Ordering = Comparator[DegreeVector[_]]

    

27. class PolynomialCfOps[Poly <: IPolynomial[Poly], E] extends AnyRef

    

28. trait PolynomialCfSyntax extends AnyRef

    

29. abstract class PolynomialRing[Poly <: IPolynomial[Poly], E] extends Ring[Poly]

    

    Base class for polynomial rings

    Base class for polynomial rings

    E

    coefficient type

30. class PolynomialSetOps[Poly <: IPolynomial[Poly]] extends AnyRef

    

31. trait PolynomialSetSyntax extends AnyRef

    

32. type PrecomputedInverse[Poly <: IUnivariatePolynomial[Poly]] = InverseModMonomial[Poly]

    

33. final class RichArrayTuple[Poly] extends AnyRef

    

    Definition Classes

    Predef

34. sealed class Ring[E] extends ToStringSupport[E] with ElementParser[E] with RingSupport[E]

    

    Simple wrapper around Ring used to unify PolynomialRing and Ring

35. class RingOps[E] extends AnyRef

    

36. trait RingSupport[E] extends AnyRef

    

37. trait RingSyntax extends AnyRef

    

38. class UnivariateCfOps[Poly <: IUnivariatePolynomial[Poly], E] extends AnyRef

    

39. trait UnivariateCfSyntax extends AnyRef

    

40. class UnivariateOps[Poly <: IUnivariatePolynomial[Poly]] extends AnyRef

    

41. type UnivariatePolynomial[E] = poly.univar.UnivariatePolynomial[E]

    

42. type UnivariatePolynomialZp64 = poly.univar.UnivariatePolynomialZp64

    

43. final case class UnivariateRing[E](coefficientDomain: Ring[E], variable: String) extends IUnivariateRing[UnivariatePolynomial[E], E] with Product with Serializable

    

    Ring of univariate polynomials over generic domains

    Ring of univariate polynomials over generic domains

    coefficientDomain

    coefficient ring

    variable

    variable

44. final case class UnivariateRingZp64 extends IUnivariateRing[UnivariatePolynomialZp64, Long] with Product with Serializable

    

    Ring of Zp[x] polynomials

45. trait UnivariateSyntax extends AnyRef