default() in libPARI

[Jeroen Demeyer <jdemeyer@cage.ugent.be>]

After searching through the documentation, I couldn't find any 
information on how to use default() in library mode.  I would like to 
set factor_proven = 1.  My apologies if it is somewhere in the manual.

Also, what happens (in library mode, or in GP) when factor() with 
factor_proven == 1 finds a non-prime factor?  Is there an easy way to 
detect that?


Thanks,
Jeroen.