implementacion de pruebas con matrices de racionales y correccion de fallos del spec