Skip to content

Commit

Permalink
Change maximal associated points back to the old version.
Browse files Browse the repository at this point in the history
Co-authored-by: Simon Brandhorst <[email protected]>
  • Loading branch information
HechtiDerLachs and simonbrandhorst authored Apr 16, 2024
1 parent d550419 commit 7e4cb4f
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions experimental/Schemes/IdealSheaves.jl
Original file line number Diff line number Diff line change
Expand Up @@ -833,10 +833,7 @@ function maximal_associated_points(I::AbsIdealSheaf; covering=default_covering(s
isone(J) && continue
end
!is_one(I(U)) || continue ## supp(I) might not meet all components
dim(I(U)) == dim(I) || continue ## components of lesser dimension can be discarded
components_here = minimal_primes(I(U))
#@assert all(p->is_prime(p), components_here)
@assert all(p->dim(p) == dim(I), components_here) "not all minimal primes have the correct dimension"
if has_decomposition_info(covering)
# We only need those components which are located at the locus presrcibed by the
# decomposition_info in this chart
Expand Down

0 comments on commit 7e4cb4f

Please sign in to comment.