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

	Name	Last modified	Size	Description
	Parent Directory		-
	sp_Rminus.con.body.xml.gz	2004-04-08 10:04	122K
	sp_Rminus.con.types.xml.gz	2004-04-08 10:04	110K
	minuspf_spoly_in.con.types.xml.gz	2004-04-08 10:04	73K
	spoly_reduceplus_pO.con.types.xml.gz	2004-04-08 10:04	58K
	spoly_reduceplus_pO.con.body.xml.gz	2004-04-08 10:04	50K
	Rminus_is_mult.con.types.xml.gz	2004-04-08 10:04	46K
	Rminus_is_mult.con.body.xml.gz	2004-04-08 10:04	41K
	spoly_Reducestar_pO.con.types.xml.gz	2004-04-08 10:04	39K
	spoly_Reducestar_pO.con.body.xml.gz	2004-04-08 10:04	39K
	divp_is_multTerm.con.types.xml.gz	2004-04-08 10:04	36K
	minuspf_spoly_in.con.body.xml.gz	2004-04-08 10:04	36K
	divPp_divpf.con.types.xml.gz	2004-04-08 10:04	33K
	minus_is_reduce.con.types.xml.gz	2004-04-08 10:04	30K
	divp_is_multTerm.con.body.xml.gz	2004-04-08 10:04	27K
	divPp_divpf.con.body.xml.gz	2004-04-08 10:04	25K
	minuspf_in.con.types.xml.gz	2004-04-08 10:04	25K
	minus_is_reduce.con.body.xml.gz	2004-04-08 10:04	20K
	Rminus_in.con.types.xml.gz	2004-04-08 10:04	20K
	spoly_Reduce.con.types.xml.gz	2004-04-08 10:04	20K
	minuspf_in.con.body.xml.gz	2004-04-08 10:04	19K
	Dmult_is_mulpf.con.types.xml.gz	2004-04-08 10:04	16K
	fspoly_Reduceplus_pO.con.types.xml.gz	2004-04-08 10:04	15K
	Rminus_is_reduceplus.con.types.xml.gz	2004-04-08 10:04	15K
	divpf_comp.con.types.xml.gz	2004-04-08 10:04	13K
	Rminus_in.con.body.xml.gz	2004-04-08 10:04	13K
	multTerm_or_z_d1.con.types.xml.gz	2004-04-08 10:04	12K
	multTerm_or_z_d2.con.types.xml.gz	2004-04-08 10:04	12K
	Dmult_is_mulpf.con.body.xml.gz	2004-04-08 10:04	10K
	multTerm_or_z_d1.con.body.xml.gz	2004-04-08 10:04	10K
	fspoly_Reduceplus_pO.con.body.xml.gz	2004-04-08 10:04	9.8K
	Rminus_is_reduceplus.con.body.xml.gz	2004-04-08 10:04	9.8K
	multTerm_or_z_d2.con.body.xml.gz	2004-04-08 10:04	8.8K
	spoly_Reduce.con.body.xml.gz	2004-04-08 10:04	8.8K
	in_minuspf_spoly_in.con.types.xml.gz	2004-04-08 10:04	7.7K
	canonical_Rminus.con.types.xml.gz	2004-04-08 10:04	7.6K
	divpf_comp.con.body.xml.gz	2004-04-08 10:04	7.0K
	canonical_Dmult.con.types.xml.gz	2004-04-08 10:04	5.8K
	divPp_mults1.con.types.xml.gz	2004-04-08 10:04	4.8K
	canonical_Rminus.con.body.xml.gz	2004-04-08 10:04	4.7K
	divpf_canonical.con.types.xml.gz	2004-04-08 10:04	4.5K
	in_minuspf_spoly_in.con.body.xml.gz	2004-04-08 10:04	4.1K
	canonical_Dmult.con.body.xml.gz	2004-04-08 10:04	3.6K
	divPp_mults1.con.body.xml.gz	2004-04-08 10:04	3.3K
	divpf_canonical.con.body.xml.gz	2004-04-08 10:04	3.2K
	spoly_Reducestar_ppc.con.types.xml.gz	2004-04-08 10:04	2.9K
	minuspf_spoly_in.con.xml.gz	2004-04-08 10:04	2.5K
	spoly_Reducestar_ppc.con.body.xml.gz	2004-04-08 10:04	2.3K
	spoly_Reduce.con.xml.gz	2004-04-08 10:04	2.0K
	spoly_Reducestar_pO.con.xml.gz	2004-04-08 10:04	2.0K
	spoly_Reducestar_ppc.con.xml.gz	2004-04-08 10:04	1.9K
	minus_is_reduce.con.xml.gz	2004-04-08 10:04	1.9K
	sp_Rminus.con.xml.gz	2004-04-08 10:04	1.9K
	fspoly_Reduceplus_pO.con.xml.gz	2004-04-08 10:04	1.7K
	Rminus_is_reduceplus.con.xml.gz	2004-04-08 10:04	1.7K
	in_minuspf_spoly_in.con.xml.gz	2004-04-08 10:04	1.6K
	Rminus.con.body.xml.gz	2004-04-08 10:04	1.5K
	INDEX	2005-07-05 08:12	1.5K
	divpf.con.body.xml.gz	2004-04-08 10:04	1.5K
	multTerm_or_z_d1.con.xml.gz	2004-04-08 10:04	1.4K
	Dmult.con.body.xml.gz	2004-04-08 10:04	1.4K
	multTerm_or_z_d2.con.xml.gz	2004-04-08 10:04	1.4K
	Rminus_in.con.xml.gz	2004-04-08 10:04	1.4K
	Rminus_is_mult.con.xml.gz	2004-04-08 10:04	1.4K
	divp_is_multTerm.con.xml.gz	2004-04-08 10:04	1.3K
	minuspf_in.con.xml.gz	2004-04-08 10:04	1.3K
	Dmult_is_mulpf.con.xml.gz	2004-04-08 10:04	1.3K
	divpf_comp.con.xml.gz	2004-04-08 10:04	1.3K
	spoly_reduceplus_pO.con.xml.gz	2004-04-08 10:04	1.2K
	canonical_Rminus.con.xml.gz	2004-04-08 10:04	1.1K
	divPp_mults1.con.xml.gz	2004-04-08 10:04	1.0K
	divPp_divpf.con.xml.gz	2004-04-08 10:04	1.0K
	canonical_Dmult.con.xml.gz	2004-04-08 10:04	1.0K
	divPp.con.body.xml.gz	2004-04-08 10:04	1.0K
	divpf_canonical.con.xml.gz	2004-04-08 10:04	921
	Rminus.con.xml.gz	2004-04-08 10:04	750
	Dmult.con.xml.gz	2004-04-08 10:04	717
	divpf.con.xml.gz	2004-04-08 10:04	683
	divPp.con.xml.gz	2004-04-08 10:04	496
	Rminus.con.types.xml.gz	2004-04-08 10:04	205
	Dmult.con.types.xml.gz	2004-04-08 10:04	204
	divpf.con.types.xml.gz	2004-04-08 10:04	203
	divPp.con.types.xml.gz	2004-04-08 10:04	203
	crit/	2005-07-05 08:13	-