First time here? Check out the FAQ!
answered 2015-07-17 16:31:48 +0100
sage -i database_gap should work.
sage -i database_gap