examples using Sage
