(ↄ) | Dror Bar-Natan: AcademicPensieve: Projects: About    Recent Changes    This Month    Random

<<  BabyDoPeGDO  >>  
Jump to: Mathematica Notebooks | Other Files

<< Mathematica Notebooks >>

 Notebook (.pdf)Source (.nb)CreatedLast ModifiedSummary
1 201222-SideCalculation source Sun 17 Mar 2024 10:28:47 Tue 22 Dec 2020 13:16:21  
2 Engine-201221 source Sun 17 Mar 2024 10:28:47 Wed 23 Dec 2020 15:18:26 A fresh implementation of baby DoPeGDO - first working version. Continues pensieve://2020-09/, pensieve://2020-03/Testing123.nb, and pensieve://People/VanDerVeen/TimidHeisenbergRGeneralForm@.nb.
3 Engine-201222 source Sun 17 Mar 2024 10:28:47 Wed 23 Dec 2020 15:18:11 A fresh implementation of baby DoPeGDO. Continues pensieve://2020-09/, pensieve://2020-03/Testing123.nb, and pensieve://People/VanDerVeen/TimidHeisenbergRGeneralForm@.nb.
4 Engine-201223-2 source Sun 17 Mar 2024 10:28:47 Wed 23 Dec 2020 16:03:19 A fresh implementation of baby DoPeGDO. Continues pensieve://2020-09/, pensieve://2020-03/Testing123.nb, and pensieve://People/VanDerVeen/TimidHeisenbergRGeneralForm@.nb.
5 Engine-201223 source Sun 17 Mar 2024 10:28:47 Wed 23 Dec 2020 15:17:54 A fresh implementation of baby DoPeGDO. Continues pensieve://2020-09/, pensieve://2020-03/Testing123.nb, and pensieve://People/VanDerVeen/TimidHeisenbergRGeneralForm@.nb. Fails at $k=2$.
6 Engine-201224 source Sun 17 Mar 2024 10:28:47 Thu 24 Dec 2020 07:40:38 A fresh implementation of baby DoPeGDO. Continues pensieve://2020-09/, pensieve://2020-03/Testing123.nb, and pensieve://People/VanDerVeen/TimidHeisenbergRGeneralForm@.nb.
7 Engine source Sun 17 Mar 2024 10:28:47 Mon 28 Dec 2020 15:14:57 A fresh implementation of baby DoPeGDO. Continues pensieve://2020-09/, pensieve://2020-03/Testing123.nb, and pensieve://People/VanDerVeen/TimidHeisenbergRGeneralForm@.nb.
8 KT source Sun 17 Mar 2024 10:28:47 Wed 23 Dec 2020 19:32:34 A fresh implementation of baby DoPeGDO, the Knot Theory part.
9 Objects source Sun 17 Mar 2024 10:28:47 Thu 24 Dec 2020 07:39:30  
10 Profiling-201223-2 source Sun 17 Mar 2024 10:28:47 Wed 23 Dec 2020 19:49:29  
11 Profiling-201223 source Sun 17 Mar 2024 10:28:47 Wed 23 Dec 2020 18:07:15  
12 Profiling-201224-2 source Sun 17 Mar 2024 10:28:47 Thu 24 Dec 2020 12:29:08 ("Contained" rational functions of $T$). No, vanilla. Failed.
13 Profiling-201224-3 source Sun 17 Mar 2024 10:28:47 Fri 25 Dec 2020 15:08:31 Time 9013.55. "ReplaceAll" removed from CF.
14 Profiling-201224 source Sun 17 Mar 2024 10:28:47 Thu 24 Dec 2020 15:05:36 9413.82. No CF at the encapsulation of coefficients.
15 Profiling-201225-2 source Sun 17 Mar 2024 10:28:47 Sat 26 Dec 2020 07:59:08 Time 6029.18. Zip3 computes most partial derivatives only once.
16 Profiling-201225 source Sun 17 Mar 2024 10:28:47 Fri 25 Dec 2020 21:45:44 Time ?. Zip3 computes most partial derivatives only once. (Bug, interrupted).
17 Profiling-201226-2 source Sun 17 Mar 2024 10:28:47 Mon 28 Dec 2020 15:14:17 Time 6036.26, continues 201226. No Expand in CF.
18 Profiling-201226 source Sun 17 Mar 2024 10:28:47 Sat 26 Dec 2020 09:43:09 Time 6165.57, continues 201225-2. No CF in encapsulation.
19 Separation source Sun 17 Mar 2024 10:28:47 Thu 24 Dec 2020 11:29:32 Testing if BabyDoPeGDO separates as $\rho1$ and $\rho2$. Time: 8757.94.
20 Solving to $k=3 source Sun 17 Mar 2024 10:28:47 Wed 23 Dec 2020 15:17:20 A fresh implementation of baby DoPeGDO. Continues pensieve://2020-09/, pensieve://2020-03/Testing123.nb, and pensieve://People/VanDerVeen/TimidHeisenbergRGeneralForm@.nb.
21 Testing123 source Sun 17 Mar 2024 10:28:47 Wed 23 Dec 2020 15:19:04 Testing Zip 1,2,3 of BabyDoPeGDO. Continues pensieve://2020-03/.
22 Testing-201221 source Sun 17 Mar 2024 10:28:47 Mon 21 Dec 2020 11:41:45  
23 Testing-201222 source Sun 17 Mar 2024 10:28:47 Mon 21 Dec 2020 18:46:26  
24 Testing source Sun 17 Mar 2024 10:28:47 Tue 22 Dec 2020 14:35:38  
25 ZippingTwice source Sun 17 Mar 2024 10:28:47 Fri 25 Dec 2020 08:32:26  

<< Other Files >>

Engine-201221.m   Engine-201222.m   Engine-201223.m   Engine.m   KT.m   Objects.m   Profiling-201224-2.m   Profiling-201224-3.m   Profiling-201224.m   Profiling-201225-2.m   Profiling-201225.m   Profiling-201226-2.m   Profiling-201226.m   Testing123.m  

   <<  BabyDoPeGDO  >>

All 1 Subfolders

nb  

All 40 Files

201222-SideCalculation.nb   Engine-201221.m   Engine-201221.nb   Engine-201222.m   Engine-201222.nb   Engine-201223-2.nb   Engine-201223.m   Engine-201223.nb   Engine-201224.nb   Engine.m   Engine.nb   index.html   KT.m   KT.nb   Objects.m   Objects.nb   Profiling-201223-2.nb   Profiling-201223.nb   Profiling-201224-2.m   Profiling-201224-2.nb   Profiling-201224-3.m   Profiling-201224-3.nb   Profiling-201224.m   Profiling-201224.nb   Profiling-201225-2.m   Profiling-201225-2.nb   Profiling-201225.m   Profiling-201225.nb   Profiling-201226-2.m   Profiling-201226-2.nb   Profiling-201226.m   Profiling-201226.nb   Separation.nb   Solving to $k=3.nb   Testing123.m   Testing123.nb   Testing-201221.nb   Testing-201222.nb   Testing.nb   ZippingTwice.nb