| LIB "control.lib";
// Cauchy
ring r=0,(s1,s2,s3,s4),dp;
module R= [s1,-s2],
[s2, s1],
[s3,-s4],
[s4, s3];
R=transpose(R);
view( R );
==> s1,-s2,
==> s2,s1 ,
==> s3,-s4,
==> s4,s3
view( autonom(R) );
==> number of first nonzero Ext:
==>
==> 2
==>
==> overdetermined, not strongly autonomous
==>
==> dimension of the system:
==>
==> 2
==>
|