Metaticket - improvements to the Macaulay2 interface

[saliola]

"There are too many changes going on at once, so that a merge in the end might be difficult. In order to avoid such difficulties and to keep an overview of things that are happening (for me and others), I use this ticket from now on as a metaticket, where all latest changes are merged together." (copied from #28519).

Tickets:

• Fix caching of Macaulay2 polynomial rings #28074: Fix caching of Macaulay2 polynomial rings
• improve introspection of Macaulay2 interface #28565: improve introspection of Macaulay2 interface
• improve conversions between Macaulay2 and Sage #28566: improve conversions between Macaulay2 and Sage
• allow user to specify strategy for Groebner basis computations with Macaulay2 #28567: allow user to specify strategy for Groebner basis computations with Macaulay2
• implement _install_hints method for the Macaulay2 interface #28568: implement _install_hints method for the Macaulay2 interface
• pass 'macaulay2' as argument to '_macaulay2_init_()' #28571: pass 'macaulay2' as argument to 'macaulay2_init()' (Dependencies: Fix caching of Macaulay2 polynomial rings #28074)
• conversion of quotient rings to macaulay2 #28572: conversion of quotient rings to macaulay2 (Dependencies: allow user to specify strategy for Groebner basis computations with Macaulay2 #28567, pass 'macaulay2' as argument to '_macaulay2_init_()' #28571, Fix caching of Macaulay2 polynomial rings #28074)
• conversion of nested polynomial rings to Macaulay2 #28574: conversion of nested polynomial rings to Macaulay2 (Dependencies: improve conversions between Macaulay2 and Sage #28566, pass 'macaulay2' as argument to '_macaulay2_init_()' #28571, conversion of quotient rings to macaulay2 #28572, Fix caching of Macaulay2 polynomial rings #28074)
• convert chain complexes from Macaulay2 to Sage #28591: convert chain complexes from Macaulay2 to Sage (Dependencies: improve conversions between Macaulay2 and Sage #28566)

CC: @saliola @dimpase @antonleykin

Component: interfaces: optional

Keywords: macaulay2, IMA Coding Sprint

Branch/Commit: public/interfaces/m2/28573 @ 1368231

Issue created by migration from https://trac.sagemath.org/ticket/28573

[saliola]

Commit: db63b5f

[saliola]

comment:4

I created a branch that merges all the tickets together to see if there was any merge conflict. There was one, but it was easy to resolve.

---

Last 10 new commits:

1a873f7	Merge remote-tracking branch 'origin/public/interfaces/m2/macaulay2_init' into m2_quotient_rings
6e734c6	conversion of quotient rings to macaulay2 & improvements to conversion of ideals
6a537c8	28572: fix conversion of quotient rings from Macaulay2 to Sage
5ddbe5c	mark m2 doctests as optional
4b256a1	add _macaulay2_init_ method to QuotientRingElement
d1566e5	correct inaccuracy in doctest description
bd06a80	properly handle conversion of quotient ring elements & inherit variable names when converting from M2 quotient rings
ec1773e	disable caching of M2 conversion of polynomials in quotient rings (change _macaulay2_init_ to _macaulay2_)
25afa2f	simplify doctest
db63b5f	Merge remote-tracking branch 'origin/public/interfaces/m2/m2_quotient_rings' into m2-metaticket

[saliola]

Branch: public/interfaces/m2/28573

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

af595de	28574: construct Macaulay2 polynomial rings over arbitrary base rings
e854720	28574: fix conversion of polynomials to M2
49d5c0b	28574: convert elements of nested polynomial rings from M2 to sage
35d4205	Merge remote-tracking branch 'trac/u/gh-mwageringel/28574' into m2-metaticket

[sagetrac-git]

Changed commit from db63b5f to 35d4205

[sagetrac-git]

Changed commit from 35d4205 to d870598

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

00c028f	28567: add missing optional doctest flag
1ab09ea	Merge commit '00c028f94219dd8f5fbc68f566027ae1e80' into m2-metaticket
19d9995	28572: remove unnecessary doctests
d870598	Merge commit '19d9995883416aa73f370904c8cc2' into m2-metaticket

[sagetrac-git]

Changed commit from d870598 to 1368231

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

15d35e3	Merge remote-tracking branch 'origin/public/interfaces/m2/f4etc' into public/interfaces/m2/m2_quotient_rings
14dadd0	Merge remote-tracking branch 'origin/public/interfaces/m2/m2_quotient_rings' into m2-metaticket
af595de	28574: construct Macaulay2 polynomial rings over arbitrary base rings
e854720	28574: fix conversion of polynomials to M2
49d5c0b	28574: convert elements of nested polynomial rings from M2 to sage
23b2bf4	add "optional - macaulay2" flag to doctests
0c1e001	Merge remote-tracking branch 'origin/public/interfaces/m2/28566' into public/interfaces/m2/28574
72abe24	finish merging
a312b15	Merge branch 'public/interfaces/m2/m2_quotient_rings' into public/interfaces/m2/28574
1368231	Merge remote-tracking branch 'origin/public/interfaces/m2/28574' into m2-metaticket

[saliola]

comment:10

The current branch merges all the tickets in the following order:

• Fix caching of Macaulay2 polynomial rings #28074
• improve introspection of Macaulay2 interface #28565
• implement _install_hints method for the Macaulay2 interface #28568
• improve conversions between Macaulay2 and Sage #28566
• allow user to specify strategy for Groebner basis computations with Macaulay2 #28567
• pass 'macaulay2' as argument to '_macaulay2_init_()' #28571
• conversion of quotient rings to macaulay2 #28572
• conversion of nested polynomial rings to Macaulay2 #28574

and everything merges cleanly.

[embray]

comment:12

Ticket retargeted after milestone closed

[mkoeppe]

comment:13

Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.

[mkoeppe]

comment:15

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.