Closed adammlogan closed 9 months ago
In line 320 of ModFrmHilD/CanonicalRing/CanonicalRings.m, instead of require shouldBeZero the code should read require shouldBeZero eq 0. The existing version gives an error.
require shouldBeZero
require shouldBeZero eq 0
Thank you!
In line 320 of ModFrmHilD/CanonicalRing/CanonicalRings.m, instead of
require shouldBeZero
the code should readrequire shouldBeZero eq 0
. The existing version gives an error.