Martin, I've been studying Pfaffian systems (related to robotics, a field I know a bit about). It seems that your algorithm does not work for embedded matrices as in:
z:SQMATRIX(2,INT):=[[0,0],[0,0]] m:SQMATRIX(2,INT):=[[0,1],[-1,0]] m2:SQMATRIX(4,SQMATRIX(2,INT)):=[[m,z,z,z],[z,m,z,z],[z,z,m,z],[z,z,z,m]] which should be 1*1*1*1 = 1 Am I doing something wrong? Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
