| 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; |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to de CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / lib