added fix for delta_sym with finite fields

oscar-system · Jan 16, 2024 · 398d1f9 · 398d1f9
1 parent a4ec502
commit 398d1f9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/experimental/AlgebraicShifting/src/AlgebraicShifting.jl b/experimental/AlgebraicShifting/src/AlgebraicShifting.jl
@@ -116,8 +116,9 @@ function delta_sym(F::Field, K::SimplicialComplex)
 
     for b in mb
       transformed_monomial = evaluate(b, Y * gens(R_K))
-      # this part will need to be adjusted for finite fields
-      non_zero_terms = filter(x -> !is_zero(R_K(x)), collect(terms(lift(transformed_monomial))))
+      # this can be moved outside loop at some point
+      non_zero_terms = filter(x -> !is_zero(R_K(x)),
+                              collect(monomials(lift(transformed_monomial))))
       generic_col = first.(coefficients.(non_zero_terms))
       push!(A, generic_col)
     end