Sam Fearn samfearn
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| \newenvironment{lemma} | |
| {\begin{verse} | |
| Lemma: | |
| } | |
| {\end{verse}} | |
| \newenvironment{theorem} | |
| {\begin{verse} | |
| Theorem: | |
| } | |
| {\end{verse}} |
samfearn
/ wxmaxima-init.mac
Last active
April 24, 2019 23:36
Enable the Stack rand functions to be used in a local copy of Maxima
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* Author Chris Sangwin | |
| Loughborough University | |
| Copyright (C) 2014 Chris Sangwin | |
| University of Edinburgh | |
| Copyright (C) 2017 Chris Sangwin | |
| This program is free software: you can redistribute it or modify | |
| it under the terms of the GNU General Public License version two. | |
| This program is distributed in the hope that it will be useful, |