I have a huge rational function of three variables (which is of order ~100Mbytes if dumped to a text file) which I believe to be identically zero. Unfortunately, neither Mathematica nor Maple succeeded in simplifying the expression to zero.
I substituted a random set of three integers to the rational function and indeed it evaluated to zero; but just for curiosity, I would like to use a computer algebra system to simplify it. Which computer algebra system should I use? I've heard of Magma, Macaulay2, singular, GAP, sage to list a few. Which is best suited to simplify a huge rational expression?
from the interactive shell. This loads expressions called
cft, both rational functions of
b. Each of which is non-zero, but I believe
gauge=cft. So you should be able to simplify
gauge-cft to zero. The relation comes from a string duality, see e.g. this paper by M. Taki.