当内核启动时自动初始化一个符号.

查看现有的初始化

列出符号 $GeoLocation 可能已经存在的初值. 除非已定义,不应该有任何的初始化:

如果符号已初始化,InitializationValue 将返回初值,而不是 Missing

如果已初始化,将其删掉,以便清除所有干扰:

设置初始化

指定 $GeoLocation 的初值:

验证初值:

验证初始化有效

退出并重启内核. 验证 $GeoLocation 已被初始化为指定的值:

技术要点

初值被存储在由 $PersistenceBase 给定的持久性位置: