Added implementation section, with Sage graphs. Still missing Magma.