M2
M2 copied to clipboard
Thirteen Ways of Looking at a GröbnerBasis
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 }
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 }
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.