5 Commits

Author	SHA1	Message	Date
Sebastian Limbach	01ae5960b4	Test for both currently available representation classes of Algebraic_real_pure included.	2007-03-27 13:41:07 +00:00
Sebastian Limbach	be4f717288	Test copied from EXACUS and adapted.	2007-03-26 11:04:32 +00:00
Sebastian Limbach	daa14f9567	Test copied from EXACUS and adapted.	2007-03-26 11:04:09 +00:00
Sebastian Limbach	85a2856e43	Test for Descartes, imported and adapted from EXACUS.	2007-03-15 10:08:48 +00:00
Sebastian Limbach	77dbed5644	Helper file needed for test of Descartes, imported and adapted from EXACUS.	2007-03-15 10:08:25 +00:00