|
Macaulay2 Engine
|
why parameters are ints and not longs or mpz's? is an overflow possible?
check prime for primality (probably at top of Macaulay2)
ARingGFGivaro uses tables and may consume a huge amount of memory - pass therefore a 'MaxMemoryConsumption' parameter and if the value is overstepped by ARingGFGivaro, create polynomial representation?
the check if in general polynomial representation is needed cost some additional work, similar to linbox/field/givaro-gfq.h. Use GivaroGfq instead of Givaro::GFqDom in ARingGFGivaro?