RichLinearCombinationSeq

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

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

   

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

   

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

   

   The dot-product of two vectors

6. def +++(that: Term): Seq[LinearCombination]

   

7. def +++(that: Seq[Term]): Seq[LinearCombination]

   

8. def ---(that: Term): Seq[LinearCombination]

   

9. def ---(that: Seq[Term]): Seq[LinearCombination]

   

10. def <(that: Term): InEqConj

    

11. def <(that: Seq[Term]): InEqConj

    

12. def <=(that: Term): InEqConj

    

13. def <=(that: Seq[Term]): InEqConj

    

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

21. def >(that: Term): InEqConj

    

22. def >(that: Seq[Term]): InEqConj

    

23. def >=(that: Term): InEqConj

    

24. def >=(that: Seq[Term]): InEqConj

    

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

36. implicit val o: TermOrder

    

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

    

    Definition Classes

    AnyRef

38. def toString(): String

    

    Definition Classes

    AnyRef → Any

39. def unary_-: Seq[LinearCombination]

    

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( ... )