I would like to like to increase the thickness of my axes on my plots. How might I do this?
Background: I am a teacher who uses sage to make my own graph paper. The axes look good on paper (although I'd like to have arrows on them), but when I project the pdf onto my white board (to draw on) the axes don't look much thicker than the gridlines (I'm using greyed instead of dashed gridlines). Here's my code:
k = 8 p = plot(k, (x, -k, k), thickness = 0, aspect_ratio = 1, gridlines = True, axes_labels=['$x$','$y$'], ticks=[[-k..k],[-k..k]], tick_formatter = [['$-8$', '', '$-6$', '', '$-4$', '', '$-2$', '', '', '', '$2$', '', '$4$', '', '$6$', '', '$8$'], ['$-8$', '', '$-6$', '', '$-4$', '', '$-2$', '', '', '', '$2$', '', '$4$', '', '$6$', '', '$8$']], gridlinesstyle = dict(color = "gray", linestyle = "-") ) p += plot(0, (x, -k, k), thickness = 0) #to establish graph width p += plot(-k, (x, -k, k), thickness = 0) #to establish graph height
show(p)
p.save('graph8l.pdf')
