鳄鱼。jl

鳄鱼。jl-一个用于循环不变量生成的Julia包。我们描述鳄鱼。自动生成具有嵌套条件的扩展P-可解循环的富类多项式不变量的jl软件包。鳄鱼。jl是用编程语言Julia编写的,是开源的。鳄鱼。jl将程序循环转化为一个代数循环系统,实现了符号计算求解循环的技术,推导了循环变量的闭式解,并在Gröbner基计算的基础上,通过变量消去法推导出多项式不变量的理想。