From a527feefa6bcfb4f8060df521001e28fbe575830 Mon Sep 17 00:00:00 2001 From: Fadi Shawki Date: Wed, 17 Jan 2024 13:25:20 +0100 Subject: [PATCH] 2024/01/17 - Some minor doc changes from thoughts last night --- src/@orbitmines/explorer/Ray.ts | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/@orbitmines/explorer/Ray.ts b/src/@orbitmines/explorer/Ray.ts index 202c884..ede5311 100644 --- a/src/@orbitmines/explorer/Ray.ts +++ b/src/@orbitmines/explorer/Ray.ts @@ -329,6 +329,9 @@ export class Ray // Other possibly names: AbstractDirectionality, ..., ?? * - `A.equivalent(B)` = `A.as_vertex().compose(B.as_vertex())` * - `A.equivalent(B).equivalent(C)` = `A.as_vertex().compose(B.as_vertex()).compose(C.as_vertex())` * + * An equivalence is best understood as the drawing of a single line between two things. Where those two things might have arbitrary structure around them, but we're not checking the (non-)existence of that structure. And thus: + * - An equivalence, is only a local equivalence, no global coherence of it can be guaranteed. (or: Changes of an equivalence are only applied locally, which could have global effects, but this isn't necessarily obvious). + * * @see https://orbitmines.com/papers/on-orbits-equivalence-and-inconsistencies#:~:text=On%20Equivalences%20%26%20Inconsistencies */ static equivalent2 = Ray.___func(ref => {