File r38/packages/support/mkred2.sl from the latest check-in
(load!-package 'rlisp) (load!-package rend_file) (load!-package 'poly) (load!-package 'arith) (load!-package 'alg) (load!-package 'mathpr) (load!-package 'entry) (initreduce)
(load!-package 'rlisp) (load!-package rend_file) (load!-package 'poly) (load!-package 'arith) (load!-package 'alg) (load!-package 'mathpr) (load!-package 'entry) (initreduce)