Dites, ne pensez-vous pas qu'il serait plus important d'avoir d'abord un CAS qui fonctionne convenablement sur |R et/ou (C avant de vouloir faire de l'arithmétique sur les modulos ou de l'algèbre sur des groupes encore plus bizarres?