5 years ago, Jieao Song wrote a really nice intersection theory package in Julia, my new favourite programming language. It is similar to the famous Schubert2 package in Macaulay2, and other, lesser-known packages, like Chow for SageMath. It is extremely efficient (being significantly faster than Schubert2).

One plan that had been around for almost 5 years was to integrate it into OSCAR, the Julia analogue of what SageMath is in Python, so that it becomes part of a stable ecosystem.

I'm happy to say that this integration is now done! This was a joint effort of Wolfram Decker and myself. I want to thank Wolfram for the great help (and patience). Aside from simply integrating the infrastructure, we have added lots of documentation, examples, tests, and some minor features. That said, it cannot be overstated how great the foundation laid by Jieao was. I feel like standing on the shoulder of a giant here, and I hope that this will be a great tool for many people in the future.

It is not yet in the latest version (which is 1.7.0 at the time of writing) of OSCAR, but you can use the development version per these instructions.

If you want to see what it is capable of, see the documentation (which for now still refers to the development branch; in the latest branch it is still the older version), e.g., check out

it can work with.

It is still in the experimental phase, and we are eager to hear your feedback and comments!