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

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