From 250c5cb139df7c52eadb6608437df8cb4d1cdc24 Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Wed, 7 Sep 2022 20:26:37 +0900 Subject: [PATCH] Some edits --- src/sage/homology/free_resolution.py | 4 ++++ src/sage/rings/ideal.py | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/sage/homology/free_resolution.py b/src/sage/homology/free_resolution.py index 59059ea1d40..7bdd8583ca0 100644 --- a/src/sage/homology/free_resolution.py +++ b/src/sage/homology/free_resolution.py @@ -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: @@ -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`` diff --git a/src/sage/rings/ideal.py b/src/sage/rings/ideal.py index 311b9c45a10..8e584ee0141 100644 --- a/src/sage/rings/ideal.py +++ b/src/sage/rings/ideal.py @@ -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)