Packages

c

net.alasc.symdpoly.evaluation

ScratchEvaluator

abstract class ScratchEvaluator[M <: Aux[F] with Singleton, F <: Aux[F] with Singleton] extends Evaluator

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ScratchEvaluator
  2. Evaluator
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ScratchEvaluator()

Type Members

  1. type LinearMomentType = LinearMoment[ScratchEvaluator.this.type, Mono]
    Definition Classes
    Evaluator
  2. type Mono = M
    Definition Classes
    ScratchEvaluator → Evaluator
  3. type SingleMomentType = SingleMoment[ScratchEvaluator.this.type, Mono]
    Definition Classes
    Evaluator

Abstract Value Members

  1. abstract def buildWithSymmetryGroup(newSymmetryGroup: Grp[M.PermutationType]): Aux[Mono]
    Attributes
    protected
    Definition Classes
    Evaluator
  2. abstract def compatibleSubgroup(grp: Grp[M.PermutationType]): Grp[M.PermutationType]

    Returns the group of permutations that is compatible with the evaluator,

    Returns the group of permutations that is compatible with the evaluator,

    A group of permutations is deemed compatible if, for any monomials m1 and m2 of type M#Monomial, we have m1 ~ m2 if and only if (m1 <|+| g) ~ (m2 <|+| g) for any element g of the group, where ~ is described by this equivalence relation.

    Definition Classes
    Evaluator
  3. abstract def isReal: Boolean

    Returns whether m.adjoint is equivalent to m for all m of type M#Monomial.

    Returns whether m.adjoint is equivalent to m for all m of type M#Monomial.

    Definition Classes
    Evaluator
  4. abstract def populatePadAndCheckForZero(pad: FreeScratchPad[F], mono: M.MonoType): Boolean

    Populates the given pad with equivalences of the given monomial (not including symmetry equivalences).

    Populates the given pad with equivalences of the given monomial (not including symmetry equivalences). If it returns true, the monomial is equivalent to zero.

    Attributes
    protected
  5. abstract def symmetryGroup: Grp[M.PermutationType]

    Current symmetry group

    Current symmetry group

    Definition Classes
    Evaluator
  6. abstract def unoptimized: Aux[M]
    Attributes
    protected
  7. implicit abstract def witnessF: Aux[F]
  8. implicit abstract def witnessMono: Aux[Mono]
    Definition Classes
    Evaluator

Concrete 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 M: Mono
    Definition Classes
    Evaluator
  5. def apply(mono: M.MonoType): SingleMomentType

    Returns the set of monomials equivalent to the given monomial.

    Returns the set of monomials equivalent to the given monomial.

    Definition Classes
    ScratchEvaluator → Evaluator
  6. def apply(poly: M.PolyType)(implicit d: DummyImplicit): LinearMoment[ScratchEvaluator.this.type, Mono]
    Definition Classes
    Evaluator
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  9. def constant(c: Cyclo): LinearMomentType

    Construct a constant evaluated polynomial from the given constant.

    Construct a constant evaluated polynomial from the given constant.

    Definition Classes
    Evaluator
  10. def constant(r: Rational): LinearMomentType

    Construct a constant evaluated polynomial from the given constant.

    Construct a constant evaluated polynomial from the given constant.

    Definition Classes
    Evaluator
  11. def constant(i: Int): LinearMomentType

    Construct a constant evaluated polynomial from the given constant.

    Construct a constant evaluated polynomial from the given constant.

    Definition Classes
    Evaluator
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. lazy val evaluatedMonoClassTag: ClassTag[SingleMomentType]
    Definition Classes
    Evaluator
  15. lazy val evaluatedMonoInvolution: Involution[SingleMomentType]
    Definition Classes
    Evaluator
  16. lazy val evaluatedMonoOrder: Order[SingleMomentType]
    Definition Classes
    Evaluator
  17. lazy val evaluatedMonoPermutationAction: Action[SingleMomentType, M.PermutationType]
    Definition Classes
    Evaluator
  18. lazy val evaluatedMonoPhased: Phased[SingleMomentType]
    Definition Classes
    Evaluator
  19. lazy val evaluatedMonoZero: SingleMomentType
    Definition Classes
    Evaluator
  20. lazy val evaluatedPolyClassTag: ClassTag[LinearMomentType]
    Definition Classes
    Evaluator
  21. lazy val evaluatedPolyEq: Eq[LinearMomentType]
    Definition Classes
    Evaluator
  22. lazy val evaluatedPolyInvolution: Involution[LinearMomentType]
    Definition Classes
    Evaluator
  23. lazy val evaluatedPolyVectorSpace: VectorSpace[LinearMomentType, Cyclo]
    Definition Classes
    Evaluator
  24. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  25. def forceSymmetrize(grp: Grp[M.PermutationType]): Aux[Mono]

    Derives a new evaluator from this evaluator by adding equivalence under the given symmetry group.

    Derives a new evaluator from this evaluator by adding equivalence under the given symmetry group.

    Definition Classes
    Evaluator
  26. def fromNormalForm(normalForm: M.MonoType): SingleMomentType
    Definition Classes
    Evaluator
  27. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  28. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  29. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  30. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. lazy val one: SingleMomentType
    Definition Classes
    Evaluator
  34. def symmetrize(grp: Grp[M.PermutationType]): Aux[Mono]

    Derives a new evaluator from this evaluator by adding equivalence under the subgroup of the given symmetry group that is compatible with the structure of this evaluator.

    Derives a new evaluator from this evaluator by adding equivalence under the subgroup of the given symmetry group that is compatible with the structure of this evaluator.

    In clear, given a group G such that x ~ y implies (x <|+| g) ~ (y <|+| g) for all g in G, we find the subgroup H such that L(x) ~ L(y) implies (L(x) <|+| h) ~ (L(y) <|+| h) for h in H.

    Definition Classes
    Evaluator
  35. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  36. def toString(): String
    Definition Classes
    AnyRef → Any
  37. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  40. implicit val witness: Aux[ScratchEvaluator.this.type]
    Definition Classes
    Evaluator
  41. lazy val zero: SingleMomentType
    Definition Classes
    Evaluator

Inherited from Evaluator

Inherited from AnyRef

Inherited from Any

Ungrouped