/*$OpenXM: OpenXM/rc/asirrc,v 1.8 2002/01/06 08:47:35 takayama Exp $*/ load("gr")$ load("primdec")$ load("katsura")$ load("xm")$ load("names.rr")$ User_asirrc=which(getenv("HOME")+"/.asirrc")$ if (type(User_asirrc)!=0) { print("Loading ~/.asirrc")$ load(User_asirrc)$ }$ end$