Unlisted
Edited
Nov 19, 2024
Importers
1 star
implied_values = property_names.entries().map(([id, name]) => {
if (search_derivations.values.has(id)) return {quantifier: "∀", values: search_derivations.values.get(id).value ? "✅" : "❌", id, name}
if (spaces_satisfying_search.size == 0) return {quantifier: "∃", values: "❓", id, name}
return {quantifier: "∃", id, name,
values: (spaces_satisfying_search.values().some(v => v.values.has(id) && v.values.get(id).value) ? "✅" : "")
+ (spaces_satisfying_search.values().some(v => v.values.has(id) && !v.values.get(id).value) ? "❌" : "")
+ (spaces_satisfying_search.values().some(v => !v.values.has(id)) ? "❓" : "")}
}).toArray()
redundant = distinct_equivalences2.values().map(a=>new Set(a.keys().drop(1)))
.reduce((a,c)=>a.union(c),new Set())
//distinct_equivalences.values().reduce((a,c)=>a.union(c),new Set())
extremal_equivalence_elements = distinct_equivalences2.map(m => {let s = new Set(m.keys());
s.delete("P000071"); //stupid hack
return new Map(m.entries().filter(p => s.intersection(implications.direct.get(p[0])[0]).size == 1 || s.intersection(implications.direct.get(p[0])[1]).size == 1))})
search_derivations.direct.values().reduce((a,c)=>a+c[0].size,0)
property_names = new Map(data.properties.map(p => [p.uid, p.name]))
spaces_assuming_search = new Map(spaces.entries().map(s => [s[0],derive(search_cnf,s[1])]))
spaces_satisfying_search = new Map(spaces.entries().filter(s => search_cnf.reduce((a,c) => a && c.entries().reduce((a2,c2)=> a2 || (s[1].values.has(c2[0]) && s[1].values.get(c2[0]).value == c2[1]),false), true)))
data2 = [...spaces_assuming_search.entries()].filter(s => s[1] !== "contradiction").map(s => s[1].values.entries().reduce((a,c)=>(a[c[0]]=c[1], a), {name: s[0]}))
spaces = new Map(data.spaces.map(s=>[s.uid,derive(data.traits.filter(t=>t.space == s.uid).map(t=>new Map([[t.property, t.value]])))]))
[...spaces.values()].reduce((a,c)=>a+c.values.size,0)
data = fetch(`https://pi-base-bundles.s3.us-east-2.amazonaws.com/refs/heads/${branch}.json`).then(response => response.json());
function unpad_uid(text) {
return text.replace(/([A-Z])0+/gi,"$1")
}
properties_in_search = search_cnf.reduce((a,c)=>a.union(c),new Set()).values().toArray()
selected_space_values = [...spaces_assuming_search.get(space_select[0]).values]
Purpose-built for displays of data
Observable is your go-to platform for exploring data and creating expressive data visualizations. Use reactive JavaScript notebooks for prototyping and a collaborative canvas for visual data exploration and dashboard creation.
