New supernode type: FundamentalSupernode.

samuelsonric · Sep 27, 2023 · 8058489 · 8058489
1 parent fd7e214
commit 8058489
Show file tree

Hide file tree

Showing 13 changed files with 688 additions and 378 deletions.
diff --git a/docs/literate/pixel.jl b/docs/literate/pixel.jl
@@ -39,9 +39,9 @@ function PixelArray(f::Function, xdim::NamedTuple, ydim::NamedTuple, tol::Real)
 end;
 # For plotting:
 function Base.isless(x::Int, y::BoolRig)
-    y == true ? x < 1 : x < 0
+    x < y.value
 end;
-# Example 2.4.1 in Spivak et. al.
+# Example 2.4.1 in Spivak et al.
 # ```math
 # \begin{align*}
 # & \text{Solve relations:}      && \cos(\ln(z^2 + 10^{-3}x)) - x + 10^{-5}z^{-1} = 0 && \text{(Equation 1)} \\

diff --git a/docs/src/api.md b/docs/src/api.md
@@ -55,6 +55,7 @@ MetisJL_ND
 SupernodeType
 Node
 MaximalSupernode
+FundamentalSupernode
 ```
 
 ## Architectures

diff --git a/src/AlgebraicInference.jl b/src/AlgebraicInference.jl
@@ -2,7 +2,7 @@ module AlgebraicInference
 
 
 # Systems
-export CanonicalForm, DenseCanonicalForm, DenseGaussianSystem, GaussianSystem
+export GaussianSystem, CanonicalForm, DenseCanonicalForm, DenseGaussianSystem
 export ⊗, cov, invcov, normal, kernel, mean, oapply, var
 
 
@@ -17,13 +17,14 @@ export solve, solve!
 
 
 # Elimination
-export ChordalGraph, EliminationAlgorithm, EliminationTree, AMDJL_AMD, CuthillMcKeeJL_RCM,
-       JoinTree, MaximalSupernode, MetisJL_ND, MaxCardinality, MinDegree, MinFill, Node,
-       Order, OrderedGraph, SupernodeType
-
+export EliminationTree, JoinTree, Order, OrderedGraph
+export EliminationAlgorithm, AMDJL_AMD, ChordalGraph, CuthillMcKeeJL_RCM, MetisJL_ND,
+       MaxCardinality, MinDegree, MinFill
+export SupernodeType, FundamentalSupernode, MaximalSupernode, Node
+export width
 
 # Architectures
-export AncestralSampler, ArchitectureType, HUGIN, Idempotent, LauritzenSpiegelhalter,
+export ArchitectureType, AncestralSampler, HUGIN, Idempotent, LauritzenSpiegelhalter,
        ShenoyShafer