createConceptSet

TODO.md

@@ -1,3 +1,8 @@
+# concept
+
+`conceptJoin`
+`conceptMeet`
+
 # context
 
 `generateConcepts(context)`

src/concept/conceptEqual.ts

@@ -0,0 +1,7 @@
+import { setEqual } from "../utils/Set.js"
+import type { Concept } from "./Concept.js"
+
+export function conceptEqual(x: Concept, y: Concept): boolean {
+  if (x.context !== y.context) return false
+  return setEqual(x.extent, y.extent)
+}

src/concept/createConceptSet.ts

@@ -0,0 +1,7 @@
+import { QuotientSet } from "../utils/QuotientSet.js"
+import type { Concept } from "./Concept.js"
+import { conceptEqual } from "./conceptEqual.js"
+
+export function createConceptSet(): QuotientSet<Concept> {
+  return new QuotientSet({ equal: conceptEqual })
+}

src/concept/index.ts

@@ -5,3 +5,5 @@ export * from "./conceptFromAttributes.js"
 export * from "./conceptFromEntities.js"
 export * from "./isExtent.js"
 export * from "./isIntent.js"
+export * from "./conceptEqual.js"
+export * from "./createConceptSet.js"

src/context/generateConcepts.ts

@@ -1,8 +1,18 @@
-import type { Concept } from "../concept/index.js"
+import {
+  conceptFromEntities,
+  createConceptSet,
+  type Concept,
+} from "../concept/index.js"
 import type { Context } from "./index.js"
 
 export function generateConcepts(context: Context): Array<Concept> {
-  const targets: Array<Concept> = []
-  const results: Array<Concept> = []
-  return results
+  const targets = createConceptSet()
+  const results = createConceptSet()
+  for (const entity of context.entities) {
+    const entityConcept = conceptFromEntities(context, [entity])
+    targets.add(entityConcept)
+    results.add(entityConcept)
+  }
+
+  return results.representatives
 }