Singular/Sources — pull request #647 by jakobkroeker (2014-10-06 13:02:06+00:00)
Title: get and set random seed for kernel and factory separately

get+set current random seed for kernel and factory separately
to easily reproduce crashes from random tests