Added btquotients.sage