version 1.1, 2005/08/02 07:16:42 |
version 1.2, 2005/08/03 05:01:01 |
Line 57 def inverse_or_split(V,Id,F) |
|
Line 57 def inverse_or_split(V,Id,F) |
|
/* Ret = GB(Id:F) */ |
/* Ret = GB(Id:F) */ |
/* compute GB(Id+<f>) */ |
/* compute GB(Id+<f>) */ |
Gquo = append(map(ptozp,map(dp_dtop,Ret,V)),Id); |
Gquo = append(map(ptozp,map(dp_dtop,Ret,V)),Id); |
Gquo = nd_gr(Gquo,V,0,2); |
Gquo = nd_interreduce(Gquo,V,0,2); |
DTotal = linear_dim(Id,V,2); |
DTotal = linear_dim(Id,V,2); |
Dquo = linear_dim(Gquo,V,2); |
Dquo = linear_dim(Gquo,V,2); |
Drem = DTotal-Dquo; |
Drem = DTotal-Dquo; |