Skip to content

Commit

Permalink
Revert "Temporarily disable some tests."
Browse files Browse the repository at this point in the history
This reverts commit c57126a.
  • Loading branch information
HechtiDerLachs committed Nov 25, 2024
1 parent fa2634c commit 54a2176
Showing 1 changed file with 0 additions and 9 deletions.
9 changes: 0 additions & 9 deletions test/Modules/deRhamComplexes.jl
Original file line number Diff line number Diff line change
Expand Up @@ -46,14 +46,6 @@
@test d2(A(1//x)*WA[2][4]) == -A(1//x^2)*WA[3][1]

# The graded case
# This is disabled for the moment.
# The problem is that `presentation` does not accept zero generators
# for graded modules, but these occur often in this setup.
# We need to keep these generators, because exterior multiplication
# depends on the number and position of the generators.
#
# This is an ongoing issue; see #4349.
#=
S, _ = grade(R)
I = ideal(S, S[4])
A, pr = quo(S, I)
Expand All @@ -67,5 +59,4 @@
d2 = map(WA, 2)
@test d2(A(x)*WA[2][4]) == WA[3][1]
@test "$(WA[2])" == "$(Oscar.is_unicode_allowed() ? "Ω" : "\\Omega")^2($A)"
=#
end

0 comments on commit 54a2176

Please sign in to comment.