Some cryptoanalysis algorithms written in Sage