 # LinearCombination

### Related Docs: class LinearCombination | package linearcombination

#### object LinearCombination

Linear Supertypes
AnyRef, Any
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. LinearCombination
2. AnyRef
3. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### 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. #### object Constant

Extractor applying to `LinearCombination` that are constant.

Extractor applying to `LinearCombination` that are constant.

7. #### object SingleTerm

Extractor applying to `LinearCombination` that are just a single term with coefficient `1`.

Extractor applying to `LinearCombination` that are just a single term with coefficient `1`.

8. #### object ValueOrdering extends PartialOrdering[LinearCombination]

Ordering that relates linear combinations `a, b` if the value of `a` is always going to be in relationship with `b`.

Ordering that relates linear combinations `a, b` if the value of `a` is always going to be in relationship with `b`. E.g., ` x + 3 < x + 5 `.

15. #### def apply(terms: Iterator[(IdealInt, Term)], order: TermOrder): LinearCombination

Create a linear combination from an arbitrary set of terms with coefficients

16. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
17. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
18. #### def createFromSortedSeq(terms: Iterator[(IdealInt, Term)], order: TermOrder): LinearCombination

Create a linear combination from an array of coefficient-term pairs that is already sorted, flattened, and contracted.

19. #### def createFromSortedSeq(terms: Seq[(IdealInt, Term)], order: TermOrder): LinearCombination

Create a linear combination from an array of coefficient-term pairs that is already sorted, flattened, and contracted.

20. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
21. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
22. #### def finalize(): Unit

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

Definition Classes
AnyRef → Any
24. #### def hashCode(): Int

Definition Classes
AnyRef → Any
25. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
26. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
27. #### final def notify(): Unit

Definition Classes
AnyRef
28. #### final def notifyAll(): Unit

Definition Classes
AnyRef
29. #### def sum(coeff1: IdealInt, lc1: LinearCombination, coeff2: IdealInt, lc2: LinearCombination, coeff3: IdealInt, lc3: LinearCombination, order: TermOrder): LinearCombination

Compute the sum of exactly three linear combinations with arbitrary coefficients

30. #### def sum(coeff1: IdealInt, lc1: LinearCombination, coeff2: IdealInt, lc2: LinearCombination, order: TermOrder): LinearCombination

Compute the sum of exactly two linear combinations with arbitrary coefficients.

Compute the sum of exactly two linear combinations with arbitrary coefficients. This method is optimised and tries to avoid the the general case as far as possible

32. #### def sum(lcs: Seq[(IdealInt, LinearCombination)], order: TermOrder): LinearCombination

Compute the sum of a collection of linear combinations (together with coefficients).

Compute the sum of a collection of linear combinations (together with coefficients). This method is more optimised than direct usage of `LCBlender`

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

Definition Classes
AnyRef
34. #### def toString(): String

Definition Classes
AnyRef → Any
35. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )