adds is_shifted

experimental/AlgebraicShifting/src/UniformHypergraph.jl

@@ -52,6 +52,8 @@ function Base.:(==)(K :: UniformHypergraph, L :: UniformHypergraph)
 end
 
 raw""" Alexander dual, seen as bijection ``\binom{[n]}{k} \to \binom{[n]}{n-k}`` """
-function alexander_dual(K :: UniformHypergraph)
+function alexander_dual(K::UniformHypergraph)
   return uniform_hypergraph(alexander_dual(simplicial_complex([[[i] for i in 1:K.n_vertices]; K.faces])), K.n_vertices - K.k)
 end
+
+is_shifted(K::UniformHypergraph) = is_shifted(simplicial_complex(K))

src/Combinatorics/SimplicialComplexes.jl

@@ -710,3 +710,7 @@ end
 function barycentric_subdivision(K::SimplicialComplex)
   return SimplicialComplex(Polymake.topaz.barycentric_subdivision(pm_object(K))) 
 end
+
+function is_shifted(K::SimplicialComplex)
+  return pm_object(K).SHIFTED
+end

src/exports.jl

@@ -899,6 +899,7 @@ export is_right
 export is_semiregular
 export is_semisimple
 export is_semistandard
+export is_shifted
 export is_simple, has_is_simple, set_is_simple
 export is_simplicial
 export is_singular