Function DISTANCE

• Defined in theory: Quantity-spaces
• Source code: quantity-spaces.lisp
• Also defined in: Simple-geometry

Slots on this function:

Documentation:

The DISTANCE function is intended to be polymorphically defined for each quantity space. Its always maps two points in the space to a scalar-quantity. It must be commutative.

Arity: 3

Axioms:

(Nth-Domain Distance 3 Scalar-Quantity)

(= (Distance ?B ?C) (Distance ?C ?B))

(Zero-Quantity (Distance ?A ?A))

(=> (Distance ?X1 ?X2 ?D)
    (Exists (?Sp)
            (And (Quantity-Space ?Sp)
                 (Point-In ?X1 ?Sp)
                 (Point-In ?X2 ?Sp))))