ring 12 : order
ring 10 : reals

    
block 6 : polynomial
block 8 : ring
block 7 : matrix
block 16: real number      
block 18: alg. number
block 19: alg. number field
block 20: anf ideal
block 24: dyn array
