Packages

  • package root
    Definition Classes
    root
  • package org
    Definition Classes
    root
  • package opentorah
    Definition Classes
    org
  • package numbers

    Number System.

    Number System.

    Each number system S (derived from org.opentorah.numbers.Numbers#Number) supports two flavors of org.opentorah.numbers.Numbers#Number: S#Point (derived from org.opentorah.numbers.Numbers#PointNumber and S#Vector (derived from org.opentorah.numbers.Numbers#VectorNumber.

    This distinction allows definitions of operations to be constrained to the types where a give operation makes sense: -: (Vector, Vector) => Vector with right unit Vector.zero; +: (Vector, Vector) => Vector with unit Vector.zero; -: (Point, Point) => Vector; +: (Point, Vector) => Point with left unit Point.zero and its "commutation" +: (Vector, Point) => Point with right unit Point.zero.

    This distinction may seem to be artificial: after all, given operations -: (Point, Point) => Vector and +: (Point, Vector) => Point, we have an isomorphism between Points and Vectors: ptov(p) = p - Point.zero, vtop(v) = Point.zero + v.

    Indeed, there is not much difference between the two when we are talking about angles. However, for dates (Points) it makes sense to ask what year/month the date is in - but not for time intervals (Vectors)!

    Definition Classes
    opentorah
  • trait DigitsDescriptor extends AnyRef
    Definition Classes
    numbers
  • DigitBase

class DigitBase extends Digit

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

Instance Constructors

  1. new DigitBase(sign: String)

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. final def position: Int
    Definition Classes
    DigitBaseDigit
  15. val sign: String
    Definition Classes
    DigitBaseDigit
  16. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  17. def toString(): String
    Definition Classes
    AnyRef → Any
  18. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  19. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  20. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from Digit

Inherited from AnyRef

Inherited from Any

Ungrouped