Index of /xml/Sophia-Antipolis/Buchberger/Monomials

	Name	Last modified	Size	Description
	Parent Directory		-
	Monomials/	2005-07-05 08:13	-
	mon.ind.types.xml.gz	2004-04-08 09:57	202
	mdiv.ind.types.xml.gz	2004-04-08 09:57	204
	pmon1.con.types.xml.gz	2004-04-08 09:57	206
	pmon2.con.types.xml.gz	2004-04-08 09:57	207
	is_nil.con.types.xml.gz	2004-04-08 09:57	208
	div_mon.con.types.xml.gz	2004-04-08 09:57	210
	gen_mon.con.types.xml.gz	2004-04-08 09:57	210
	mon_rec.con.types.xml.gz	2004-04-08 09:57	211
	mon_rect.con.types.xml.gz	2004-04-08 09:57	212
	mult_mon.con.types.xml.gz	2004-04-08 09:57	212
	ppcm_mon.con.types.xml.gz	2004-04-08 09:57	212
	zero_mon.con.types.xml.gz	2004-04-08 09:57	212
	div_mon_clean.con.types.xml.gz	2004-04-08 09:57	220
	zero_mon.con.xml.gz	2004-04-08 09:57	376
	gen_mon.con.xml.gz	2004-04-08 09:57	383
	pmon1.con.xml.gz	2004-04-08 09:57	384
	is_nil.con.xml.gz	2004-04-08 09:57	398
	div_mon.con.xml.gz	2004-04-08 09:57	419
	mult_mon.con.xml.gz	2004-04-08 09:57	420
	ppcm_mon.con.xml.gz	2004-04-08 09:57	420
	pmon2.con.xml.gz	2004-04-08 09:57	432
	mon_0.con.xml.gz	2004-04-08 09:57	450
	div_mon_clean.con.xml.gz	2004-04-08 09:57	466
	mon_rec.con.body.xml.gz	2004-04-08 09:57	486
	mon_ind.con.body.xml.gz	2004-04-08 09:57	490
	minus_lt_0.con.xml.gz	2004-04-08 09:57	493
	is_nil_id.con.xml.gz	2004-04-08 09:57	497
	mdiv_trans.con.xml.gz	2004-04-08 09:57	499
	recomp.con.xml.gz	2004-04-08 09:57	505
	plus_minus_le.con.xml.gz	2004-04-08 09:57	509
	mult_div_id.con.xml.gz	2004-04-08 09:57	519
	mult_mon_zero_l.con.xml.gz	2004-04-08 09:57	529
	mult_mon_zero_r.con.xml.gz	2004-04-08 09:57	532
	recomp.con.types.xml.gz	2004-04-08 09:57	547
	ppcm_com.con.xml.gz	2004-04-08 09:57	554
	mult_mon_com.con.xml.gz	2004-04-08 09:57	561
	mon.ind.xml.gz	2004-04-08 09:57	567
	mon_0.con.body.xml.gz	2004-04-08 09:57	567
	mult_div_com.con.xml.gz	2004-04-08 09:57	571
	zero_mon.con.body.xml.gz	2004-04-08 09:57	585
	eqmon_dec.con.xml.gz	2004-04-08 09:57	594
	recomp_ok.con.xml.gz	2004-04-08 09:57	606
	mdiv_div.con.xml.gz	2004-04-08 09:57	618
	proj_ok.con.xml.gz	2004-04-08 09:57	621
	ppcm_prop_r.con.xml.gz	2004-04-08 09:57	627
	ppcm_prop_l.con.xml.gz	2004-04-08 09:57	628
	mult_mon_assoc.con.xml.gz	2004-04-08 09:57	643
	pmon1.con.body.xml.gz	2004-04-08 09:57	643
	is_nil.con.body.xml.gz	2004-04-08 09:57	686
	pmon2.con.body.xml.gz	2004-04-08 09:57	699
	div_clean_dec2.con.xml.gz	2004-04-08 09:57	740
	mdiv_proj.con.xml.gz	2004-04-08 09:57	743
	mon_0.con.types.xml.gz	2004-04-08 09:57	758
	mon_rect.con.xml.gz	2004-04-08 09:57	758
	mon_rec.con.xml.gz	2004-04-08 09:57	762
	mon_ind.con.xml.gz	2004-04-08 09:57	768
	mdiv.ind.xml.gz	2004-04-08 09:57	845
	div_clean_dec1.con.xml.gz	2004-04-08 09:57	846
	ppcm_mom_is_ppcm.con.xml.gz	2004-04-08 09:57	855
	gen_mon.con.body.xml.gz	2004-04-08 09:57	944
	is_nil_id.con.body.xml.gz	2004-04-08 09:57	945
	mdiv_ind.con.xml.gz	2004-04-08 09:57	1.0K
	mon_ind.con.types.xml.gz	2004-04-08 09:57	1.0K
	ppcm_mon.con.body.xml.gz	2004-04-08 09:57	1.0K
	div_mon.con.body.xml.gz	2004-04-08 09:57	1.0K
	mult_mon.con.body.xml.gz	2004-04-08 09:57	1.0K
	proj_ok.con.body.xml.gz	2004-04-08 09:57	1.1K
	recomp.con.body.xml.gz	2004-04-08 09:57	1.1K
	mon_rect.con.body.xml.gz	2004-04-08 09:57	1.2K
	is_nil_id.con.types.xml.gz	2004-04-08 09:57	1.2K
	mult_mon_zero_l.con.body.xml.gz	2004-04-08 09:57	1.3K
	mdiv_proj.con.types.xml.gz	2004-04-08 09:57	1.4K
	recomp_ok.con.body.xml.gz	2004-04-08 09:57	1.5K
	mult_mon_zero_l.con.types.xml.gz	2004-04-08 09:57	1.5K
	mult_div_id.con.body.xml.gz	2004-04-08 09:57	1.6K
	mult_mon_zero_r.con.body.xml.gz	2004-04-08 09:57	1.6K
	mdiv_proj.con.body.xml.gz	2004-04-08 09:57	1.6K
	mult_div_id.con.types.xml.gz	2004-04-08 09:57	1.7K
	mdiv_ind.con.body.xml.gz	2004-04-08 09:57	1.8K
	INDEX	2005-07-05 08:12	1.8K
	minus_lt_0.con.body.xml.gz	2004-04-08 09:57	1.8K
	mdiv_ind.con.types.xml.gz	2004-04-08 09:57	1.8K
	mult_mon_zero_r.con.types.xml.gz	2004-04-08 09:57	1.9K
	proj_ok.con.types.xml.gz	2004-04-08 09:57	1.9K
	recomp_ok.con.types.xml.gz	2004-04-08 09:57	1.9K
	minus_lt_0.con.types.xml.gz	2004-04-08 09:57	2.0K
	mdiv_div.con.body.xml.gz	2004-04-08 09:57	2.4K
	div_mon_clean.con.body.xml.gz	2004-04-08 09:57	2.5K
	mdiv_div.con.types.xml.gz	2004-04-08 09:57	2.5K
	plus_minus_le.con.body.xml.gz	2004-04-08 09:57	2.7K
	ppcm_com.con.body.xml.gz	2004-04-08 09:57	2.8K
	mult_mon_com.con.body.xml.gz	2004-04-08 09:57	2.8K
	mult_div_com.con.body.xml.gz	2004-04-08 09:57	2.9K
	ppcm_com.con.types.xml.gz	2004-04-08 09:57	3.0K
	mult_mon_com.con.types.xml.gz	2004-04-08 09:57	3.0K
	mult_div_com.con.types.xml.gz	2004-04-08 09:57	3.2K
	plus_minus_le.con.types.xml.gz	2004-04-08 09:57	3.6K
	mult_mon_assoc.con.body.xml.gz	2004-04-08 09:57	3.8K
	mult_mon_assoc.con.types.xml.gz	2004-04-08 09:57	4.5K
	ppcm_prop_l.con.body.xml.gz	2004-04-08 09:57	5.4K
	ppcm_prop_r.con.body.xml.gz	2004-04-08 09:57	5.4K
	ppcm_prop_l.con.types.xml.gz	2004-04-08 09:57	5.9K
	ppcm_prop_r.con.types.xml.gz	2004-04-08 09:57	5.9K
	eqmon_dec.con.types.xml.gz	2004-04-08 09:57	7.9K
	ppcm_mom_is_ppcm.con.body.xml.gz	2004-04-08 09:57	8.6K
	eqmon_dec.con.body.xml.gz	2004-04-08 09:57	12K
	div_clean_dec2.con.body.xml.gz	2004-04-08 09:57	12K
	ppcm_mom_is_ppcm.con.types.xml.gz	2004-04-08 09:57	13K
	div_clean_dec1.con.body.xml.gz	2004-04-08 09:57	17K
	div_clean_dec2.con.types.xml.gz	2004-04-08 09:57	29K
	mdiv_trans.con.body.xml.gz	2004-04-08 09:57	44K
	div_clean_dec1.con.types.xml.gz	2004-04-08 09:57	56K
	mdiv_trans.con.types.xml.gz	2004-04-08 09:57	61K