Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Some edits
Browse files Browse the repository at this point in the history
  • Loading branch information
kwankyu committed Sep 7, 2022
1 parent 5c35ae5 commit 250c5cb
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 1 deletion.
4 changes: 4 additions & 0 deletions src/sage/homology/free_resolution.py
Original file line number Diff line number Diff line change
Expand Up @@ -138,6 +138,8 @@ def __classcall_private__(cls, module, *args, graded=False, degrees=None, shifts
False
sage: xb, yb = Q.gens()
sage: FreeResolution(Q.ideal([xb])) # has torsion
Traceback (most recent call last):
...
NotImplementedError: the ring must be a polynomial ring using Singular
"""
if degrees is not None or shifts is not None:
Expand Down Expand Up @@ -743,7 +745,9 @@ class FiniteFreeResolution_singular(FiniteFreeResolution):
- ``module`` -- a submodule of a free module `M` of rank `n` over `S` or
an ideal of a multi-variate polynomial ring
- ``name`` -- string (optional); name of the base ring
- ``algorithm`` -- (default: ``'heuristic'``) Singular algorithm
to compute a resolution of ``ideal``
Expand Down
2 changes: 1 addition & 1 deletion src/sage/rings/ideal.py
Original file line number Diff line number Diff line change
Expand Up @@ -1218,7 +1218,7 @@ def free_resolution(self, *args, **kwds):
S^1 <-- S^1 <-- 0
"""
if not self.is_principal():
raise NotImplementedError("the ideal must be a prinical ideal")
raise NotImplementedError("the ideal must be a principal ideal")
from sage.homology.free_resolution import FiniteFreeResolution_free_module
return FiniteFreeResolution_free_module(self, *args, **kwds)

Expand Down

0 comments on commit 250c5cb

Please sign in to comment.