Public `frobenius.cor'