(1) Sage worksheet: