Utensil
Utensil
During using atom-terminal, I found keymap 'ctrl-shift-t' not always working. After some digging, I've located the reason for this: atom-terminal is activated only after triggering `atom-terminal:open-project-root` by menu "Open Terminal...
Some links of Lean recipes in README are broken due to inconsistent naming: > See ``__, ``__, ``__ and ``__ for examples. Only the first link works, the rest are...
LeanInk is sensitive to Lean versions and expected to be installed locally, it's useful to support specifying the LeanInk path via a flag like `--leanink=` in such scenarios. A similar...
**Atom Version**: 1.12.7 **Electron Version**: 1.3.13 **System**: Mac OS X 10.11.6 **Thrown From**: [goto](https://github.com/v3ss0n/goto) package, v1.8.2 ### Stack Trace Uncaught RangeError: Invalid typed array length ``` At buffer.js:8 RangeError: Invalid...
As brought up by @FreddyBaudine [here](https://github.com/pygae/galgebra/pull/17#issuecomment-468634313), @brombe originally described a way to implement the overdot notation in Python as Split Differential Operator which is described in 2.3.4 of [_GAlgebra: a...
x-ref: https://github.com/sphinx-doc/sphinx/issues/7782
I need a symbolic cheatsheet similar to https://observablehq.com/@enkimute/ganja-js-cheat-sheets for at least the GAs in https://github.com/enkimute/ganja.js#the-algebra-function . Particularly, I'm surprised that we don't have a simple `A*B` full expansion for any...
- [ ] Port docstirngs for arithmetic methods back from https://github.com/pygae/GAlgebra.jl/blob/master/src/mv.jl - [ ] Add missing pieces - [ ] Enable 'sphinxcontrib.prettyspecialmethods' like in https://github.com/pygae/clifford/pull/325
See https://github.com/pygae/galgebra/pull/425#discussion_r433809215 . It's good in general but has no particular use case in the near future and it breaks compatibility.
See https://github.com/pygae/galgebra/pull/425/files/d2b4e326d3cf7efb24e564564575e6244013e4c2#diff-197d7150b37a0b68e9ba75ce5e42856c