虚拟代数式操件语言 【电】 ghost algebraic manipulation language