/*$OpenXM: OpenXM/rc/asirrc,v 1.15 2007/11/21 22:54:25 takayama Exp $*/
import("contrib-setord.rr")$
import("gr")$
import("primdec")$
import("katsura")$
import("bfct")$
import("names.rr")$
import("oxrfc103.rr")$
User_asirrc=which(getenv("HOME")+"/.asirrc")$
if (type(User_asirrc)!=0) {
   if (!ctrl("quiet_mode")) print("Loading ~/.asirrc")$
   import(User_asirrc)$
}else{ }$
end$

