basis.math.binary64

Z3

object Z3 extends AffineSpace with F3 with ZN

A 3-dimensional 64-bit two's complement integer module.

Source
Z3.scala
Version

0.1

Since

0.0

Linear Supertypes
ZN, F3, FN, VectorSpace, AffineSpace, AnyRef, Any
Content Hierarchy Learn more about scaladoc diagrams
VectorZNVectorZ3ScalarVectorPointVectorF3VectorFNVectorElementPointElement
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Z3
  2. ZN
  3. F3
  4. FN
  5. VectorSpace
  6. AffineSpace
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type Point = VectorZ3

    The type of points in this module.

    The type of points in this module.

    Definition Classes
    Z3 → AffineSpace

  2. trait PointElement extends Any

    A point in this affine space.

    A point in this affine space.

    Definition Classes
    AffineSpace

  3. type Scalar = Integer

    The type of scalars in this module.

    The type of scalars in this module.

    Definition Classes
    Z3 → ZN → VectorSpace → AffineSpace

  4. type Vector = VectorZ3

    The type of vectors in this module.

    The type of vectors in this module.

    Definition Classes
    Z3 → ZN → F3 → FN → VectorSpace → AffineSpace

  5. trait VectorElement extends Any

    A vector in this vector space.

    A vector in this vector space.

    Definition Classes
    VectorSpace

  6. trait VectorF3 extends VectorFN

    Definition Classes
    F3

  7. trait VectorFN extends VectorElement

    Definition Classes
    FN

  8. final class VectorZ3 extends PointElement with VectorF3 with VectorZN

  9. trait VectorZN extends VectorFN

    Definition Classes
    ZN

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. val Scalar: Integer.type

    Returns the scalar set of this module.

    Returns the scalar set of this module.

    Definition Classes
    Z3 → ZN → VectorSpace → AffineSpace

  5. implicit def ScalarTag: ClassTag[Integer]

    Definition Classes
    ZN → FN

  6. val Vector: Z3.type

    Returns the vector space underlying this module.

    Returns the vector space underlying this module.

    Definition Classes
    Z3 → AffineSpace

  7. def apply(coords: Array[Long]): Vector

    Returns a new vector with the given Long coordinates.

    Returns a new vector with the given Long coordinates.

    Definition Classes
    Z3 → ZN

  8. def apply(x: Scalar, y: Scalar, z: Scalar): Vector

    Returns a new vector with 𝑥, 𝑦 and 𝑧 coordinates.

    Returns a new vector with 𝑥, 𝑦 and 𝑧 coordinates.

    Definition Classes
    Z3 → F3

  9. def apply(coords: Array[Z3.Scalar]): Vector

    Returns a new vector with the given coordinates.

    Returns a new vector with the given coordinates.

    Definition Classes
    ZN → FN

  10. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  11. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  12. def dim: Int

    Returns the dimension of this module.

    Returns the dimension of this module.

    Definition Classes
    Z3 → F3 → FN

  13. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  14. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  15. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  16. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  17. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  19. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  20. final def notify(): Unit

    Definition Classes
    AnyRef

  21. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  22. def origin: Vector

    Returns the origin of this module.

    Returns the origin of this module.

    Definition Classes
    Z3 → AffineSpace

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

    Definition Classes
    AnyRef

  24. def toString(): String

    Definition Classes
    Z3 → AnyRef → Any

  25. def unapply(vector: Vector): Option[(Z3.Scalar, Z3.Scalar, Z3.Scalar)]

    Extracts the 𝑥, 𝑦 and 𝑧 coordinates from a vector.

    Extracts the 𝑥, 𝑦 and 𝑧 coordinates from a vector.

    Definition Classes
    F3

  26. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  28. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  29. val zero: Vector

    Returns the additive identity of this module.

    Returns the additive identity of this module.

    Definition Classes
    Z3 → ZN → F3 → FN → VectorSpace

Inherited from ZN

Inherited from F3

Inherited from FN

Inherited from VectorSpace

Inherited from AffineSpace

Inherited from AnyRef

Inherited from Any

Ungrouped