jstoobysmith
|
119995a20e
|
feat: Add square intergrable of eigenfunctions
|
2025-02-20 16:22:22 +00:00 |
|
jstoobysmith
|
00a9f6f46e
|
lemma eigenfunction AEStronglyMeasurable
|
2025-02-20 16:07:18 +00:00 |
|
jstoobysmith
|
1d8ac33d01
|
feat: Add Hilbert space for 1d QM system.
|
2025-02-20 14:43:10 +00:00 |
|
jstoobysmith
|
61eea19531
|
refactor: Lint
|
2025-02-20 12:19:00 +00:00 |
|
jstoobysmith
|
5e27e20edc
|
refactor: Move around results
|
2025-02-20 11:53:06 +00:00 |
|
jstoobysmith
|
73a311209b
|
feat: Update doc
|
2025-02-20 10:46:20 +00:00 |
|
jstoobysmith
|
be10e902fa
|
feat: Proof of orthogonality of eigenfunctions
|
2025-02-20 10:43:32 +00:00 |
|
jstoobysmith
|
d652cc7ff4
|
feat: Eigenfunctions normalized
|
2025-02-20 10:25:48 +00:00 |
|
jstoobysmith
|
b01f927298
|
refactor: Norm of physHermiteFun
|
2025-02-20 09:48:20 +00:00 |
|
jstoobysmith
|
08c8fd9c65
|
feat: physHermite are orhtogonal
|
2025-02-20 09:42:05 +00:00 |
|
jstoobysmith
|
c528bce08e
|
feat: More properties of physicists Hermite polynomials
|
2025-02-20 07:47:05 +00:00 |
|
jstoobysmith
|
a9b197665c
|
feat: Add relation between physHermiteFun and gaussians
|
2025-02-19 16:00:55 +00:00 |
|
jstoobysmith
|
54bc455efe
|
refactor: Physicists Hermite
|
2025-02-19 15:39:54 +00:00 |
|
jstoobysmith
|
d0c80fb6e4
|
refactor: Lint
|
2025-02-19 10:24:28 +00:00 |
|
jstoobysmith
|
463c743b5e
|
feat: Harmonic Oscillator in 1d
|
2025-02-19 10:22:03 +00:00 |
|
Joseph Tooby-Smith
|
59e35708aa
|
Merge pull request #344 from HEPLean/Rebrand
feat: Properties of Pauli matrices
|
2025-02-18 11:00:57 +00:00 |
|
jstoobysmith
|
790a628992
|
refactor: LInt
|
2025-02-18 10:40:27 +00:00 |
|
jstoobysmith
|
ec08db736e
|
feat: Relations of pauli matrices
|
2025-02-18 10:39:00 +00:00 |
|
Joseph Tooby-Smith
|
402ff86e36
|
Merge pull request #343 from HEPLean/Rebrand
feat: Improvements to index notation
|
2025-02-17 14:32:09 +00:00 |
|
jstoobysmith
|
a75c72ede5
|
refactor: Lint
|
2025-02-17 14:14:28 +00:00 |
|
jstoobysmith
|
6a457365fd
|
refactor: Lint
|
2025-02-17 13:57:42 +00:00 |
|
jstoobysmith
|
0e5037dc8f
|
feat: Improvements to index notation
|
2025-02-17 13:40:16 +00:00 |
|
Joseph Tooby-Smith
|
e2d1b91090
|
Merge pull request #342 from HEPLean/Rebrand
docs: Add TODO
|
2025-02-16 13:15:07 +00:00 |
|
jstoobysmith
|
b19ecb4c22
|
docs: Add TODO
|
2025-02-14 15:10:54 +00:00 |
|
Joseph Tooby-Smith
|
324f769e7c
|
Merge pull request #340 from HEPLean/Rebrand
feat: Properties of the tensor basis.
|
2025-02-14 14:43:01 +00:00 |
|
jstoobysmith
|
949fad2133
|
feat: Properties of the tensor basis.
|
2025-02-14 14:13:57 +00:00 |
|
Joseph Tooby-Smith
|
e1d3798495
|
Merge pull request #339 from HEPLean/Rebrand
refactor: Update website links
|
2025-02-14 12:51:51 +00:00 |
|
jstoobysmith
|
5af693ce8d
|
feat: basis for tensors
|
2025-02-14 12:18:09 +00:00 |
|
jstoobysmith
|
4103ad021c
|
refactor: Update website links
|
2025-02-14 12:06:01 +00:00 |
|
Joseph Tooby-Smith
|
0b06379581
|
Merge pull request #338 from HEPLean/Rebrand
refactor: Update informal graph
|
2025-02-14 10:04:58 +00:00 |
|
jstoobysmith
|
08e9226e22
|
refactor: Update informal graph
|
2025-02-14 09:47:25 +00:00 |
|
Joseph Tooby-Smith
|
b0888d58ae
|
Merge pull request #337 from HEPLean/Rebrand
Rebrand
|
2025-02-14 09:26:46 +00:00 |
|
jstoobysmith
|
21ac11cb53
|
feat: Update logo
|
2025-02-14 09:10:09 +00:00 |
|
jstoobysmith
|
0abd1cd990
|
refactor: Lint
|
2025-02-14 08:57:54 +00:00 |
|
jstoobysmith
|
16554ebe68
|
refactor: website
|
2025-02-14 08:56:51 +00:00 |
|
jstoobysmith
|
e1303cbcf8
|
refactor: some docs
|
2025-02-14 08:50:24 +00:00 |
|
jstoobysmith
|
1b8360fda8
|
Update README.md
|
2025-02-14 08:46:46 +00:00 |
|
jstoobysmith
|
49ec0b6ea7
|
refactor: Move files and update toml
|
2025-02-14 08:45:02 +00:00 |
|
Joseph Tooby-Smith
|
a957bb484c
|
Merge pull request #334 from HEPLean/NotesFix
docs: More doc updates for Wick's theorem
|
2025-02-13 14:41:30 +00:00 |
|
jstoobysmith
|
7d91d4c2dd
|
Update TimeCond.lean
|
2025-02-13 12:05:37 +00:00 |
|
jstoobysmith
|
e3e8354be5
|
docs: Update documentation
|
2025-02-13 11:07:26 +00:00 |
|
jstoobysmith
|
82fae67ba3
|
refactor: Update supercommute notation
|
2025-02-13 10:44:15 +00:00 |
|
Joseph Tooby-Smith
|
63538972b8
|
Merge pull request #333 from HEPLean/NotesFix
docs: Fix typos in docs
|
2025-02-13 10:07:11 +00:00 |
|
jstoobysmith
|
d2ce55ddd0
|
docs: Fix typos in docs
|
2025-02-13 09:48:19 +00:00 |
|
Joseph Tooby-Smith
|
4c2b09eb2e
|
Merge pull request #332 from HEPLean/bump
Update README.md
|
2025-02-13 09:41:13 +00:00 |
|
jstoobysmith
|
ed22310912
|
Update README.md
|
2025-02-13 08:31:19 +00:00 |
|
Joseph Tooby-Smith
|
cc20d096ea
|
Merge pull request #331 from HEPLean/bump
refactor: speed increasing changes
|
2025-02-12 16:19:12 +00:00 |
|
jstoobysmith
|
1eb66d3eb9
|
refactor: speed increasing changes
|
2025-02-12 15:56:31 +00:00 |
|
Joseph Tooby-Smith
|
3b00f963bf
|
Merge pull request #330 from HEPLean/bump
chore: bump to lean v4.16.0
|
2025-02-12 15:35:22 +00:00 |
|
jstoobysmith
|
0a712ea894
|
refactor: Lint
|
2025-02-12 15:09:41 +00:00 |
|