extract attributeConceptOf & entityConceptOf

Author: xieyuheng

src/concept-lattice/generate-by-join-and-meet-are-the-same.test.ts

@@ -2,6 +2,7 @@ import assert from "node:assert"
 import test from "node:test"
 import { createContextFromCrossTable } from "../context/createContextFromCrossTable.js"
 import { planets } from "../examples/planets.js"
+import { waterbodies } from "../examples/waterbodies.js"
 import { generateConceptSetByJoin } from "./generateConceptSetByJoin.js"
 import { generateConceptSetByMeet } from "./generateConceptSetByMeet.js"
 
@@ -15,12 +16,12 @@ test("by join and meet are the same -- planets", () => {
   )
 })
 
-// test("by join and meet are the same -- waterbodies", () => {
-//   const context = createContextFromCrossTable(waterbodies)
+test("by join and meet are the same -- waterbodies", () => {
+  const context = createContextFromCrossTable(waterbodies)
 
-//   assert(
-//     generateConceptSetByJoin(context).isEqualTo(
-//       generateConceptSetByMeet(context),
-//     ),
-//   )
-// })
+  assert(
+    generateConceptSetByJoin(context).isEqualTo(
+      generateConceptSetByMeet(context),
+    ),
+  )
+})

src/concept/attributeConceptOf.ts

@@ -0,0 +1,10 @@
+import type { Attribute, Context } from "../context/Context.js"
+import type { Concept } from "./Concept.js"
+import { conceptFromAttributes } from "./conceptFromAttributes.js"
+
+export function attributeConceptOf(
+  context: Context,
+  attribute: Attribute,
+): Concept {
+  return conceptFromAttributes(context, [attribute])
+}

src/concept/entityConceptOf.ts

@@ -0,0 +1,7 @@
+import type { Context, Entity } from "../context/Context.js"
+import type { Concept } from "./Concept.js"
+import { conceptFromEntities } from "./conceptFromEntities.js"
+
+export function entityConceptOf(context: Context, entity: Entity): Concept {
+  return conceptFromEntities(context, [entity])
+}

src/concept/index.ts

@@ -1,4 +1,5 @@
 export * from "./assertSameContext.js"
+export * from "./attributeConceptOf.js"
 export * from "./bottomConcept.js"
 export * from "./closureAttributes.js"
 export * from "./closureEntities.js"
@@ -9,6 +10,7 @@ export * from "./conceptFromEntities.js"
 export * from "./conceptJoin.js"
 export * from "./conceptMeet.js"
 export * from "./createConceptSet.js"
+export * from "./entityConceptOf.js"
 export * from "./isExtent.js"
 export * from "./isIntent.js"
 export * from "./topConcept.js"