Certamente: si trova la base in Q e poi si moltiplica tutto in modo da sbattere via i denominatori. Dovresti verificare che quella che ottieni è ancora una base, ma è una verifica tranquillissima.

A questo punto rilancio: data una matrice A a coefficienti interi simmetrica e definita positiva, è vero che esiste una matrice M a coefficienti interi tale che

[tex:6ac1r01k]M^tAM[/tex:6ac1r01k]

ha tutti interi positivi sulla diagonale e 0 altrove?