org.ruivieira.oresme.linalg