From 0c4533bdf381392a4713d05e572495a3b1e2767b Mon Sep 17 00:00:00 2001 From: Fadi Shawki Date: Wed, 17 Jan 2024 14:39:27 +0100 Subject: [PATCH] 2024/01/17 - .equivalent --- src/@orbitmines/explorer/Ray.spec.ts | 58 +++++++++++++++++++------ src/@orbitmines/explorer/Ray.ts | 65 ++++++++++++---------------- 2 files changed, 71 insertions(+), 52 deletions(-) diff --git a/src/@orbitmines/explorer/Ray.spec.ts b/src/@orbitmines/explorer/Ray.spec.ts index 4021ecd..924160f 100644 --- a/src/@orbitmines/explorer/Ray.spec.ts +++ b/src/@orbitmines/explorer/Ray.spec.ts @@ -434,6 +434,9 @@ describe("Ray", () => { const A = Ray.None().o({ js: 'A' }).as_reference(); // TODO Tagging the 'NONE' vertices here is incredibly inconsistent, but just to demonstrate the test. const B = Ray.None().o({ js: 'B' }).as_reference(); + expect(A.type).toBe(RayType.VERTEX); + expect(B.type).toBe(RayType.VERTEX); + expect(A.is_none()).toBe(true); expect(A.self.any.js).toBe('A'); expect(A.self.self.any.js).toBe('A'); @@ -444,7 +447,10 @@ describe("Ray", () => { expect(B.self.self.any.js).toBe('B'); expect(B.self.self.self.any.js).toBe('B'); - const ret = A.equivalent(B); + A.equivalent2(B); + + expect(A.type).toBe(RayType.REFERENCE); // Turns A into a reference to B. + expect(B.type).toBe(RayType.REFERENCE); // Turns B into a reference to A. expect(A.is_none()).toBe(false); expect(A.self.any.js).toBe('A'); @@ -456,30 +462,36 @@ describe("Ray", () => { expect(B.self.self.any.js).toBe('A'); expect(B.self.self.self.any.js).toBe('B'); }); - test(".None.#.equivalent(.vertex.#)", () => { - const A = Ray.None().as_reference(); - const B = Ray.vertex().o({ js: 'B' }).as_reference().o({ js: 'B.#' }); - - // const ret = A.equivalent(B); - - // expect() - }); test(".vertex.#.equivalent(.vertex.#)", () => { const A = Ray.vertex().o({ js: 'A' }).as_reference().o({ js: 'A.#' }); const B = Ray.vertex().o({ js: 'B' }).as_reference().o({ js: 'B.#' }); + expect(A.type).toBe(RayType.VERTEX); + expect(B.type).toBe(RayType.VERTEX); expect(A.any.js).toBe('A.#'); expect(B.any.js).toBe('B.#'); - const ret = A.equivalent(B); + expect(A.is_none()).toBe(false); + expect(A.dereference.is_none()).toBe(true); - expect(A.self.any.js).toBe('A'); - expect(B.self.any.js).toBe('B'); + expect(B.is_none()).toBe(false); + expect(B.dereference.is_none()).toBe(true); - expect(A.self.self.any.js).toBe('B'); - expect(B.self.self.any.js).toBe('A'); + let ret = A.equivalent2(B); + expect(A.type).toBe(RayType.VERTEX); + expect(B.type).toBe(RayType.VERTEX); + expect(A.self.type).toBe(RayType.VERTEX); + expect(B.self.type).toBe(RayType.VERTEX); + + expect(A.is_none()).toBe(false); + expect(A.self.any.js).toBe('A'); + expect(A.self.self.any.js).toBe('B'); expect(A.self.self.self.any.js).toBe('A'); + + expect(B.is_none()).toBe(false); + expect(B.self.any.js).toBe('B'); + expect(B.self.self.any.js).toBe('A'); expect(B.self.self.self.any.js).toBe('B'); expect(ret.self.initial.any.js).toBe('A.#'); @@ -492,6 +504,24 @@ describe("Ray", () => { expect(ret.self.terminal.self.self.any.js).toBe('A'); expect(ret.self.terminal.self.self.self.any.js).toBe('B'); }); + test(".None.#.equivalent(.None.#) ;.equivalent(.None.#)", () => { + const A = Ray.None().o({ js: 'A' }).as_reference(); // TODO Tagging the 'NONE' vertices here is incredibly inconsistent, but just to demonstrate the test. + const B = Ray.None().o({ js: 'B' }).as_reference(); + const C = Ray.None().o({ js: 'C' }).as_reference(); + + let ret = A.equivalent2(B); + + ret = B.equivalent2(C); + + }); + test(".None.#.equivalent(.vertex.#)", () => { + const A = Ray.None().as_reference(); + const B = Ray.vertex().o({ js: 'B' }).as_reference().o({ js: 'B.#' }); + + // const ret = A.equivalent(B); + + // expect() + }); test("[A, B, C][.as_array, ...]", () => { const A = Ray.vertex().o({ js: 'A' }).as_reference().o({ js: 'A.#' }); const B = Ray.vertex().o({ js: 'B' }).as_reference().o({ js: 'B.#' }); diff --git a/src/@orbitmines/explorer/Ray.ts b/src/@orbitmines/explorer/Ray.ts index ede5311..116ef3f 100644 --- a/src/@orbitmines/explorer/Ray.ts +++ b/src/@orbitmines/explorer/Ray.ts @@ -151,6 +151,8 @@ export class Ray // Other possibly names: AbstractDirectionality, ..., ?? * Can be used to override default dereference behavior. * * TODO: This should probably be configurable on a more global setting. + * + * TODO: Difference between this.self and this.self.self.as_reference is??? */ get dereference() { return this.self.self.as_reference(); } @@ -337,16 +339,36 @@ export class Ray // Other possibly names: AbstractDirectionality, ..., ?? static equivalent2 = Ray.___func(ref => { let { initial, terminal} = ref.self; - initial.as_vertex().compose(terminal.as_vertex()); + /** + * The simplest case, is where both sides are only aware of themselves (on .vertex). The only thing we need to do is turn an Orbit, to an Orbit which repeats every 2 steps, the intermediate step being the other thing. + * + * Or in textual terms something like: + * - A single Orbit: `(A.self = A) | (B.self = B)` (i.e. A.is_none && B.is_none) + * - To: `(A.self = B) | (B.self = A)` + * + * Basically turns `A` into a reference to `B`, and `B` into a reference to `A`. + */ + const ignorant_equivalence = (): Ray => { + initial.self.vertex = terminal.self.as_arbitrary(); + terminal.self.vertex = initial.self.as_arbitrary(); + return ref; + } + + // 2x Ray.None -> Turn into 2 empty references, referencing each-other. + if (initial.is_none() && terminal.is_none()) + return ignorant_equivalence(); + + // Two structures, which have `ref.self = Ray.None` -> Turn into two structures referencing each-other. + if (initial.dereference.is_none() && terminal.dereference.is_none()) + return ignorant_equivalence(); + + throw new NotImplementedError(`[${initial.type}] .equiv [${terminal.type}]`); + // initial.as_vertex().compose(terminal.as_vertex()); return ref; }); equivalent2 = Ray.equivalent2.as_method(this); - - /** - * Equivalence in this context, is best understood as the drawing of the line between two things. And ensures that the line can be found on the `.vertex/.self` of those two things. (Albeit in an arbitrary place on it). - */ static equivalent= Ray.___func(ref => { let { initial, terminal } = ref.self; @@ -354,42 +376,9 @@ export class Ray // Other possibly names: AbstractDirectionality, ..., ?? // TODO: IS THIS EVEN HOW THIS SHOULD WORK?? - Now just takes the pointer and assumes that as its own - // TODO: Returns the ref, since it still holds the information on how they're not the same??? - Need some intuitive way of doing this? // TODO a.equivalent(b).equivalent(c), in this case would be [[a, b]].equivalent(c) not [a, b, c].equivalent ??? - /** - * The type of equivalence so [initial.type, terminal.type], doesn't matter for us to do this equivalence. So we don't need an "initial.___primitive_switch + terminal.___primitive_switch" here, but instead we go directly to the things we're referencing: {initial.self} & {terminal.self} (TODO: is this actually the case??) - * - * initial / terminal - Two ('references') to things we're equivalencing - * initial.self / terminal.self - Two things/.../abstract directions/rays we actually want to connect - * initial.self.self / terminal.self.self - The direction which defines what it's connected to (could be ignorant) - */ - - if (initial.self.is_none() && terminal.self.is_none()) { - /** - * Basically turns an Orbit which repeats on every step, to one which repeats every 2 steps. - * Or in textual terms something like: `(A.self = A) | (B.self = B)` to `(A.self = B) | (B.self = A)`. - */ - - initial.self.self = terminal.self.as_arbitrary(); - terminal.self.self = initial.self.as_arbitrary(); - - return ref; - } - - if (initial.self.is_none() || terminal.self.is_none()) { - /** - * Basically when [].self === [].self.self - See "{Ray.is_orbit}". - * - * TODO: "This is basically already the case, they're already equivalent. - Could take this to mean that we want a degree of separation between them??" - */ - throw new PreventsImplementationBug(`Not expecting empty equivalences (for now)`); //TODO ?? What to do with these? - } - - if (initial.type === RayType.REFERENCE || terminal.type === RayType.REFERENCE) - throw new PreventsImplementationBug(`Not expecting references? ${initial.type}/${terminal.type}`); // TODO REMOVE - if (initial.self.self.is_none() && terminal.self.self.is_none()) { // throw new NotImplementedError('a'); /**