Packages must be loaded in a proper version of kan/sm1. It can be checked as follows. Example: /factor-a.version (2.981101) def factor-a.version [(Version)] system_variable gt { (This package requires the latest version of kan/sm1) message (Please get it from http://www.math.kobe-u.ac.jp/KAN) message error } { } ifelse