# RichLinearCombinationSeq

### Related Doc: package terfor

#### class RichLinearCombinationSeq extends AnyRef

Various functions to work with vectors of terms

Linear Supertypes
AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. RichLinearCombinationSeq
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

5. #### def *:*(that: Seq[Term]): LinearCombination

The dot-product of two vectors

14. #### def =/=(that: Term): Conjunction

Disequation of vectors (vector differs in at least one component)

15. #### def =/=(that: Seq[Term]): Conjunction

Disequation of vectors (vectors differ in at least one component)

16. #### def =/=/=(that: Term): NegEquationConj

Component-wise disequation of vectors (all components of the vectors are different)

17. #### def =/=/=(that: Seq[Term]): NegEquationConj

Component-wise disequation of vectors (all components of the vectors are different)

18. #### final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
19. #### def ===(that: Term): EquationConj

Component-wise equation

20. #### def ===(that: Seq[Term]): EquationConj

Equation of two vectors

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

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
27. #### final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

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

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

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

Definition Classes
AnyRef

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

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

Definition Classes
AnyRef → Any

40. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )