| version 1.3, 2000/08/22 05:04:22 |
version 1.4, 2001/01/15 05:18:20 |
|
|
| * 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.2 2000/08/21 08:31:42 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec,v 1.3 2000/08/22 05:04:22 noro 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 297 def primadec_main(F,REMS,H,VL) |
|
| Line 297 def primadec_main(F,REMS,H,VL) |
|
| def isolated(IP,F,GF,RA,H,SC,VL) |
def isolated(IP,F,GF,RA,H,SC,VL) |
| { |
{ |
| T0 = newvect(4,time()); |
T0 = newvect(4,time()); |
| if ( RA[0] == "begin" ) |
if ( RA[0] == "begin" ) { |
| PD = primedec_main([RA[1]],VL); |
PD = primedec_main([RA[1]],VL); |
| else if ( RA[0] == "ext" || RA[0] == "sep" ) { |
PD = map(dp_gr_main,PD,VL,0,1,PRIMEORD); /* XXX */ |
| |
} else if ( RA[0] == "ext" || RA[0] == "sep" ) { |
| if ( RA[0] == "sep" ) |
if ( RA[0] == "sep" ) |
| T = prime_irred(idealsav(RA[1]),VL); |
T = prime_irred(idealsav(RA[1]),VL); |
| else |
else |
![[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