[Axiom-legal] Re: Copyright notice Re: pfaffian.input.pamphlet

[root]

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