Scripts for model implementations using Sage