编写了一个计算机程序，用于从双线符号推导（3+1）维对称运算。推导基于生成器的概念{[Γ(R（右）v（v）电子),![[ε]](/logos/entities/epsiv_rmgif.gif)
v（v），秒v（v），τv（v），q个)|v（v）=1，NG}，其中{[Γ(R（右）v（v）电子),秒v（v）)|v（v）=1，NG}表示由上面的线表示的基本空间群的生成器集。程序名为SPGR4D型，是用Fortran77编写的，基于Burzlaff&Hountas（1982）的程序。[J.应用。克里斯特。(1982),15，464–467]用于推导三维空间中的对称运算。SPGR4D型已并入新版本的direct-methods程序仪表板集成模块用于解决不公度调制晶体结构。
