Update RankOne.sage example file.