MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am doing a counting problem, and it comes to compute intersection products ( Chow ring ) on some varieties. Is there any computer algebra that deals with this?

share|cite|improve this question
If not, then see here: – Steve Huntsman Mar 18 '10 at 3:12
Also, many enumeration problems deal with toric varieties, for which see here: – Steve Huntsman Mar 18 '10 at 3:14

Schubert2 in Macaulay2 and the original maple package schubert let you build enough of the chow rings of parameter spaces to tackle some enumerative geometry problems like those of "Kalkül der abzählenden Geometrie" by H. Schubert (1879):

Count the number of space conics intersecting 8 given lines

> with(schubert):

> grass(3,4,d,all):

> Proj(f,dual(symm(2,Qd)),e):

> integral(Gd,lowerstar(f,(2*d1+e)^8));


(Example 3.2.22 of "Intersection Theory" by W. Fulton (1984))

share|cite|improve this answer

It would help to know the context of your work better - what category are you working in?

I currently work computing arithmetic (Arakelov) intersection pairings on curves, for which I use magma, doing the actual calculations using either resultants or Grobner bases (at least at finite primes); all you are calculating are the lengths of modules, which is fairly standard for commutative algebra software I assume.

share|cite|improve this answer

For Grassmannians, see Buch's Littlewood-Richardson calculator. Buch quantum calculator can compute quantum cohomology (and hence ordinary) on grassmannians, isotropic grassmannians and symplectic isotoropic grassmannians. Symmetrica can compute Schubert polynomials, and hence should be able to be coerced into computing in the cohomology ring of the flag manifold, although I don't know how easy or hard that is.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.