| version 1.5, 2003/10/20 00:58:47 |
version 1.7, 2006/02/24 01:15:56 |
|
|
| * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
| * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
| * |
* |
| * $OpenXM: OpenXM_contrib2/asir2000/lib/primdec,v 1.4 2001/01/15 05:18:20 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec,v 1.6 2003/12/12 03:08:29 takayama Exp $ |
| */ |
*/ |
| /* Primary decomposition & Radical decomposition program */ |
/* Primary decomposition & Radical decomposition program */ |
| /* written by T.Shimoyama, Fujitsu Lab. Date: 1995.10.12 */ |
/* written by T.Shimoyama, Fujitsu Lab. Date: 1995.10.12 */ |
| Line 64 COMMONCHECK if 1 : redundancy check by intersection (i |
|
| Line 64 COMMONCHECK if 1 : redundancy check by intersection (i |
|
| SELECTFLAG selection strategy of separators (0 -- 3) |
SELECTFLAG selection strategy of separators (0 -- 3) |
| */ |
*/ |
| |
|
| if (!module_definedp("gr")) load("gr")$$ |
if (!module_definedp("gr")) load("gr")$ else {}$ |
| module primdec $ |
module primdec $ |
| /* Empty for now. It will be used in a future. */ |
/* Empty for now. It will be used in a future. */ |
| endmodule$ |
endmodule$ |
| Line 1388 def zraddec(F,X) |
|
| Line 1388 def zraddec(F,X) |
|
| /* contraction from V to X */ |
/* contraction from V to X */ |
| def radcont(Q,V,X) |
def radcont(Q,V,X) |
| { |
{ |
| dp_ord(irem(PRIMEORD,3)); |
|
| for (R=[],I=length(Q)-1;I>=0;I--) { |
for (R=[],I=length(Q)-1;I>=0;I--) { |
| |
dp_ord(irem(PRIMEORD,3)); |
| G=Q[I]; |
G=Q[I]; |
| for (E=1,J=0;J<length(G);J++) |
for (E=1,J=0;J<length(G);J++) |
| E = lcm(E,dp_hc(dp_ptod(G[J],V))); |
E = lcm(E,dp_hc(dp_ptod(G[J],V))); |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to primdec CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / lib