Index of /xml/Sophia-Antipolis/Algebra/Ideal

	Name	Last modified	Size	Description
	Parent Directory		-
	Generated_ideal/	2006-03-28 19:04	-
	Ring_as_module/	2006-03-28 19:04	-
	ideals/	2006-03-28 19:04	-
	ideal.ind.types.xml.gz	2006-03-28 19:04	200
	is_ideal.con.types.xml.gz	2006-03-28 19:04	206
	ideal_rec.con.types.xml.gz	2006-03-28 19:04	208
	ideal_rect.con.types.xml.gz	2006-03-28 19:04	210
	ring_module.con.types.xml.gz	2006-03-28 19:04	213
	ideal_subgroup.con.types.xml.gz	2006-03-28 19:04	217
	ring_module.con.xml.gz	2006-03-28 19:04	329
	generated_ideal.con.xml.gz	2006-03-28 19:04	335
	ideal_prf.con.xml.gz	2006-03-28 19:04	402
	ideal_rec.con.body.xml.gz	2006-03-28 19:04	421
	ideal_ind.con.body.xml.gz	2006-03-28 19:04	423
	generated_module_subgroup.con.xml.gz	2006-03-28 19:04	440
	ideal_subgroup.con.xml.gz	2006-03-28 19:04	456
	is_ideal.con.xml.gz	2006-03-28 19:04	458
	ideal.ind.xml.gz	2006-03-28 19:04	602
	ring_module_subproof3.con.body.xml.gz	2006-03-28 19:04	620
	ring_module_subproof3.con.xml.gz	2006-03-28 19:04	688
	ideal_rec.con.xml.gz	2006-03-28 19:04	712
	ideal_rect.con.xml.gz	2006-03-28 19:04	712
	ideal_ind.con.xml.gz	2006-03-28 19:04	713
	ideal_subgroup.con.body.xml.gz	2006-03-28 19:04	723
	ideal_prf.con.body.xml.gz	2006-03-28 19:04	734
	ring_module_subproof0.con.body.xml.gz	2006-03-28 19:04	828
	ring_module_subproof1.con.body.xml.gz	2006-03-28 19:04	828
	generated_ideal_included.con.xml.gz	2006-03-28 19:04	829
	ring_module_subproof3.con.types.xml.gz	2006-03-28 19:04	831
	ideal_prf.con.types.xml.gz	2006-03-28 19:04	840
	ideal_rect.con.body.xml.gz	2006-03-28 19:04	849
	ring_module.con.body.xml.gz	2006-03-28 19:04	863
	ring_module_subproof2.con.xml.gz	2006-03-28 19:04	891
	ideal_ind.con.types.xml.gz	2006-03-28 19:04	897
	ring_module_subproof0.con.xml.gz	2006-03-28 19:04	1.0K
	ring_module_subproof1.con.xml.gz	2006-03-28 19:04	1.0K
	ring_module_subproof2.con.body.xml.gz	2006-03-28 19:04	1.0K
	ring_module_subproof.con.xml.gz	2006-03-28 19:04	1.1K
	ideal_prop4.con.body.xml.gz	2006-03-28 19:04	1.1K
	ideal_prop2.con.body.xml.gz	2006-03-28 19:04	1.1K
	ring_module_subproof.con.body.xml.gz	2006-03-28 19:04	1.1K
	ring_module_subproof.con.types.xml.gz	2006-03-28 19:04	1.3K
	ideal_prop4.con.xml.gz	2006-03-28 19:04	1.3K
	ring_module_subproof2.con.types.xml.gz	2006-03-28 19:04	1.3K
	ideal_prop2.con.xml.gz	2006-03-28 19:04	1.4K
	ring_module_subproof1.con.types.xml.gz	2006-03-28 19:04	1.4K
	ring_module_subproof0.con.types.xml.gz	2006-03-28 19:04	1.4K
	is_ideal.con.body.xml.gz	2006-03-28 19:04	1.4K
	generated_ideal_minimal.con.xml.gz	2006-03-28 19:04	1.4K
	ideal_prop4.con.types.xml.gz	2006-03-28 19:04	1.6K
	ideal_prop.con.xml.gz	2006-03-28 19:04	1.6K
	ideal_prop3.con.body.xml.gz	2006-03-28 19:04	1.6K
	ideal_prop2.con.types.xml.gz	2006-03-28 19:04	1.6K
	ideal_prop3.con.xml.gz	2006-03-28 19:04	1.7K
	ideal_prop3.con.types.xml.gz	2006-03-28 19:04	2.0K
	ideal_prop.con.body.xml.gz	2006-03-28 19:04	3.0K
	generated_ideal_included.con.body.xml.gz	2006-03-28 19:04	3.3K
	generated_ideal_included.con.types.xml.gz	2006-03-28 19:04	4.8K
	ideal_prop.con.types.xml.gz	2006-03-28 19:04	5.4K
	generated_ideal.con.body.xml.gz	2006-03-28 19:04	9.5K
	generated_ideal.con.types.xml.gz	2006-03-28 19:04	12K
	generated_ideal_minimal.con.body.xml.gz	2006-03-28 19:04	26K
	generated_module_subgroup.con.body.xml.gz	2006-03-28 19:04	27K
	generated_module_subgroup.con.types.xml.gz	2006-03-28 19:04	38K
	generated_ideal_minimal.con.types.xml.gz	2006-03-28 19:04	40K