axis_thickness ?
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')
Nice idea!