> lots of examples fail:
>i1 : ZZ/2[t]; 
>i2 : isPrime(t^2+t+1) uniivariate factorization not implemented

this is caused by undetected NTL by factory. 
Should we patch factory in a way that NTL is mandatory?