EquivariantGB : Table of Contents

• EquivariantGB -- a package for computing equivariant Gröbner bases

  • egb -- computes equivariant Gröbner bases
  • buildERing -- creates a ring to be used with other functions in the EquivariantGB package
• buildEMonomialMap -- builds an equivariant ring map
• buildERing(Ring,ZZ) -- creates a ERing from existing ERing
• Completely (missing documentation)
• egb(...,Algorithm=>...) -- algorithm choice for egb
• egbToric -- computes the kernel of an equivariant monomial map
• exponentMatrix -- puts the exponent of a monomial into matrix form
• incOrbit -- the increasing map orbit of an element
• OutFile -- where to send messages
• PrincipalSyzygies (missing documentation)
• PriorityQueue -- an efficient mutable priority queue implementation

  • priorityQueue -- create a new PriorityQueue
  • insert(PriorityQueue,Thing) -- insert a new element into the queue
  • min(PriorityQueue) -- return the minimum element of the queue
  • deleteMin -- deletes the minimum element of the queue
  • pop -- returns the minimum element of the queue and deletes it
  • mergePQ -- merges two queues
  • length(PriorityQueue) -- returns the number of elements in the queue
• reduce -- computes an equivariant normal form
• Shift (missing documentation)
• shift (missing documentation)
• Symmetrize (missing documentation)