/*$OpenXM: OpenXM/rc/asirrc,v 1.14 2005/07/29 07:44:53 takayama Exp $*/
load("contrib-setord.rr")$
load("gr")$
load("primdec")$
load("katsura")$
load("bfct")$
load("names.rr")$
load("oxrfc103.rr")$
User_asirrc=which(getenv("HOME")+"/.asirrc")$
if (type(User_asirrc)!=0) {
   if (!ctrl("quiet_mode")) print("Loading ~/.asirrc")$
   load(User_asirrc)$
}else{ }$
end$