import isprime(x:ZZ):bool;

       add the flags as second optional argument.
       document it
