add an accessor to the bitsize of a randomprime generator
add an accessor to the bitsize of a randomprime generator

linbox-team/linbox,linbox-team/linbox,linbox-team/linbox,linbox-team/linbox,linbox-team/linbox