Packages

object SigmaTerm extends Serializable

Linear Supertypes
Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SigmaTerm
  2. Serializable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def fold(x: LocalTerm)(l: List[LocalTerm]): List[LocalTerm]

    recursively fold in a term to a list of terms.

    recursively fold in a term to a list of terms. if sum with head simplifies, this is called recursively, otherwise head is retained and term is added with fold to tail. this assumes that we cannot have chains of simplifications, as list is already simplified.

  2. def reduce(el: Iterable[LocalTerm]): LocalTerm