Primtallsfaktorisere i CAS