Macaulay2 / M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
https://macaulay2.com
330 stars 227 forks source link

Thirteen Ways of Looking at a GröbnerBasis #1347

Open mahrud opened 4 years ago

mahrud commented 4 years ago

This is a tad overwhelming:

i1 : about "bner"

o1 =
     {31 => Macaulay2Doc::computing Groebner bases                                    }
     {32 => Macaulay2Doc::Elementary uses of Groebner bases I. Math 634 Fall 2005     }
     {33 => Macaulay2Doc::fine control of a Groebner basis computation                }
     {36 => Macaulay2Doc::Gröbner bases                                              }
     {37 => Macaulay2Doc::Groebner basis examples and applications                    }
     {38 => Macaulay2Doc::GroebnerBasis                                               }
     {39 => Macaulay2Doc::groebnerBasis                                               }
     {40 => Macaulay2Doc::groebnerBasis(..., Strategy => ...)                         }
     {44 => Macaulay2Doc::GroebnerBasisOptions                                        }
     {58 => Macaulay2Doc::simple Groebner basis computations over various rings       }
     {64 => Macaulay2Doc::Tutorial: Elementary uses of Groebner bases                 }
     {65 => Macaulay2Doc::what is a Groebner basis?                                   }
...
     {14 => Macaulay2Doc::gb                                       }
mahrud commented 4 years ago

PS:

      {2 => Macaulay2Doc::definition of product (block) orders            }
      {3 => Macaulay2Doc::examples of specifying alternate monomial orders}
      {4 => Macaulay2Doc::monomial orderings                              }
      {5 => Macaulay2Doc::monomial orders for free modules                }
      {6 => Macaulay2Doc::obtaining the monomial order of a ring          }
      {7 => Macaulay2Doc::order                                           }
      {8 => Macaulay2Doc::Schreyer orders                                 }
...
      {29 => Macaulay2Doc::MonomialOrder                                           }
      {34 => Macaulay2Doc::Order                                                   }
      {35 => Macaulay2Doc::OrderedMonoid                                           }
      {36 => Macaulay2Doc::ProductOrder                                            }
      {38 => Macaulay2Doc::Ring OrderedMonoid                                      }
      {41 => Macaulay2Doc::schreyerOrder                                           }
mahrud commented 5 months ago

Continuing in this trend:

i1 : about "modules"
...
     {3 => Macaulay2Doc::constructing maps between modules      }
     {4 => Macaulay2Doc::equality and containment of modules    }
     {5 => Macaulay2Doc::free modules                           }
     {6 => Macaulay2Doc::free resolutions of modules            }
     {7 => Macaulay2Doc::generators of ideals and modules       }
     {8 => Macaulay2Doc::graded modules                         }
     {9 => Macaulay2Doc::homomorphisms (maps) between modules   }
     {10 => Macaulay2Doc::ideals to and from modules            }
     {11 => Macaulay2Doc::information about a map of modules    }
     {12 => Macaulay2Doc::making modules from matrices          }
     {13 => Macaulay2Doc::manipulating modules                  }
     {14 => Macaulay2Doc::maps between modules                  }
     {15 => Macaulay2Doc::matrices to and from modules          }
     {16 => Macaulay2Doc::modules                               }
     {17 => Macaulay2Doc::modules in Macaulay2                  }
     {18 => Macaulay2Doc::monomial orders for free modules      }
     {19 => Macaulay2Doc::right modules or left modules?        }
     {20 => Macaulay2Doc::submodules and quotients              }
     {21 => Macaulay2Doc::subquotient modules                   }

Including nodes such as:

i5 : help "equality and containment of modules"

o5 = equality and containment of modules
     ***********************************

     ==, isSubset

i6 : help "graded modules"

o6 = graded modules
     **************

i7 : help "information about a map of modules"

o7 = information about a map of modules
     **********************************

     usual information: source, target, ring.