vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
1.16k stars 138 forks source link

ERROR: PolyRatFun doesn't fit in a term #562

Open vsht opened 1 month ago

vsht commented 1 month ago

Hi,

I'm trying to use polyratfun to simplify my amplitudes after inserting the IBP tables, but for some of the diagrams I get this

ERROR: PolyRatFun doesn't fit in a term
(1) num size = 806662, den size = 46800,  MaxTer = 2000000

my form.set should be already large enough, so I'm not sure how to proceed here

# formset 1.0.0 -p 100 MaxTermSize=500K WorkSpace=2G --total-memory 256G -H --total-cpus 8 (cpu: 8, mem: 256G; total cpu: 8, total mem: 256G; 1x8)
compresssize 4M
largesize 41500M
maxtermsize 500K
scratchsize 13800M
smallextension 12400M
smallsize 8310M
sortiosize 51700K
termsinsmall 83100K
threadscratchoutsize 32M
threadscratchsize 32M
workspace 2G

Of course, I can provide the corresponding .res files and the code, if it helps.

Cheers, Vlad

jodavies commented 1 month ago

This is a confusing error message due to the units. Your maxtermsize is 500k words, and the poly is 853k words. It should run fine if you increase maxtermsize.

AM.MaxTer should never be printed directly in an error, ideally, since that is not the parameter that you set in the setfile, but rather AM.MaxTer/sizeof(WORD). We can clean this up as part of #289 I think.

vsht commented 1 month ago

I see, many thanks.

Actually I've been using the old FORM snapshot from July of 2023, but now I finally switched to the latest snapshot. It does seems to resolve some old issues but also to create new ones, cf. #563