8 Commits

Author	SHA1	Message	Date
Michael Hemmer	07bd04e240	Bitstream_descartes is supposed to work now	2007-04-17 20:59:39 +00:00
Sebastian Limbach	8564545d8d	Helper function for test of Algebraic_kernel_d_1 added.	2007-04-04 14:34:15 +00:00
Sebastian Limbach	29693d5a89	Test of Algebraic_kernel_d_1 added.	2007-04-04 14:33:50 +00:00
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