OpenXM_contrib2/asir2000/lib/primdec - diff

Return to primdec CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / lib

version 1.2, 2000/08/21 08:31:42

version 1.4, 2001/01/15 05:18:20

Line 23

* shall be made on your publication or presentation in any form of the

* results obtained by use of the SOFTWARE.

* (4) In the event that you modify the SOFTWARE, you shall notify FLL by

* e-mail at risa-admin@flab.fujitsu.co.jp of the detailed specification

* e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification

* for such modification or the source code of the modified part of the

* SOFTWARE.

Line 45

* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,

* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.

* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec,v 1.1.1.1 1999/12/03 07:39:11 noro Exp $

* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec,v 1.3 2000/08/22 05:04:22 noro Exp $

/* Primary decomposition & Radical decomposition program */

/* written by T.Shimoyama, Fujitsu Lab. Date: 1995.10.12 */

Line 297 def primadec_main(F,REMS,H,VL)

def isolated(IP,F,GF,RA,H,SC,VL)

{

T0 = newvect(4,time());

if ( RA[0] == "begin" )

if ( RA[0] == "begin" ) {

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" )

T = prime_irred(idealsav(RA[1]),VL);

else