Overview

The developed package consists of three modules which compute the Gröbner bases of normal, (mixed) ladder, and Schubert determinantal ideals respectively and one module with supporting functions like those for the RSK correspondence, the straightening law, and pipe dreams from combinatorics. The corresponding modules and the functions they contain in this software package are summarized in the below.

Resources

• Download: The software package can be downloaded from HERE.
• Manual: Detailed descriptions of all the functions available at the package can be found HERE.

Installation

1. Use the following command in Maple to add the modules from DetGB to the Maple library (replace "your_directory" below with the actual directory where the file "DetGB.mla" is located):
         libname := libname, "your_directory";
   


2. Use the command "with(DetGB)" to show the four modules: DetIdeal, Schubert, Ladder, and Combin.
   Take DetIdeal for example, one can use either "with(DetIdeal)" or "DetIdeal[command]" to access a command provided by this module. Others are called exactly in the same way.

Developers

Chenqi Mou, Qiuye Song, and Yutong Zhou, Beihang University, China
Contact: Dr. Chenqi Mou, chenqi[dot]mou[at]gmail[dot]com

References

Chenqi Mou and Qiuye Song, On the Reduced Gröbner Bases of Blockwise Determinantal Ideals, arXiv preprint arXiv:2309.15035 [link]