Source Codes
This program takes the generators of the cone and the partial difference equations of discrete autonomous nD system as inputs and gives a 'yes/no' certificate according to whether the given cone is a characteristic cone for the given system or not.
This program takes the generators of the cone and the kernel representation matrix of discrete autonomous nD system as inputs and gives a 'yes/no' certificate according to whether the given cone is a characteristic cone for the given system or not.
Here Oberst-Riquier algorithm is used for solving the given set of partial differenrial equation(s). The output of this algorithm is in a power series form.