added randomIdeal to singular-libs