It looks as if Sage blindly runs is_homogeneous() - and this is not needed.
Namely, after I get rid of these checks:
-- a/src/sage/rings/polynomial/multi_polynomial_ideal.py
+++ b/src/sage/rings/polynomial/multi_polynomial_ideal.py
@@ -3025,8 +3025,8 @@ class MPolynomialIdeal_singular_repr(
On Tue, Jul 4, 2023 at 12:26 PM Kwankyu Lee wrote:
>
> Also, as far as I understand, Sage can compute the minimal free resolution of
> the module of syzygies of S, and from the resolution the presentation can be
> assembled.
>
>
> Yes. It's here:
> https://doc.sagemath.org/html/en/reference/resol
If I understand correctly, Macaulay2 does this in the SubalgebraBases
package: https://arxiv.org/abs/2302.12473 might provide inspiration?
On Tuesday, July 4, 2023 at 6:39:53 AM UTC-5 Dima Pasechnik wrote:
>
>
> On Tue, 4 Jul 2023, 12:26 Kwankyu Lee, wrote:
>
>> Also, as far as I understand, Sa
On Tue, 4 Jul 2023, 12:26 Kwankyu Lee, wrote:
> Also, as far as I understand, Sage can compute the minimal free resolution
> of
> the module of syzygies of S, and from the resolution the presentation can
> be
> assembled.
>
>
> Yes. It's here:
> https://doc.sagemath.org/html/en/reference/resoluti
Also, as far as I understand, Sage can compute the minimal free resolution
of
the module of syzygies of S, and from the resolution the presentation can
be
assembled.
Yes. It's
here: https://doc.sagemath.org/html/en/reference/resolutions/index.html
So it seems that the only missing bit is