subsume 0.6.0

Geometric region embeddings (boxes, cones, octagons, Gaussians, hyperbolic intervals, sheaf networks) for subsumption, entailment, and logical query answering
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

<!-- KaTeX CSS -->
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/katex.min.css" crossorigin="anonymous">

<!-- KaTeX JavaScript -->
<!--
Note: we intentionally do not use SRI hashes here.
In practice these files are used in multiple contexts (rustdoc, local previews, etc.) and
stale/incorrect integrity values fail closed and silently break rendering.
-->
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/katex.min.js" crossorigin="anonymous"></script>
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/contrib/auto-render.min.js" crossorigin="anonymous"></script>

<script>
// Configure KaTeX to render math in rustdoc
document.addEventListener("DOMContentLoaded", function() {
    // Render math in all documentation content
    renderMathInElement(document.body, {
        delimiters: [
            {left: "\\[", right: "\\]", display: true},
            {left: "\\(", right: "\\)", display: false},
            {left: "$$", right: "$$", display: true},
            {left: "$", right: "$", display: false}
        ],
        throwOnError: false,
        strict: false,
        trust: true
    });
    
    // Also watch for dynamically loaded content (rustdoc uses JS to load content)
    const observer = new MutationObserver(function(mutations) {
        mutations.forEach(function(mutation) {
            mutation.addedNodes.forEach(function(node) {
                if (node.nodeType === 1) { // Element node
                    renderMathInElement(node, {
                        delimiters: [
                            {left: "\\[", right: "\\]", display: true},
                            {left: "\\(", right: "\\)", display: false},
                            {left: "$$", right: "$$", display: true},
                            {left: "$", right: "$", display: false}
                        ],
                        throwOnError: false,
                        strict: false,
                        trust: true
                    });
                }
            });
        });
    });
    
    // Observe the main content area
    const content = document.querySelector('.content') || document.querySelector('main') || document.body;
    if (content) {
        observer.observe(content, {
            childList: true,
            subtree: true
        });
    }
});
</script>

<style>
/* Enhance KaTeX rendering in rustdoc */
.rustdoc .katex {
    font-size: 1.1em;
}

.rustdoc .katex-display {
    margin: 1.5em 0;
    overflow-x: auto;
    overflow-y: hidden;
}

/* Better spacing for math in doc comments */
.rustdoc .docblock .katex-display {
    margin: 1em 0;
}

.rustdoc .docblock .katex {
    font-size: 1.05em;
}
</style>